Hackernews posts about Dana Scott

1. Dana Scott – Geometry Without Points (2014) [video] (www.youtube.com)
   2 points by measurablefunc 2 days ago | discuss
2. Show HN: Hnwork.app – UI for Who is hiring posts (hnwork.app)
   25 points by scottilee 24 days ago | 5 comments
3. Show HN: Skillscript – A declarative, sandboxed language for tool orchestration (github.com)
   18 points by sshwarts 20 days ago | 32 comments
4. Show HN: RelativeDB – OSS query engine for relational foundation models (github.com)
   3 points by scottcodie 6 days ago | 2 comments
5. Scouting Uncertainty: adding value to soccer (football) data scouting results (marclamberts.medium.com)
   3 points by sebg 16 days ago | discuss
6. New data suggests Scotland's 48% tax rate may be losing money (taxpolicy.org.uk)
   1 points by ivewonyoung 6 days ago | discuss
7. Show HN: Scout, understand any Enterprise Platform in minutes (github.com)
   2 points by prabhuavula7 5 days ago | discuss
8. Show HN: Velprium - Time Workspace (www.velprium.com)
   2 points by mjkl7896 12 days ago | discuss
9. NOYB (Max Schrems) to challenge EU/US data sharing after SCOTUS ruling [pdf] (noyb.eu)
   21 points by lokar 29 days ago | 6 comments
10. Show HN: Inflexa – open-source Intelligence for Biology (github.com)
    7 points by tanasaradu 11 days ago | 2 comments
11. Show HN: ScoutFox – An alert layer for first-mover intelligence (scoutfox.in)
    6 points by arvind_pcode 9 days ago | 1 comments
12. The Shape of Data (2022) (www.scattered-thoughts.net)
    6 points by tosh 4 days ago | discuss
13. Show HN: I mapped 8.5M research papers into an interactive atlas (tomesphere.com)
    85 points by leonickson 24 days ago | 28 comments
14. Show HN: Frugon – Find which LLM calls a cheaper model could handle (local, MIT) (github.com)
    67 points by jarodrh 25 days ago | 24 comments
15. Show HN: ZenStack – access control at the ORM layer, built for coding agents (zenstack.framer.website)
    8 points by carlual 19 days ago | discuss
16. Show HN: Mosey Parker – find a ride in bikeshare systems worldwide (iOS) (moseyparker.com)
    4 points by mjmsmith 20 days ago | 1 comments
17. Show HN: A tool to help people in social situations (spotthecue.com)
    3 points by scamdrill 29 days ago | 2 comments
18. Show HN: I scratched my own itch by solving a niche Basecamp problem (feedhammer.com)
    2 points by bhagyeshsp 25 days ago | 1 comments
19. Show HN: A agentic nervous system for all DevOps tools (github.com)
    1 points by rajvr 18 days ago | 3 comments
20. Data types as Lattices – Dana Scott [pdf] (github.com)
    34 points by ozb almost 2 years ago | 5 comments
21. Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video] (www.youtube.com)
    3 points by matt_d about 1 month ago | discuss
22. Dana Scott on the lambda calculus, then and now [pdf] (www.cis.upenn.edu)
    2 points by fanf2 about 1 year ago | discuss
23. λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] (www.cis.upenn.edu)
    4 points by 082349872349872 about 1 year ago | discuss
24. Scottish data centres powering AI using enough water to fill 27M bottles a year (www.bbc.com)
    4 points by 1vuio0pswjnm7 10 months ago | 1 comments
25. When dirt meets data: ScottsMiracle-Gro saved $150M using AI (venturebeat.com)
    1 points by dollar 10 months ago | discuss
26. Atlassian founder: Australia could be major data hub for South-East Asia (www.abc.net.au)
    2 points by defrost about 1 year ago | 2 comments
27. Treasury Secretary Scott Bessent is preparing banks to collect citizenship data (www.cnbc.com)
    12 points by pseudolus 4 months ago | 1 comments
28. Ask HN: Is politeness towards LLMs good training data, or just expensive noise?
    8 points by scottfalconer over 1 year ago | 13 comments
29. Show HN: ScottFish – A simple GA4 analytics dashboard built out of frustration (www.scottfish.com)
    7 points by ponderingfish over 1 year ago | 5 comments
30. Detecting AI-written code: lessons on the importance of data quality (blog.scottlogic.com)
    2 points by ColinEberhardt almost 2 years ago | discuss
31. What Is a Data Lakehouse? (blog.scottlogic.com)
    1 points by fside about 1 year ago | discuss
32. Show HN: Sup AI, a confidence-weighted ensemble (52.15% on Humanity's Last Exam) (sup.ai)
    26 points by supai 4 months ago | 24 comments
33. Iran's Internet Blackout Accidentally Revealed Coordinated Narrative in the West
    7 points by Memetic-tracer about 1 year ago | 4 comments
34. Ask HN: Are you paying electricity bills for your service?
    6 points by scottcha over 1 year ago | 4 comments
35. Show HN: Statey – the database your AI shares across every chat, over MCP (www.statey.ai)
    4 points by scottwillman about 1 month ago | 3 comments
36. Ask HN: Interested in optimizing datacenter energy use?
    3 points by scottcha over 1 year ago | 2 comments
37. Show HN: I made a YouTube thumbnail always display the latest comment [video] (www.youtube.com)
    3 points by dotspencer 9 months ago | discuss
38. Ask HN: Web-based platform for testing job candidates
    2 points by scottmcdot almost 2 years ago | discuss
39. Show HN: Mount any OpenAPI/Swagger API (or non-API JSON) as a local filesystem (github.com)
    1 points by ycombiredd 5 months ago | 1 comments
40. Making the Most of Your LLM: The Tech of Validate My SaaS
    1 points by ScottPlusPlus almost 2 years ago | discuss
41. Show HN: WARN Firehose – Every US layoff notice in one searchable database (warnfirehose.com)
    134 points by sendkamal 5 months ago | 25 comments
42. Ask HN: Why don't LLMs replace bosses instead of engineers?
    18 points by fzeindl 12 months ago | 19 comments
43. Show HN: MCP Server for OpenTelemetry (github.com)
    13 points by GalKlm 9 months ago | 2 comments
44. Show HN: Global Ground Station Database – 650 Satellite Ground Stations Mapped (www.find-gs.com)
    5 points by maxk420 over 1 year ago | 1 comments
45. Show HN: A local, open-source personal database with AI powers (superego.dev)
    5 points by pscanf 9 months ago | discuss
46. Show HN: Inaya – AI agent for manufacturers managing commodity volatility (www.inaya.ai)
    3 points by davide_db 9 months ago | discuss
47. Show HN: Airbook – Cursor for Analytics
    3 points by Hoshang07 12 months ago | discuss
48. Ask HN: Frustrated with Health-Data Silos?
    2 points by iaftb about 1 year ago | 2 comments
49. Show HN: Tokscale – See who's burning the most tokens across all platforms (github.com)
    2 points by junhoyeo 7 months ago | discuss