Socket MCP for Claude Desktop

https://socket.dev/blog/introducing-socket-mcp-for-claude-desktop

1•feross•1m ago•0 comments

Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification

https://harmonic.fun/news

1•d2049•2m ago•0 comments

1969 GE Computer Promo Film [video]

https://www.youtube.com/watch?v=pqGsUEGyFAI

2•1970-01-01•3m ago•0 comments

Practical Guide to Personal Data Security: Balancing Usability and Protection

https://guptadeepak.com/understanding-personal-data-security-a-practical-guide-to-protecting-what-matters-most/

1•guptadeepak•4m ago•0 comments

Palo Alto Networks closing on over $20B acquisition of CyberArk

https://www.calcalistech.com/ctechnews/article/hksugkiwxe

1•tomashertus•7m ago•0 comments

DuckStation author now actively blocking Arch Linux builds

https://github.com/stenzek/duckstation/commit/30df16cc767297c544e1311a3de4d10da30fe00c

1•rubin55•10m ago•1 comments

Language Model Can Be a Steganographic Privacy Leaking Agent

https://arxiv.org/abs/2505.20118

1•dennis-tra•10m ago•0 comments

In Gaza, mounting evidence of famine and widespread starvation

https://news.un.org/en/story/2025/07/1165517

11•Jimmc414•12m ago•0 comments

Train a Reasoning LLM in a Weekend

https://developer.nvidia.com/blog/train-a-reasoning-capable-llm-in-one-weekend-with-nvidia-nemo/

1•naderkhalil•12m ago•0 comments

Is Twitter Tech Parody Persona 'Startup L. Jackson' the Banksy of SV?

https://www.vox.com/2015/9/24/11618854/is-twitter-tech-parody-persona-startup-l-jackson-the-banksy-of

1•simonebrunozzi•12m ago•0 comments

Show HN: Cronhooks – Effortless Webhooks Scheduling and Workflow Automation

https://cronhooks.io/

1•mrameezraja•13m ago•0 comments

Supervised Fine Tuning on Curated Data Is Reinforcement Learning

https://arxiv.org/abs/2507.12856

2•GabrielBianconi•15m ago•0 comments

EPA wants to eliminate regulation for greenhouse gases

https://www.npr.org/2025/07/29/nx-s1-5482966/trump-climate-change-epa

3•geox•15m ago•1 comments

AWS MCP Servers

https://github.com/awslabs/mcp

2•belter•16m ago•0 comments

Xtraceroute Ported to GTK4 and Vulkan: The Open-Source Potential for AI

https://www.phoronix.com/news/Xtraceroute-Open-Source-AI

1•mikece•17m ago•0 comments

First release candidate of systemd 258 is here

https://www.theregister.com/2025/07/25/systemd_258_first_rc_here/

1•gizzlon•19m ago•0 comments

The world's first passenger jet was a death trap. Now it's brought back to life

https://www.cnn.com/travel/de-havilland-comet-dh106-first-passenger-jet

2•rmason•19m ago•0 comments

Report on RP2350 AES Hardening

https://github.com/raspberrypi/rp2350_hacking_challenge_2/blob/main/aes_report_monospace.md

1•Retr0id•19m ago•1 comments

Show HN: I built a Vue dependency debugger plugin

https://www.npmjs.com/package/vue-flow-vis

1•mrdosija•19m ago•0 comments

Nikon Introduces 600x600 Mm Digital Lithography DSP-100 Chipmaker

https://www.techpowerup.com/339060/nikon-introduces-600x600-mm-substrates-for-advanced-ai-silicon

2•jauntywundrkind•20m ago•0 comments

Microsoft Windows XP Professional

https://win32.run/

2•2sf5•21m ago•0 comments

Devs are frustrated with AI coding tools that deliver nearly-right solutions

https://www.theregister.com/2025/07/29/coders_are_using_ai_tools/

3•mikece•21m ago•0 comments

Russia Wants to Create a Silicon Valley in Cuba, Close to the United States

https://www.directoriocubano.info/en/cuba/rusia-quiere-crear-un-silicon-valley-en-cuba-muy-cerca-de-estados-unidos/

5•rmason•21m ago•0 comments

Big Enough to Fail

https://willgallego.com/2025/06/21/big-enough-to-fail/

1•mrngm•22m ago•0 comments

Fastly Operator: open-source synchronization of TLS certs to Fastly

https://chairnerd.seatgeek.com/fastly-operator/

