Discussion
Loading...

#Tag

Log in
  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp yesterday

Happy New Year HN

https://tenor.com/view/gg-gif-12398339126318398543

#HackerNews #HappyNewYear #HN #TechCommunity #NewYear2024 #Celebration #HackerNews #Innovation

Gg GIF - Gg - Discover & Share GIFs

Tenor

Gg GIF - Gg - Discover & Share GIFs
  • Copy link
  • Flag this post
  • Block
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 3 weeks ago

Auto-grading decade-old Hacker News discussions with hindsight

https://karpathy.bearblog.dev/auto-grade-hn/

#HackerNews #Auto-grading #HN #discussions #hindsight #grading #AI #analysis

  • Copy link
  • Flag this post
  • Block
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 4 weeks ago

Turtletoy

https://turtletoy.net/

#HackerNews #Turtletoy #Turtle #Graphics #Coding #Creativity #Programming #HN

  • Copy link
  • Flag this post
  • Block
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp last month

Functional Data Structures and Algorithms: a Proof Assistant Approach

https://fdsa-book.net/

#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN

  • Copy link
  • Flag this post
  • Block
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 2 months ago

An Italian Company Builds the First Known Propellantless Space-Propulsion System

https://www.satcom.digital/news/genergo-an-italian-company-builds-the-worlds-first-known-propellantless-space-propulsion-system-flight-tested-and-validated-on-orbit

#HackerNews #ItalianInnovation #SpacePropulsion #Propellantless #Technology #News #HN

  • Copy link
  • Flag this post
  • Block
Hacker News
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 2 months ago

"Why don't you use dependent types?"

https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html

#HackerNews #dependenttypes #programming #philosophy #typeTheory #HN #discussion #HackerNews

"Why don't you use dependent types?"

  • Copy link
  • Flag this post
  • Block

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances
Bonfire social · 1.0.1-alpha.44 no JS en
Automatic federation enabled
Log in
  • Explore
  • About
  • Members
  • Code of Conduct