What’s News For April 9th?
1. Firstly, intro to hacking with the lambda calculus — “This post is about lambda calculus. The goal is not to do maths with it, but rather to build up definitions within it so that we can express non-trivial algorithms easily. At the end we will see a lambda calculus interpreter written in the lambda calculus, and realise that we’re most of the way to Lisp.” https://www.lesswrong.com/…/intro-to-hacking-with-the…
2. Download for free (only available for a few days): Greg Restall, Proofs and Models in Philosophical Logic https://www.logicmatters.net/…/greg-restall-proofs-and…/
3. Want general AI? You need to incorporate symbolic reasoning: …LSTM inventor lays out a route to build general intelligence… https://m-cacm.acm.org/…/259402-toward-a-broad-ai/fulltext
4. Language models are about to get a whole much better without costing more to develop https://www.lesswrong.com/…/new-scaling-laws-for-large…
5. “In simple great filter model, planet achieves sequence of hard steps before deadline, & are roughly equally spaced in time. New analysis shows set-back & dead-end processes makes hard steps cluster more closely, allowing more hard steps in Earth history.” https://overcomingbias.com/…/great-filter-steps-with…
6. Fat Shaming Kids in Singapore https://adriandsouza.substack.com/…/fat-shaming-kids-in…
7. Moreover, this Startup Wants to Kick-Start a Molecular Electronics Revival — “The new vision, shared by Roswell and other on-chip molecular technology makers, is of biosensors that would enable people to check in on biomarkers like vitamin levels or evidence of an infection with only a little more hassle than it now takes to check their heart rate on a smartwatch. In Roswell’s case, thousands of biosensors could detect different molecular interactions simultaneously, and the chips would be disposable.” https://www.technologyreview.com/…/roswell-molecular…/
8. Boston Dynamics’ “Stretch” robot hits production, and it’s already sold out https://arstechnica.com/…/boston-dynamics-stretch…/
9. “in 2021 … 18 companies worldwide had received a total of $1.9 billion in funding … Of all the companies dealing in nuclear fusion surveyed, 15 were founded in the last decade and 12 over the previous five years.” https://www.inverse.com/innovation/fusion-clean-power
10. The dark matter of the brain. Electrical synapses – omnipresent and yet hardly explored https://www.mpg.de/…/0405-psy-the-dark-matter-of-the…
11. DARPA Kicks Off Program to Explore Space-Based Manufacturing https://www.darpa.mil/news-events/2022-03-23
12. “The Ten-Day War (Slovene: desetdnevna vojna), or the Slovenian War of Independence (slovenska osamosvojitvena vojna),[5] was a brief armed conflict that followed Slovenia’s declaration of independence from Yugoslavia on 25 June 1991.[6] It was fought between the separatists of the Slovenian Territorial Defence and the Yugoslav People’s Army.” https://en.m.wikipedia.org/wiki/Ten-Day_War
13. Lastly, Bucha is worse than initially feared. Russian soldiers there used the city as an arena for a depraved blood sport of torture, execution and mutilation. As investigators sweep through to process the bodies, that cruelty is coming into focus. https://www.washingtonpost.com/…/bucha-barbarism…/…
Back To News
What’s News For April 9th?
