Ongoing seminar "New Technologies in Mathematics: at Harvard:
https://t.co/Kz7JNjGgc3
With links to Video/slides of Josef Urban on AI for theorem proving to my talk on Language Modeling for mathematical reasoning.
@thegrugq @chey_cobb @SteveBellovin@mattblaze Those are unique features used as input to other models. The number of outlets increased over time, but we just got more (almost) duplicate and less info. All well known wire services and newspapers were feeding that feature extracting system. It's an internal system we built.
@thegrugq @chey_cobb @SteveBellovin@mattblaze I find that with Balkanized news sources there is less information spread over more articles. Example: keeping fixed 10s of 1000s of outlets, the number of unique features extracted per day from the news keeps falling.
NEWS: The CIA has delivered to the Senate a tranche of classified documents on President Trump's pick for director, Gina Haspel, related to her controversial undercover background at the agency, that all lawmakers can view. Story TK shortly.
@halvarflake Some of the pros and cons center on Axiom of Choice. Constructivism & non-standard analysis r well explored. The other is set x functorial
I could not figure out a few lines of x86 assembly. So I downloaded the Intel manuals. WOW. It it so big that I tried to grasp it with data analytics. https://t.co/okzlr9MP9r