Hackernews posts about Dana Scott

  1. Show HN: ScotiaSignal: Public sector intent data for Nova Scotia (scotiasignal.ca)
    3 points by 5eva 26 days ago | discuss
  2. Show HN: BGP Scout – BGP Network Browser (bgpscout.io)
    27 points by hivedc 18 days ago | 12 comments
  3. Show HN: Tt – P2P terminal sharing over WebRTC
    13 points by artpar 27 days ago | 2 comments
  4. Show HN: Omelo- AI pet health companion, Health timelines and Daily care
    1 points by animalcatcher 15 days ago | discuss
  5. Show HN: ChartGPU – WebGPU-powered charting library (1M points at 60fps) (github.com)
    670 points by huntergemmer 12 days ago | 214 comments
  6. Show HN: TraceMem – A trace-native memory layer for AI agent decisions (www.tracemem.com)
    15 points by tommihip 21 days ago | 1 comments
  7. Show HN: ChartGPU – WebGPU charting library, 1M+ points at 60fps (github.com)
    6 points by huntergemmer 13 days ago | discuss
  8. Show HN: Credibly – Automate testimonial collection and analysis using OCR/AI (getcredibly.org)
    4 points by Shiv_Thomet 1 day ago | 1 comments
  9. Show HN: I'm building Bloomberg for retail investors with my 16 year old brother (www.fefi.ai)
    4 points by giacomo747x2 29 days ago | 1 comments
  10. Show HN: Basic AI agent that auto-generates B2B sales follow-ups (github.com)
    2 points by sneurgaonkar 26 days ago | discuss
  11. Show HN: AI second brain without headaches (www.remio.ai)
    1 points by AliceH0521 19 days ago | 3 comments
  12. Show HN: BigAsk, a web interface for exploring BigQuery using natural language (github.com)
    1 points by stevenwinnick 3 days ago | discuss
  13. Show HN: Hot Dev – a new backend workflow language and platform (hot.dev)
    1 points by csummers 5 days ago | discuss
  14. Show HN: Qventory – inventory and sales and fulfillment tracking for resellers (qventory.com)
    1 points by noakmilo90 16 days ago | discuss
  15. Show HN: Stewardly - tracking software, renewals, ownership, and audit context (usestewardly.com)
    1 points by xyzadam 22 days ago | discuss
  16. Show HN: Sidecar – AI Social Manager (Analyzes past hits to write new posts) (sidecar.bz)
    5 points by ecotto123 21 days ago | 2 comments
  17. Data types as Lattices – Dana Scott [pdf] (github.com)
    34 points by ozb over 1 year ago | 5 comments
  18. Dana Scott on the lambda calculus, then and now [pdf] (www.cis.upenn.edu)
    2 points by fanf2 7 months ago | discuss
  19. λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] (www.cis.upenn.edu)
    4 points by 082349872349872 7 months ago | discuss
  20. Scottish data centres powering AI using enough water to fill 27M bottles a year (www.bbc.com)
    4 points by 1vuio0pswjnm7 4 months ago | 1 comments
  21. When dirt meets data: ScottsMiracle-Gro saved $150M using AI (venturebeat.com)
    1 points by dollar 4 months ago | discuss
  22. Atlassian founder: Australia could be major data hub for South-East Asia (www.abc.net.au)
    2 points by defrost 6 months ago | 2 comments
  23. Good explainers for cargo ship issues, etc. following Key Bridge collapse
    1 points by susiecambria almost 2 years ago | discuss
  24. Ask HN: Is politeness towards LLMs good training data, or just expensive noise?
    8 points by scottfalconer 9 months ago | 13 comments
  25. Show HN: ScottFish – A simple GA4 analytics dashboard built out of frustration (www.scottfish.com)
    7 points by ponderingfish 11 months ago | 5 comments
  26. Ancestry pulls genealogy records after accusations of data theft (scottishgenes.blogspot.com)
    4 points by ilamont almost 2 years ago | discuss
  27. Detecting AI-written code: lessons on the importance of data quality (blog.scottlogic.com)
    2 points by ColinEberhardt over 1 year ago | discuss
  28. What Is a Data Lakehouse? (blog.scottlogic.com)
    1 points by fside 8 months ago | discuss
  29. Opening up Victoria's open data platform (www.horvathscott.com)
    1 points by scottmcdot over 1 year ago | discuss
  30. Iran's Internet Blackout Accidentally Revealed Coordinated Narrative in the West
    7 points by Memetic-tracer 7 months ago | 4 comments
  31. Ask HN: Are you paying electricity bills for your service?
    6 points by scottcha about 1 year ago | 4 comments
  32. Ask HN: Interested in optimizing datacenter energy use?
    3 points by scottcha about 1 year ago | 2 comments
  33. Show HN: I made a YouTube thumbnail always display the latest comment [video] (www.youtube.com)
    3 points by dotspencer 3 months ago | discuss
  34. Ask HN: Web-based platform for testing job candidates
    2 points by scottmcdot over 1 year ago | discuss
  35. Making the Most of Your LLM: The Tech of Validate My SaaS
    1 points by ScottPlusPlus over 1 year ago | discuss
  36. Interview Advice
    1 points by keithalewis over 1 year ago | discuss
  37. Ask HN: Why don't LLMs replace bosses instead of engineers?
    18 points by fzeindl 6 months ago | 19 comments
  38. Show HN: MCP Server for OpenTelemetry (github.com)
    13 points by GalKlm 3 months ago | 2 comments
  39. Show HN: Global Ground Station Database – 650 Satellite Ground Stations Mapped (www.find-gs.com)
    5 points by maxk420 11 months ago | 1 comments
  40. Show HN: A local, open-source personal database with AI powers (superego.dev)
    5 points by pscanf 3 months ago | discuss
  41. Show HN: Inaya – AI agent for manufacturers managing commodity volatility (www.inaya.ai)
    3 points by davide_db 3 months ago | discuss
  42. Show HN: Airbook – Cursor for Analytics
    3 points by Hoshang07 6 months ago | discuss
  43. Brand New LLM & AI Tool for Investments and Trading
    2 points by AllMind almost 2 years ago | 5 comments
  44. Ask HN: Frustrated with Health-Data Silos?
    2 points by iaftb 9 months ago | 2 comments
  45. Show HN: Tokscale – See who's burning the most tokens across all platforms (github.com)
    2 points by junhoyeo about 1 month ago | discuss
  46. Show HN: Civic Compass – Find which govt offices serve your address in India (cc.zencitizen.in)
    2 points by abhikvarma about 2 months ago | discuss