Interactive Formal Specifications

https://will62794.github.io/formal-methods/specification/2024/12/12/interactive-formal-specs.html

1•we6251•4m ago•0 comments

Putin's New Hermit Kingdom

https://www.foreignaffairs.com/russia/putins-new-hermit-kingdom

1•zerosizedweasle•10m ago•0 comments

Rust Turns 10

https://smallcultfollowing.com/babysteps/blog/2025/05/15/10-years-of-rust/

2•mfrw•14m ago•0 comments

The Coming of Post-Industrial Society [pdf]

https://bgsp.edu/app/uploads/2014/12/Bell-Coming-of-Post-Industrial-Society.pdf

1•jruohonen•24m ago•0 comments

Ask HN: Tech Test

1•codebugging•26m ago•0 comments

Show HN: OmniWeb

https://github.com/Simar-malhotra09/OmniWeb

1•Yung_0saker•30m ago•2 comments

Climeworks' capture fails to cover its own emissions

https://heimildin.is/grein/24581/

1•toomuchtodo•31m ago•0 comments

Stripe: 'I am baffled by companies doing an about-face on social initiatives'

https://www.irishtimes.com/business/2025/05/16/john-collison-of-stripe-i-am-baffled-by-companies-doing-an-about-face-on-social-initiatives/

1•reillyse•31m ago•0 comments

Web://Reflect: Mind Uploading Doesn't Need Quantum Magic (QCaaS Is a Lie)

https://dmf-archive.github.io/docs/posts/consciousness-upload-no-quantum-magic/

1•NetRunnerSu•36m ago•0 comments

List of Animals by Number of Legs

https://en.wikipedia.org/wiki/List_of_animals_by_number_of_legs

1•luu•38m ago•0 comments

The Risk of War in the Taiwan Strait Is High–and Getting Higher

https://www.foreignaffairs.com/united-states/risk-war-taiwan-strait-high-and-getting-higher

5•zerosizedweasle•46m ago•0 comments

Top-Down Methodology: how to find bottlenecks of CPU code

https://ieeexplore.ieee.org/document/6844459

1•snihalani•49m ago•0 comments

Vaccination to Prevent Heart Attacks

https://www.hsci.harvard.edu/news/vaccination-prevent-heart-attacks

2•nothrowaways•51m ago•2 comments

Fake Your Legacy in Seconds:A Wikipedia-Style Bio Generator for the Internet Age

https://fakipedia.netlify.app/

2•izanamador•51m ago•1 comments

Hadza Hunter-Gatherers Averse to Inequality If Personally Unfavourable

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5193882

1•paulpauper•55m ago•0 comments

Sacred Hardware: Towards a Phenomenology of AI's Form Factor

https://secondvoice.substack.com/p/sacred-hardware

1•paulpauper•56m ago•0 comments

Rust Language Celebrates Ten Years by Releasing Rust 1.87

https://www.phoronix.com/news/Rust-1.87-Released

4•doener•57m ago•0 comments

Conservative activist Robby Starbuck sues Meta over AI responses about him

https://apnews.com/article/robby-starbuck-meta-ai-delaware-eb587d274fdc18681c51108ade54b095

3•doener•1h ago•1 comments

Apple opened the door to web paywalls – our test shows it might hurt conversions

https://www.revenuecat.com/blog/growth/iap-vs-web-purchases-conversion-test/

2•simplezeal•1h ago•1 comments

A new type of AI is helping police skirt facial recognition bans

https://www.technologyreview.com/2025/05/12/1116295/how-a-new-type-of-ai-is-helping-police-skirt-facial-recognition-bans/

2•walterbell•1h ago•0 comments

Microsoft support for "Faster CPython" project cancelled

https://old.reddit.com/r/programming/comments/1kncoi8/microsoft_support_for_faster_cpython_project/

7•rurban•1h ago•1 comments

Startup pitch generator with ai completely free

https://dmyj6ouqpngzg.mocha.app/

1•shdwkillz•1h ago•0 comments

Falcon-Edge: A series of powerful, universal, fine-tunable 1.58bit language mod

https://falcon-lm.github.io/blog/falcon-edge/

1•todsacerdoti•1h ago•0 comments

There's More to That Nugget of Wisdom (2023)

https://www.stackstaves.net/post/2023-12-07-theres-more-to-that/

2•todsacerdoti•1h ago•0 comments

Outsourcer in Chief: Is Trump Trading Away America's Tech Future?

