Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.eduยท1d
๐Ÿ“Error Bounds
Flag this post
Hacking the Color BASIC PRINT command โ€“ part 6
subethasoftware.comยท22h
๐Ÿ“บVT100
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.netยท3d
๐Ÿ“Concrete Syntax
Flag this post
Nonmonotonic Logic
cambridge.orgยท2dยท
Discuss: Hacker News
๐Ÿ”ฌLogic in Computer Science
Flag this post
A Developerโ€™s Guide to Real-Time Speech-to-Speech Translation for Mobile and VoIP Calls
future.forem.comยท7hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Flag this post
We need a new Turing test to assess AIโ€™s real-world knowledge
nature.comยท1d
๐Ÿง Intelligence Compression
Flag this post
Observer-Dependent Reality Explorer
elementalinsights.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ“Information Geometry
Flag this post
Paillier Cryptosystem
en.wikipedia.orgยท3dยท
Discuss: Hacker News
๐Ÿ”Homomorphic Encryption
Flag this post
Show HN: Emotive Engine โ€“ Animation engine with musical time (not milliseconds)
github.comยท1dยท
Discuss: Hacker News
๐ŸŽฌWebCodecs API
Flag this post
What the Big Three Consultancies are Missing About AI (And the Code That Proves It)
hackernoon.comยท11h
๐ŸŒCultural Algorithms
Flag this post
Context engineering
chrisloy.devยท6hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Flag this post
How Pragmatics Shape Articulation: A Computational Case Study in STEM ASL Discourse
arxiv.orgยท1d
๐Ÿ—ฃ๏ธCMU Pronouncing
Flag this post
Quantifying the Effects of Word Length, Frequency, and Predictability on Dyslexia
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Flag this post
Retrieval and Argumentation Enhanced Multi-Agent LLMs for Judgmental Forecasting
arxiv.orgยท1d
๐Ÿง Computational Logic
Flag this post
Formalizing Style in Personal Narratives
dev.toยท1hยท
Discuss: DEV
๐Ÿ•ธ๏ธKnowledge Graphs
Flag this post
Typoglycemia under the Hood: Investigating Language Models' Understanding of Scrambled Words
arxiv.orgยท3d
๐Ÿ”—Concatenative Languages
Flag this post
Introduction to Python Module Three Part Two: Loops
dev.toยท3dยท
Discuss: DEV
๐Ÿ”—Lisp
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.orgยท1d
๐ŸงฎKolmogorov Bounds
Flag this post