Benchmarking Crimes Meet Formal Verification

https://microkerneldude.org/2025/04/27/benchmarking-crimes-meet-formal-verification/

1•snvzz•44s ago•0 comments

The Case for AGI by 2030

https://80000hours.org/agi/guide/when-will-agi-arrive/

1•doitLP•1m ago•0 comments

The Universe Is 'Suspiciously' Like a Computer Simulation, Physicist Says

https://www.sciencealert.com/the-universe-is-suspiciously-like-a-computer-simulation-physicist-says

1•cpncrunch•4m ago•0 comments

WebCheckr Releses New tool for seeing if your site needs improvement

https://webcheckr.tech

3•kowskiiocode•10m ago•0 comments

It pays to use AI on the sly at work

https://www.ft.com/content/f8cac59b-b467-4c83-86fe-6fae065559b5

1•alceufc•11m ago•0 comments

Show HN: Bluesky Analytics

https://theblue.social/analytics

2•hboon•12m ago•1 comments

AI Hedge Fund

https://github.com/virattt/ai-hedge-fund

3•fdefitte•20m ago•0 comments

Consequences of the Moosbauer-Poole Algorithms

https://arxiv.org/abs/2505.05896

1•hughgrunt•20m ago•0 comments

The value of llms.txt: Hype or real?

https://mintlify.com/blog/the-value-of-llms-txt-hype-or-real

1•mooreds•22m ago•0 comments

The Role My Parents Never Expected: Raising My Sister's Kids

https://www.nytimes.com/2025/05/18/magazine/grandparents-families-children-kids.html

1•mooreds•23m ago•0 comments

Show HN: I created a free 270 PNG bundle for designers and Etsy sellers

https://misbah4.gumroad.com/l/fnpjjm

1•minelbu•23m ago•2 comments

Vieta Jumping

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

2•redbell•24m ago•0 comments

A New Headache for Honest Students: Proving They Didn't Use A.I

https://www.nytimes.com/2025/05/17/style/ai-chatgpt-turnitin-students-cheating.html

5•ripe•27m ago•0 comments

Reservoir Sampling

https://elly.town/d/blog/2025-05-17-reservoir-sampling.txt

1•bitbasher•28m ago•0 comments

Obviously, OpenAI will monetize with ads

https://mobiledevmemo.com/obviously-openai-will-monetize-with-ads/

2•mfiguiere•29m ago•0 comments

Solving Stumper

https://www.csun.io/solving-stumper

1•igpay•33m ago•0 comments

Sketch: Autonomous Software Apprentice

https://github.com/boldsoftware/sketch

1•vortex_ape•36m ago•0 comments

The future of the internet is in the past

https://old.reddit.com/r/webdev/comments/1kp5ria/the_future_of_the_internet_is_in_the_past/

1•redbell•36m ago•0 comments

Who first described the "fence-post error?"

https://web.archive.org/web/20160305221341/http://www.dsm.fordham.edu/~moniot/Opinions/fencepost-error-history.shtml

1•scrlk•38m ago•0 comments

Ancient reptile footprints are rewriting the history of when animals evolved

https://apnews.com/article/oldest-reptile-footprints-australia-963e3c38c8d5782e7ac20f5405f15f89

2•gmays•46m ago•0 comments

California vanity license plate applications with reasons for rejection

https://github.com/veltman/ca-license-plates

27•networked•49m ago•7 comments

Rust success story that killed Rust within a company

https://www.reddit.com/r/rust/s/507ZhSXJZ9

3•dabinat•49m ago•0 comments

Can You Trust Code Copilots? Evaluating LLMs from a Code Security Perspec

https://arxiv.org/abs/2505.10494

3•badmonster•55m ago•0 comments

Evaluate Any Model from the HuggingFace Hub on the ImageNet on Free Colab GPUs

https://github.com/SauravMaheshkar/notebooks/blob/main/src/hf_imagenet_val.ipynb

1•sauravmaheshkar•1h ago•0 comments

Flock Is Building a People Lookup Tool, Leak Shows

https://www.404media.co/license-plate-reader-company-flock-is-building-a-massive-people-lookup-tool-leak-shows/