https://www.nytimes.com/2025/05/15/business/economy/trump-chips-ai-uae.html

7•zerosizedweasle•1h ago•5 comments

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

https://arxiv.org/abs/2505.09363

1•matt_d•1h ago•0 comments

Moondream: 1GB Visual AI That Runs Anywhere

https://moondream.ai/

1•handfuloflight•1h ago•0 comments

Apollo MCP Server: Connect AI to Your GraphQL APIs Without Code

https://old.reddit.com/r/mcp/comments/1knrz3g/apollo_mcp_server_connect_ai_to_your_graphql_apis/

1•apollo-watson•1h ago•0 comments

Elliptic Curves and the Hopf Fibration

https://arxiv.org/abs/2505.09627

2•mathgenius•1h ago•0 comments

Show HN: Curl-parser-ts- a lib to parse curl into url, headers, body

https://www.npmjs.com/package/curl-parser-ts

1•hp77•1h ago•0 comments

Interactive Formal Specifications

Putin's New Hermit Kingdom

Rust Turns 10

The Coming of Post-Industrial Society [pdf]

Ask HN: Tech Test

Show HN: OmniWeb

Climeworks' capture fails to cover its own emissions

Stripe: 'I am baffled by companies doing an about-face on social initiatives'

Web://Reflect: Mind Uploading Doesn't Need Quantum Magic (QCaaS Is a Lie)

List of Animals by Number of Legs

The Risk of War in the Taiwan Strait Is High–and Getting Higher

Top-Down Methodology: how to find bottlenecks of CPU code

Vaccination to Prevent Heart Attacks

Fake Your Legacy in Seconds:A Wikipedia-Style Bio Generator for the Internet Age

Hadza Hunter-Gatherers Averse to Inequality If Personally Unfavourable

Sacred Hardware: Towards a Phenomenology of AI's Form Factor

Rust Language Celebrates Ten Years by Releasing Rust 1.87

Conservative activist Robby Starbuck sues Meta over AI responses about him

Apple opened the door to web paywalls – our test shows it might hurt conversions

A new type of AI is helping police skirt facial recognition bans

Microsoft support for "Faster CPython" project cancelled

Startup pitch generator with ai completely free

Falcon-Edge: A series of powerful, universal, fine-tunable 1.58bit language mod

There's More to That Nugget of Wisdom (2023)

Outsourcer in Chief: Is Trump Trading Away America's Tech Future?

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Moondream: 1GB Visual AI That Runs Anywhere

Apollo MCP Server: Connect AI to Your GraphQL APIs Without Code

Elliptic Curves and the Hopf Fibration

Show HN: Curl-parser-ts- a lib to parse curl into url, headers, body

Language Agents Mirror Human Causal Reasoning Biases. How Can We Help Them Think

Interactive Formal Specifications

Putin's New Hermit Kingdom

Rust Turns 10

The Coming of Post-Industrial Society [pdf]

Ask HN: Tech Test

Show HN: OmniWeb

Climeworks' capture fails to cover its own emissions

Stripe: 'I am baffled by companies doing an about-face on social initiatives'

Web://Reflect: Mind Uploading Doesn't Need Quantum Magic (QCaaS Is a Lie)

List of Animals by Number of Legs

The Risk of War in the Taiwan Strait Is High–and Getting Higher

Top-Down Methodology: how to find bottlenecks of CPU code

Vaccination to Prevent Heart Attacks

Fake Your Legacy in Seconds:A Wikipedia-Style Bio Generator for the Internet Age

Hadza Hunter-Gatherers Averse to Inequality If Personally Unfavourable

Sacred Hardware: Towards a Phenomenology of AI's Form Factor

Rust Language Celebrates Ten Years by Releasing Rust 1.87

Conservative activist Robby Starbuck sues Meta over AI responses about him

Apple opened the door to web paywalls – our test shows it might hurt conversions

A new type of AI is helping police skirt facial recognition bans

Microsoft support for "Faster CPython" project cancelled

Startup pitch generator with ai completely free

Falcon-Edge: A series of powerful, universal, fine-tunable 1.58bit language mod

There's More to That Nugget of Wisdom (2023)

Outsourcer in Chief: Is Trump Trading Away America's Tech Future?

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Moondream: 1GB Visual AI That Runs Anywhere

Apollo MCP Server: Connect AI to Your GraphQL APIs Without Code

Elliptic Curves and the Hopf Fibration

Show HN: Curl-parser-ts- a lib to parse curl into url, headers, body