Hackernews posts about Dana Scott

RSS feed for Dana Scott

01
newYour Data Is Scattered. AI Agents Can Connect the Piecessimple.ai
▲ 1eustoria 9d discuss
02
newShow HN: I built Trvlrr, home for all your travelstrvlrr.app
▲ 3sanjaybhagia 2d 💬 1
03
newShow HN: Flyingcar.pet – a physics simulation of Tesla's flying Roadster stuntflyingcar.pet
▲ 2closetheloopdev 10d 💬 5
04
newShow HN: Hashsync – Deduplicate SSH streams against the receiver's filesgithub.com
▲ 2someplaceguy 55m discuss
05
newShow HN: Flopper is a hardware explorer for AI infrastructure and beyondflopper.io
▲ 2triwats 19d discuss
06
newDana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]www.youtube.com
▲ 3matt_d 133d discuss
07
newDana Scott – Geometry Without Points (2014) [video]www.youtube.com
▲ 2measurablefunc 92d discuss
08
newDana Scott on the lambda calculus, then and now [pdf]www.cis.upenn.edu
▲ 2fanf2 467d discuss
09
newλ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf]www.cis.upenn.edu
▲ 4082349872349872 467d discuss
10
newScottish data centres powering AI using enough water to fill 27M bottles a yearwww.bbc.com
▲ 41vuio0pswjnm7 379d 💬 1
11
newWhen dirt meets data: ScottsMiracle-Gro saved $150M using AIventurebeat.com
▲ 1dollar 384d discuss
12
newAtlassian founder: Australia could be major data hub for South-East Asiawww.abc.net.au
▲ 2defrost 457d 💬 2
13
newTreasury Secretary Scott Bessent is preparing banks to collect citizenship datawww.cnbc.com
▲ 12pseudolus 197d 💬 1
14
newAsk HN: Is politeness towards LLMs good training data, or just expensive noise?
▲ 8scottfalconer 554d 💬 13
15
newShow HN: ScottFish – A simple GA4 analytics dashboard built out of frustrationwww.scottfish.com
▲ 7ponderingfish 586d 💬 5
16
newNo Hacking Required: The Manchester Airports Group Data Breachscotthelme.co.uk
▲ 5Scott_Helme_53d discuss
17
newWhat Is a Data Lakehouse?blog.scottlogic.com
▲ 1fside 497d discuss
18
newShow HN: Sup AI, a confidence-weighted ensemble (52.15% on Humanity's Last Exam)sup.ai
▲ 26supai 218d 💬 24
19
newShow HN: Hnwork.app – UI for Who is hiring postshnwork.app
▲ 25scottilee 113d 💬 5
20
newShow HN: Skillscript – A declarative, sandboxed language for tool orchestrationgithub.com
▲ 18sshwarts 110d 💬 32
21
newIran's Internet Blackout Accidentally Revealed Coordinated Narrative in the West
▲ 7Memetic-tracer 487d 💬 4
22
newAsk HN: Are you paying electricity bills for your service?
▲ 6scottcha 680d 💬 4
23
newShow HN: Statey – the database your AI shares across every chat, over MCPwww.statey.ai
▲ 4scottwillman 125d 💬 3
24
newShow HN: RelativeDB – OSS query engine for relational foundation modelsgithub.com
▲ 3scottcodie 95d 💬 2
25
newAsk HN: Interested in optimizing datacenter energy use?
▲ 3scottcha 682d 💬 2
26
newShow HN: I made a YouTube thumbnail always display the latest comment [video]www.youtube.com
▲ 3dotspencer 362d discuss
27
newShow HN: Mount any OpenAPI/Swagger API (or non-API JSON) as a local filesystemgithub.com
▲ 1ycombiredd 239d 💬 1
28
newScouting Uncertainty: adding value to soccer (football) data scouting resultsmarclamberts.medium.com
▲ 3sebg 105d discuss
29
newNew data suggests Scotland's 48% tax rate may be losing moneytaxpolicy.org.uk
▲ 1ivewonyoung 96d discuss
30
newShow HN: WARN Firehose – Every US layoff notice in one searchable databasewarnfirehose.com
▲ 134sendkamal 249d 💬 25
31
newAsk HN: Why don't LLMs replace bosses instead of engineers?
▲ 18fzeindl 444d 💬 19
32
newShow HN: Hamilton – a no-internet Android health dashboard, named after my dogplay.google.com
▲ 14hamilton_app 35d 💬 17
33
newShow HN: MCP Server for OpenTelemetrygithub.com
▲ 13GalKlm 346d 💬 2
34
newShow HN: Global Ground Station Database – 650 Satellite Ground Stations Mappedwww.find-gs.com
▲ 5maxk420 591d 💬 1
35
newShow HN: A local, open-source personal database with AI powerssuperego.dev
▲ 5pscanf 365d discuss