2•joshdwoodward•22m ago•0 comments

Singing "Daisy Bell" – IBM 7094

https://retrocomputingforum.com/t/singing-daisy-bell-ibm-7094-1961/2280

1•sebmellen•22m ago•0 comments

The E-Book Editions of Timothy Snyder's 'On Tyranny' Are Just $2

https://books.apple.com/us/book/on-tyranny/id1195458571

1•Bogdanp•22m ago•0 comments

Show HN: Benchmax, a new open-source RL environment framework for LLM finetuning

https://github.com/cgftinc/benchmax

1•kumama•22m ago•0 comments

The Machine Stops (1909)

http://self.gutenberg.org/wplbn0000627598-the-machine-stops-by-forster-e-m-.aspx

2•LorenDB•27m ago•0 comments

I tried to buy Dataroma. Now I'm building the research engine I wish existed

2•giorgio_n•28m ago•0 comments

Socket MCP for Claude Desktop

Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification

1969 GE Computer Promo Film [video]

Practical Guide to Personal Data Security: Balancing Usability and Protection

Palo Alto Networks closing on over $20B acquisition of CyberArk

DuckStation author now actively blocking Arch Linux builds

Language Model Can Be a Steganographic Privacy Leaking Agent

In Gaza, mounting evidence of famine and widespread starvation

Train a Reasoning LLM in a Weekend

Is Twitter Tech Parody Persona 'Startup L. Jackson' the Banksy of SV?

Show HN: Cronhooks – Effortless Webhooks Scheduling and Workflow Automation

Supervised Fine Tuning on Curated Data Is Reinforcement Learning

EPA wants to eliminate regulation for greenhouse gases

AWS MCP Servers

Xtraceroute Ported to GTK4 and Vulkan: The Open-Source Potential for AI

First release candidate of systemd 258 is here

The world's first passenger jet was a death trap. Now it's brought back to life

Report on RP2350 AES Hardening

Show HN: I built a Vue dependency debugger plugin

Nikon Introduces 600x600 Mm Digital Lithography DSP-100 Chipmaker

Microsoft Windows XP Professional

Devs are frustrated with AI coding tools that deliver nearly-right solutions

Russia Wants to Create a Silicon Valley in Cuba, Close to the United States

Big Enough to Fail

Fastly Operator: open-source synchronization of TLS certs to Fastly

Singing "Daisy Bell" – IBM 7094

The E-Book Editions of Timothy Snyder's 'On Tyranny' Are Just $2

Show HN: Benchmax, a new open-source RL environment framework for LLM finetuning

The Machine Stops (1909)

I tried to buy Dataroma. Now I'm building the research engine I wish existed

Publishers cry foul over W3C crusade to rid web of third-party cookies

Socket MCP for Claude Desktop

Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification

1969 GE Computer Promo Film [video]

Practical Guide to Personal Data Security: Balancing Usability and Protection

Palo Alto Networks closing on over $20B acquisition of CyberArk

DuckStation author now actively blocking Arch Linux builds

Language Model Can Be a Steganographic Privacy Leaking Agent

In Gaza, mounting evidence of famine and widespread starvation

Train a Reasoning LLM in a Weekend

Is Twitter Tech Parody Persona 'Startup L. Jackson' the Banksy of SV?

Show HN: Cronhooks – Effortless Webhooks Scheduling and Workflow Automation

Supervised Fine Tuning on Curated Data Is Reinforcement Learning

EPA wants to eliminate regulation for greenhouse gases

AWS MCP Servers

Xtraceroute Ported to GTK4 and Vulkan: The Open-Source Potential for AI

First release candidate of systemd 258 is here

The world's first passenger jet was a death trap. Now it's brought back to life

Report on RP2350 AES Hardening

Show HN: I built a Vue dependency debugger plugin

Nikon Introduces 600x600 Mm Digital Lithography DSP-100 Chipmaker

Microsoft Windows XP Professional

Devs are frustrated with AI coding tools that deliver nearly-right solutions

Russia Wants to Create a Silicon Valley in Cuba, Close to the United States

Big Enough to Fail

Fastly Operator: open-source synchronization of TLS certs to Fastly

Singing "Daisy Bell" – IBM 7094

The E-Book Editions of Timothy Snyder's 'On Tyranny' Are Just $2

Show HN: Benchmax, a new open-source RL environment framework for LLM finetuning

The Machine Stops (1909)

I tried to buy Dataroma. Now I'm building the research engine I wish existed