pull down to refresh

Kanju: For When Formal Systems Fall Shortbc1984.com/kanju-for-when-formal-systems-fall-short/
125 sats \ 0 comments \ @k00b 21 Jan culture
related
Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats \ 0 comments \ @hn 10 Jan tech
The Dor Brothers: AI music/art videos with world leaders
1002 sats \ 5 comments \ @k00b 10 Sep 2024 lol
My new BFF!
642 sats \ 37 comments \ @grayruby 22 Jun 2024 lol
LangChain: Applications that can reason. Powered by LangChainwww.langchain.com/
25 sats \ 0 comments \ @Rsync25 11 Nov 2024 tech
LIMO: Less Is More for Reasoningarxiv.org/abs/2502.03387
9 sats \ 0 comments \ @hn 9 Feb tech
Merkleized Abstract Syntax Treesbtctranscripts.com/bitcoin-core-dev-tech/2017-09-07-merkleized-abstract-syntax-trees/
20 sats \ 0 comments \ @pietro1861 9 Aug 2023 bitcoin
Advanced javaenos.itcollege.ee/~jpoial/allalaadimised/reading/Advanced-java.pdf
43 sats \ 0 comments \ @sdtyv 8 Dec 2023 BooksAndArticles freebie
Dijkstra Archive: On the foolishness of "natural language programming"www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
188 sats \ 1 comment \ @k00b 14 Apr devs
In Sam Altman We Trust?archive.is/YoO2l
341 sats \ 11 comments \ @0xbitcoiner 5 Dec 2024 BooksAndArticles
Structured Agentic Software Engineeringarxiv.org/abs/2509.06216
100 sats \ 0 comments \ @optimism 20 Sep AI
Google Have Just Dropped a New Course: AI Essentials - KDnuggetswww.kdnuggets.com/google-have-just-dropped-a-new-course-ai-essentials
51 sats \ 0 comments \ @ch0k1 29 May 2024 news
Functional programming self-affirmationsnorikitech.com/posts/functional-affirmations/
172 sats \ 0 comments \ @Rsync25 26 Nov 2024 tech
OpenAI winds down AI image generator that blew minds and forged friendshipsarstechnica.com/information-technology/2024/04/when-ai-images-were-mind-blowing-early-users-recall-the-first-days-of-dall-e-2/
21 sats \ 2 comments \ @ch0k1 20 Apr 2024 tech
Building Meta’s GenAI Infrastructureengineering.fb.com/2024/03/12/data-center-engineering/building-metas-genai-infrastructure/
188 sats \ 1 comment \ @hn 12 Mar 2024 tech
Bthreads: A Simple and Easy Paradigm for Clojurethomascothran.tech/2024/10/a-new-paradigm/
11 sats \ 0 comments \ @Rsync25 11 Nov 2024 tech
Anytype — the everything app (alternative for Notion)anytype.io
1992 sats \ 18 comments \ @sebastix 22 Oct 2023 tech
Q&A: Rich's design decisions building Clojuregist.github.com/reborg/dc8b0c96c397a56668905e2767fd697f
100 sats \ 0 comments \ @deSign_r 14 Sep Design
Grok 3 Beta — The Age of Reasoning Agentsx.ai/blog/grok-3
763 sats \ 7 comments \ @k00b 20 Feb AI
Vesper: Declarative human-readable structural languagegithub.com/UBIDECO/vesper
15 sats \ 0 comments \ @Rsync25 1 Feb 2024 tech
Documentation - The Zig Programming Languageziglang.org/documentation/master/
10 sats \ 0 comments \ @Rsync25 8 Sep 2024 tech
Palico ai: An LLM development Framework for Rapid Iterationgithub.com/palico-ai/palico-ai
21 sats \ 0 comments \ @Rsync25 3 Jul 2024 alter_native