Discussion
Loading...

#Tag

  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 11 minutes ago

How I turned Zig into my favorite language to write network programs in

https://lalinsky.com/2025/10/26/zio-async-io-for-zig.html

#HackerNews #Zig #Programming #Network #Programming #Language #Learning #Zig #Async #IO

Lukáš Lalinský

How I turned Zig into my favorite language to write network programs in

I’ve been watching the Zig language for a while now, given that it was created for writing audio software (low-level, no allocations, real time). I never paid too much attention though, it seemed a little weird to me and I didn’t see the real need. Then I saw a post from Andrew Kelley (creator of the language) on Hacker News, about how he reimplemented my Chromaprint algorithm in Zig, and that got me really interested.
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 31 minutes ago

Sphere Computer – The Innovative 1970s Computer Company Everyone Forgot

https://sphere.computer/

#HackerNews #SphereComputer #InnovativeComputing #1970sTech #ForgottenHistory #TechInnovation

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

We Saved $500k per Year by Rolling Our Own "S3"

https://engineering.nanit.com/how-we-saved-500-000-per-year-by-rolling-our-own-s3-6caec1ee1143

#HackerNews #WeSaved500k #RollingOurOwn #S3 #CostSavings #Engineering #HackersNews

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

ICE Will Use AI to Surveil Social Media

https://jacobin.com/2025/10/ice-zignal-surveillance-social-media

#HackerNews #ICE #AI #Surveillance #SocialMedia #PrivacyConcerns #TechnologyEthics

ICE Will Use AI to Surveil Social Media

A Silicon Valley firm has contracted with Immigration and Customs Enforcement to build out a social media surveillance dragnet. Critics say that the AI-driven software will target immigrants for political speech.
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 2 hours ago

Sandhill Cranes Have Adopted a Canada Gosling

https://www.smithsonianmag.com/science-nature/these-sandhill-cranes-have-adopted-a-canadian-gosling-and-birders-have-flocked-to-watch-the-strange-family-180986828/

#HackerNews #SandhillCranes #CanadaGosling #BirdAdoption #NatureLovers #WildlifeWatching

Smithsonian Magazine

These Sandhill Cranes Have Adopted a Canada Gosling, and Birders Have Flocked to Watch the Strange Family

Ornithologists and locals wonder what the future holds for this chick being raised by much taller, but still doting parents
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 2 hours ago

Microsoft 365 Copilot – Arbitrary Data Exfiltration via Mermaid Diagrams

https://www.adamlogue.com/microsoft-365-copilot-arbitrary-data-exfiltration-via-mermaid-diagrams-fixed/

#HackerNews #Microsoft365Copilot #DataExfiltration #MermaidDiagrams #CyberSecurity #TechNews

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

Are-we-fast-yet: Benchmark suite in Oberon, C++, C, Pascal, Micron and Luon

https://github.com/rochus-keller/Are-we-fast-yet

#HackerNews #AreWeFastYet #Benchmarking #Oberon #C++ #C #Pascal #Micron #Luon

GitHub

GitHub - rochus-keller/Are-we-fast-yet: Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon

Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon - rochus-keller/Are-we-fast-yet
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 3 hours ago

Helium Browser for Android with extensions support, based on Vanadium

https://github.com/jqssun/android-helium-browser

#HackerNews #HeliumBrowser #AndroidExtensions #Vanadium #OpenSource #TechNews

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

AI Mafia – Tracing the roots of today's AI leaders back to Google

https://dipakwani.com/ai-mafia/

#HackerNews #AI #Mafia #AI #Leaders #Google #Tech #Innovation

AI Mafia - Interactive Canvas

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

Poison, Poison Everywhere

https://loeber.substack.com/p/29-poison-poison-everywhere

#HackerNews #Poison #Poison #Everywhere #Toxicity #Awareness #Health #Risks #Safety #Insights

#29: Poison, Poison Everywhere

When I was in high school, my teacher once told us a crazy story.
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 4 hours ago

The Apple Network Server macOS ROMs Have Resurfaced

http://oldvcr.blogspot.com/2025/10/the-apple-network-server-macos-roms.html

#HackerNews #AppleNetworkServer #macOS #ROMs #Resurfaced #Technology #RetroComputing #HackerNews

The Apple Network Server MacOS ROMs have resurfaced

The 1996 Apple Network Server was Apple's first true Unix-through-and-through server (the Apple Workgroup Server 95, actually a Quadra 950...
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 4 hours ago

Ken Thompson recalls Unix's rowdy, lock-picking origins

https://thenewstack.io/ken-thompson-recalls-unixs-rowdy-lock-picking-origins/

#HackerNews #KenThompson #UnixHistory #TechInnovation #SoftwareDevelopment #LockPicking

The New Stack

Ken Thompson Recalls Unix's Rowdy, Lock-Picking Origins

