🦞🌯 Lobster Roll

Thread

The gap between vague and specific AI direction is not small (thoughts.jock.pl)
HN 1 pts 0 comments by joozio Mar 3, 2026 thread

Stories related to "The gap between vague and specific AI direction is not small" across the full archive.

The gap between vague and specific AI direction is not small (thoughts.jock.pl)
HN 1 pts 0 comments by joozio Mar 3, 2026 AI / Machine Learning thread
Closing the Gap Between Specification and Programming: VDM++ and Scala (citeseerx.ist.psu.edu)
L 1 pts 0 comments by nickpsecurity Feb 19, 2019 formalmethodspdfscala Programming (General)Programming Languages / CS Theory thread
Abstract: "We argue that a modern programming language such asScalaoffers a level of suc-cinctness, which makes it suitable for program and systems specification as well as forhigh-level programming. We illustrate this by comparing the language with theVdm++specification language. The...
AWS Duvet: a bidirectional link between implementation and specification (awslabs.github.io)
HN 12 pts 1 comments by forks Jan 17, 2026 Data / Databases / Infrastructure thread
Study: the gap between online and offline participation (arxiv.org)
L 0 pts 0 comments by polydaic Mar 22, 2014 eventpdf thread
Formal Verification: The Gap Between Perfect Code and Reality (raywang.tech)
L 16 pts 8 comments by Yogthos Dec 24, 2017 formalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
Bridging the gap between Python and Jupyter (fmind.me)
L 5 pts 1 comments by fmind Nov 15, 2018 python Programming (General)Programming Languages / CS Theory thread
Bridging the Gap Between CSS and JavaScript: CSS Modules, PostCSS and the Future of CSS (css-tricks.com)
L 1 pts 0 comments by flyingfisch Dec 5, 2018 cssjavascript Web Development thread
Spiking Neural Network (SNN) with PyTorch: towards bridging the gap between deep learning and the human brain (guillaume-chevalier.com)
L 3 pts 0 comments by GChevalier Jul 7, 2019 aicogscicompscimathpython AI / Machine LearningProgramming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Closing the gap: cross-language LTO between Rust and C/C++ (blog.llvm.org)
L 24 pts 4 comments by sanxiyn Sep 19, 2019 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Closing the gap: cross-language LTO between Rust and C/C++ (blog.llvm.org)
~ 6 pts 0 comments by unknown Sep 19, 2019 ~comp Systems / Low-Level / OSProgramming (General) thread
Narrowing the Gap Between Serverless and its State with Storage Functions (cs.utah.edu)
L 3 pts 2 comments by bigdeddu Feb 9, 2020 databasespdf Data / Databases / Infrastructure thread
Serverless computing has gained attention due to its fine-grained provisioning, large-scale multi-tenancy, and on-demand scaling. However, it also forces applications to externalize state in remote storage, adding substantial overheads. To fix this “data shipping problem” we built Shredder, a low-la...
Clograms tries to close the gap between code and diagrams (github.com)
L 2 pts 0 comments by Yogthos May 11, 2020 clojureprogrammingvisualization Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
The GDP gap between Europe and the United States is now 80% (lemonde.fr)
~ 37 pts 93 comments by unknown Sep 5, 2023 ~finance Productivity / Career / Business thread
[SOLVED] Debugging a slow connection between local devices in only one direction
~ 15 pts 16 comments by unknown Feb 4, 2024 ~tech Programming (General)Internet / Digital Culture thread
Brain activity of specific words mirrored between speaker, listener (medicalxpress.com)
HN 4 pts 0 comments by wglb Aug 3, 2024 thread
Quality Gap Between Domestic and International Car Brands in China Narrows (china.jdpower.com)
HN 2 pts 0 comments by teleforce Sep 19, 2024 thread
Scientific Success and Financial Success, and the Gap Between (science.org)
HN 1 pts 0 comments by thecosas Sep 27, 2024 thread
Scaling Points in a Specific Direction (blog.demofox.org)
HN 1 pts 0 comments by ibobev Oct 25, 2024 thread
Plants find light using gaps between their cells (quantamagazine.org)
HN 42 pts 1 comments by milanaross Oct 30, 2024 thread
Advances in Zero-Knowledge Proofs: Bridging the Gap Between Theory and Practice [pdf] (www2.eecs.berkeley.edu)
HN 25 pts 0 comments by keepamovin Nov 3, 2024 thread
Revealed: The growing income gap between Europe's biggest and smallest farms (theguardian.com)
HN 2 pts 0 comments by PaulHoule Nov 8, 2024 thread
Cross-border challenges widen wealth gap between Europe and US, IMF study finds (reuters.com)
HN 1 pts 0 comments by cen4 Nov 14, 2024 thread
Bridging the Gap Between Developers and Business Teams in AI Prompt Engineering (promptmgr.com)
HN 1 pts 1 comments by harithzahid Nov 20, 2024 AI / Machine LearningProgramming (General) thread
The HUGE GAP between the learning environment and the real cases (old.reddit.com)
HN 3 pts 1 comments by liwuqiong Dec 4, 2024 thread
Study examines achievement gap between Asian American, white students (latimes.com)
HN 1 pts 1 comments by gmays Dec 8, 2024 thread
Claude Opus values animal welfare without specific alignment directions (twitter.com)
HN 3 pts 0 comments by oidar Dec 20, 2024 AI / Machine Learning thread
H-Matched: A website tracking shrinking gap between AI and human performance (h-matched.vercel.app)
HN 6 pts 4 comments by mrconter11 Dec 22, 2024 AI / Machine Learning thread
h-matched: Tracking gap between AI benchmark release and human-level achievement (h-matched.vercel.app)
HN 3 pts 0 comments by Bluestein Dec 24, 2024 AI / Machine Learning thread
Big gap between developer-influencers'content and most developers'daily reality (twitter.com)
HN 1 pts 0 comments by jerawaj740 Dec 30, 2024 Programming (General) thread
AI Engineering in 2025: The Gap Between Demos and Production (sebgnotes.com)
HN 1 pts 0 comments by sebg Jan 15, 2025 AI / Machine Learning thread