2•ChiefNotAClue•1h ago•0 comments

Ancient trick to calculate any square root

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

2•gavide•1h ago•0 comments

RemNote: Anki and Obsidian/Roam in One Tool (Supports FSRS)

https://www.remnote.com/

2•mfranzs•1h ago•0 comments

Uncle Patrick's Secessionist Breakfast

https://www.sfchronicle.com/projects/2025/dave-eggers-short-story/

2•mrtomservo•1h ago•2 comments

InventWood is about to mass-produce wood that's stronger than steel

https://techcrunch.com/2025/05/12/inventwood-is-about-to-mass-produce-wood-thats-stronger-than-steel/

2•mmooss•1h ago•1 comments

Severed Fingers and 'Wrench Attacks' Rattle the Crypto Elite

https://www.wsj.com/finance/currencies/crypto-industry-robberies-attacks-32c2867a

30•spenvo•1h ago•13 comments

Benchmarking Crimes Meet Formal Verification

The Case for AGI by 2030

The Universe Is 'Suspiciously' Like a Computer Simulation, Physicist Says

WebCheckr Releses New tool for seeing if your site needs improvement

It pays to use AI on the sly at work

Show HN: Bluesky Analytics

AI Hedge Fund

Consequences of the Moosbauer-Poole Algorithms

The value of llms.txt: Hype or real?

The Role My Parents Never Expected: Raising My Sister's Kids

Show HN: I created a free 270 PNG bundle for designers and Etsy sellers

Vieta Jumping

A New Headache for Honest Students: Proving They Didn't Use A.I

Reservoir Sampling

Obviously, OpenAI will monetize with ads

Solving Stumper

Sketch: Autonomous Software Apprentice

The future of the internet is in the past

Who first described the "fence-post error?"

Ancient reptile footprints are rewriting the history of when animals evolved

California vanity license plate applications with reasons for rejection

Rust success story that killed Rust within a company

Can You Trust Code Copilots? Evaluating LLMs from a Code Security Perspec

Evaluate Any Model from the HuggingFace Hub on the ImageNet on Free Colab GPUs

Flock Is Building a People Lookup Tool, Leak Shows

Ancient trick to calculate any square root

RemNote: Anki and Obsidian/Roam in One Tool (Supports FSRS)

Uncle Patrick's Secessionist Breakfast

InventWood is about to mass-produce wood that's stronger than steel

Severed Fingers and 'Wrench Attacks' Rattle the Crypto Elite

NIST sets its new atomic clock in motion

Benchmarking Crimes Meet Formal Verification

The Case for AGI by 2030

The Universe Is 'Suspiciously' Like a Computer Simulation, Physicist Says

WebCheckr Releses New tool for seeing if your site needs improvement

It pays to use AI on the sly at work

Show HN: Bluesky Analytics

AI Hedge Fund

Consequences of the Moosbauer-Poole Algorithms

The value of llms.txt: Hype or real?

The Role My Parents Never Expected: Raising My Sister's Kids

Show HN: I created a free 270 PNG bundle for designers and Etsy sellers

Vieta Jumping

A New Headache for Honest Students: Proving They Didn't Use A.I

Reservoir Sampling

Obviously, OpenAI will monetize with ads

Solving Stumper

Sketch: Autonomous Software Apprentice

The future of the internet is in the past

Who first described the "fence-post error?"

Ancient reptile footprints are rewriting the history of when animals evolved

California vanity license plate applications with reasons for rejection

Rust success story that killed Rust within a company

Can You Trust Code Copilots? Evaluating LLMs from a Code Security Perspec

Evaluate Any Model from the HuggingFace Hub on the ImageNet on Free Colab GPUs

Flock Is Building a People Lookup Tool, Leak Shows

Ancient trick to calculate any square root

RemNote: Anki and Obsidian/Roam in One Tool (Supports FSRS)

Uncle Patrick's Secessionist Breakfast

InventWood is about to mass-produce wood that's stronger than steel

Severed Fingers and 'Wrench Attacks' Rattle the Crypto Elite