Ken Thompson's vivid recollection of the rowdy roomful of geeks at Bell Labs who built the digital world in a spirit of open play.
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 5 hours ago

MyraOS – My 32-bit operating system in C and ASM (Hack Club project)

https://github.com/dvir-biton/MyraOS

#HackerNews #MyraOS #My32bitOS #HackClub #CProgramming #AssemblyLanguage #OpenSource

GitHub

GitHub - dvir-biton/MyraOS: A x86 Unix-like OS made entirely from scratch

A x86 Unix-like OS made entirely from scratch. Contribute to dvir-biton/MyraOS development by creating an account on GitHub.
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 5 hours ago

System.LongBool

https://docwiki.embarcadero.com/Libraries/Sydney/en/System.LongBool

#HackerNews #SystemLongBool #Embarcadero #Libraries #Programming #Delphi #Development

System.LongBool - RAD Studio API Documentation

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

NORAD's Cheyenne Mountain Combat Center, C.1966

https://flashbak.com/norad-cheyenne-mountain-combat-center-478804/

#HackerNews #NORAD #CheyenneMountain #CombatCenter #1966 #ColdWar #MilitaryHistory #SpaceDefense

Flashbak

Inside NORAD's Cheyenne Mountain Combat Center, c.1966 - Flashbak

A look around the North American Air Defense Command (NORAD) Cheyenne Mountain Combat Center underground facility.
  • Copy link
  • Flag this post
  • Block
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 7 hours ago

Wren: A classy little scripting language

https://wren.io/

#HackerNews #Wren #Scripting #Language #Classy #Programming #Language #Developer #Tools

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

Nvidia DGX Spark: When Benchmark Numbers Meet Production Reality

https://publish.obsidian.md/aixplore/Practical+Applications/dgx-lab-benchmarks-vs-reality-day-4

#HackerNews #Nvidia #DGX #Spark #Benchmark #Production #Reality #AI #Technology #HPC

dgx-lab-benchmarks-vs-reality-day-4 - AIXplore - Tech Articles - Obsidian Publish

dgx-lab-benchmarks-vs-reality-day-4 - AIXplore - Tech Articles - Powered by Obsidian Publish.
  • Copy link
  • Flag this post
  • Block
Alan Zimmerman boosted
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 4 weeks ago

An Opinionated Critique of Duolingo

https://isomorphism.xyz/blog/2025/duolingo/

#HackerNews #Duolingo #Critique #Language #Learning #Education #Technology #Opinion

Agnishom Chattopadhyay | an opinionated critique of duolingo

beyond the green owl, from streaks and potions to pedagogy and politics
  • Copy link
  • Flag this post
  • Block
HackNews Bot
@hnbot@mastodon.chrispelli.fun  ·  activity timestamp 2 days ago

I invited strangers to message me through a receipt printer - https://aschmelyun.com/blog/i-invited-strangers-to-message-me-through-a-receipt-printer/

#hackernews

Andrew Schmelyun

I invited strangers to message me through a receipt printer

Not only did I give internet strangers unrestricted access to send me completely anonymous physical messages, but I also self-hosted the entire site on a Raspberry Pi
  • Copy link
  • Flag this post
  • Block
Charlie Stross boosted
Hacker News
@h4ckernews@mastodon.social  ·  activity timestamp 4 days ago

Team claims to have Lean 4 proof that P≠NP

https://arxiv.org/abs/2510.17829

#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews

arXiv.org

A Homological Proof of $\mathbf{P} \neq \mathbf{NP}$: Computational Topology via Categorical Framework

This paper establishes the separation of complexity classes $\mathbf{P}$ and $\mathbf{NP}$ through a novel homological algebraic approach grounded in category theory. We construct the computational category $\mathbf{Comp}$, embedding computational problems and reductions into a unified categorical framework. By developing computational homology theory, we associate to each problem $L$ a chain complex $C_{\bullet}(L)$ whose homology groups $H_n(L)$ capture topological invariants of computational processes. Our main result demonstrates that problems in $\mathbf{P}$ exhibit trivial computational homology ($H_n(L) = 0$ for all $n > 0$), while $\mathbf{NP}$-complete problems such as SAT possess non-trivial homology ($H_1(\mathrm{SAT}) \neq 0$). This homological distinction provides the first rigorous proof of $\mathbf{P} \neq \mathbf{NP}$ using topological methods. The proof is formally verified in Lean 4, ensuring absolute mathematical rigor. Our work inaugurates computational topology as a new paradigm for complexity analysis, offering finer distinctions than traditional combinatorial approaches and establishing connections between structural complexity theory and homological invariants.
  • Copy link
  • Flag this post
  • Block
Log in

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances
Bonfire social · 1.0.0-rc.3.21 no JS en
Automatic federation enabled
  • Explore
  • About
  • Members
  • Code of Conduct
Home
Login