NOV. 13th COLLOQUIUM: Sheldon Katz (University of Illinois at Urbana-Champaign)
math.columbia.eduยท7m
๐Ÿ“šArchive Mathematics
Flag this post
A Roller Coaster Of Emotions
deprogrammaticaipsum.comยท3d
๐Ÿ–ฅRetro Computing
Flag this post
Putin considers nuclear tests after Trump threat
politico.euยท19h
๐Ÿ›กCybersecurity
Flag this post
Using XDP for Egress Traffic
loopholelabs.ioยท21hยท
๐Ÿ–ฅ๏ธModern Terminals
Flag this post
Microservices? No, modularity is what matters
binaryigor.comยท2dยท
Discuss: Hacker News
๐ŸงฑImmutable Infrastructure
Flag this post
Era of Disposable Software
hengar.pika.pageยท1dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Flag this post
What's up with Anthropic predicting AGI by early 2027?
lesswrong.comยท2dยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Flag this post
Some Dogs at Chernobyl Have Turned Blue
popularmechanics.comยท1d
๐ŸŒก๏ธPreservation Physics
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.orgยท1d
๐Ÿ‘‘Coq Tactics
Flag this post
Ask HN: My family business runs on a 1993-era text-based-UI (TUI). Anybody else?
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐Ÿ’พvintage computing
Flag this post
Zama Announces Strategic Acquisition of KKRT Labs to Scale Confidentiality On Public Blockchains
hackernoon.comยท21h
๐Ÿ”—Hash Chains
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.orgยท1d
โš–๏ธConstraint Logic
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.toยท22hยท
Discuss: DEV
โšกProof Automation
Flag this post
The Drift Principle: why systems get worse even when they're "working"
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐Ÿ“ŠFeed Optimization
Flag this post
Principal Dev's Take On Vibe-Coding
dev.toยท12hยท
Discuss: DEV
๐Ÿ“Code Metrics
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.orgยท1d
๐ŸŒˆHolographic Archives
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.orgยท2d
๐ŸŽฏPerformance Proofs
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.orgยท1d
๐Ÿ“Linear Logic
Flag this post