Yalep – Micro language based on Lean for teaching mathematical high-school proo

https://gricad-gitlab.univ-grenoble-alpes.fr/yalep/Yalep

1•todsacerdoti•1m ago•0 comments

The Seductions of A.I. For the Writer's Mind

https://www.nytimes.com/2025/07/18/opinion/ai-chatgpt-school.html/

1•yarapavan•2m ago•0 comments

Self-attention transforms a prompt into a low-rank weight-update

https://arxiv.org/abs/2507.16003

1•Labo333•2m ago•0 comments

People are using Sam's face in Death Stranding to bypass UK age restrictions

https://www.dexerto.com/gaming/death-stranding-looks-so-realistic-that-people-are-using-sams-face-to-bypass-uk-age-restrictions-3230773/

1•mikhael•3m ago•0 comments

Missionaries using secret audio devices to evangelise Brazil's isolated peoples

https://www.theguardian.com/global-development/2025/jul/27/missionaries-using-secret-audio-devices-to-evangelise-brazils-isolated-peoples

2•divbzero•3m ago•0 comments

Think You Don't Manage Your Knowledge? Think Again

https://notelab.hypotheses.org/1771

1•doener•6m ago•0 comments

Portsly: Mac Menubar – What's listening on that port?

https://github.com/ghinkle/portsly

1•ghinkle•16m ago•0 comments

Our brains reveal our choices before we're even aware of them

https://www.unsw.edu.au/newsroom/news/2019/03/our-brains-reveal-our-choices-before-were-even-aware-of-them--st

2•andsoitis•16m ago•0 comments

Papering over strains, US and allies prep for Taiwan war

https://www.reuters.com/world/asia-pacific/papering-over-strains-us-allies-prep-taiwan-war-2025-07-25

3•mhga•18m ago•0 comments

Putting Flammable EV Batteries in a Wooden Box Sounds Crazy but Science Proves

https://www.carscoops.com/2025/07/putting-flammable-ev-battery-cells-in-a-wooden-box-sounds-insane-heres-why-scientists-say-it-makes-perfect-sense/

1•xbmcuser•26m ago•0 comments

Org-Gantt: Create SVG gantt charts from an org-mode subtree

https://gitlab.com/joukeHijlkema/org-gantt-mode

1•brudgers•29m ago•0 comments

LLVM integrated assembler: Engineering better fragments

https://maskray.me/blog/2025-07-27-llvm-integrated-assembler-engineering-better-fragments

3•MaskRay•32m ago•0 comments

SIPRNet

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

1•handfuloflight•32m ago•0 comments

Luanti Turns 14

https://www.luanti.org/

1•leonewton253•32m ago•1 comments

What Color Is Your Hook?

https://gist.github.com/Sec-ant/32954866a1df54c3ac6293a734ea3838

1•TYT•38m ago•0 comments

Who's SHA Is It Anyway: Bypassing Google Cloud Build Comment Control for $30k

https://adnanthekhan.com/posts/cloud-build-toctou/

2•nstart•40m ago•0 comments

A Theory of Law (2012) [pdf]

https://www.greenbag.org/v16n1/v16n1_ex_post_kerr.pdf

2•ChilledTonic•46m ago•0 comments

Track availability of US visa appointment slots with instant alerts

https://distill.io/blog/track-availability-of-us-visa-appointment-slots-with-automatic-checks/

2•viewer_midoria•46m ago•0 comments

Man who let deadly snakes bite him 200 times could be key to new antivenom [video]

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

1•mgh2•50m ago•0 comments

SIMD Within a Register: How I Doubled Hash Table Lookup Performance

https://maltsev.space/blog/012-simd-within-a-register-how-i-doubled-hash-table-lookup-performance

2•axeluser•50m ago•0 comments

The Cost of Being Wrong – Jack Vanlightly

https://jack-vanlightly.com/blog/2025/7/22/the-cost-of-being-wrong

2•kiyanwang•51m ago•0 comments

Show HN: OpenCodeSpace – Disposable Containers for Claude Code in YOLO Mode

3•vadepaysa•54m ago•0 comments

TWAaCA (Tailwind as a Custom Attribute)

https://github.com/franken-ui/TWAaCA

1•sveltecult•59m ago•0 comments

The Visual Studio Skeptic

https://www.brethorsting.com/blog/2025/07/the-visual-studio-skeptic/

2•aaronbrethorst•59m ago•0 comments

SnapDOM is a super-fast HTML2Canvas alternative

https://github.com/zumerlab/snapdom/discussions/148

2•jmm77•1h ago•0 comments

Catalog of semantic zoom interface pattern

https://github.com/prathyvsh/semantic-zoom

2•prathyvsh•1h ago•0 comments

Multiplex: Command-Line Process Mutliplexer

https://github.com/sebastien/multiplex

5•todsacerdoti•1h ago•0 comments

People > Principles > Process > Product

https://mikefisher.substack.com/p/people-principles-process-product

1•gpi•1h ago•0 comments

Ask HN: What are your reverse engineering skills?

1•alganet•1h ago•0 comments

The rise of on-device AI and the return of data ownership

https://pieces.app/blog/the-importance-of-on-device-ai-for-developer-productivity

1•thunderbong•1h ago•0 comments

Yalep – Micro language based on Lean for teaching mathematical high-school proo

The Seductions of A.I. For the Writer's Mind

Self-attention transforms a prompt into a low-rank weight-update

People are using Sam's face in Death Stranding to bypass UK age restrictions

Missionaries using secret audio devices to evangelise Brazil's isolated peoples

Think You Don't Manage Your Knowledge? Think Again

Portsly: Mac Menubar – What's listening on that port?

Our brains reveal our choices before we're even aware of them

Papering over strains, US and allies prep for Taiwan war

Putting Flammable EV Batteries in a Wooden Box Sounds Crazy but Science Proves

Org-Gantt: Create SVG gantt charts from an org-mode subtree

LLVM integrated assembler: Engineering better fragments

SIPRNet

Luanti Turns 14

What Color Is Your Hook?

Who's SHA Is It Anyway: Bypassing Google Cloud Build Comment Control for $30k

A Theory of Law (2012) [pdf]

Track availability of US visa appointment slots with instant alerts

Man who let deadly snakes bite him 200 times could be key to new antivenom [video]

SIMD Within a Register: How I Doubled Hash Table Lookup Performance

The Cost of Being Wrong – Jack Vanlightly

Show HN: OpenCodeSpace – Disposable Containers for Claude Code in YOLO Mode

TWAaCA (Tailwind as a Custom Attribute)

The Visual Studio Skeptic

SnapDOM is a super-fast HTML2Canvas alternative

Catalog of semantic zoom interface pattern

Multiplex: Command-Line Process Mutliplexer

People > Principles > Process > Product

Ask HN: What are your reverse engineering skills?

The rise of on-device AI and the return of data ownership

Arpanet Reconstruction Project

Yalep – Micro language based on Lean for teaching mathematical high-school proo

The Seductions of A.I. For the Writer's Mind

Self-attention transforms a prompt into a low-rank weight-update

People are using Sam's face in Death Stranding to bypass UK age restrictions

Missionaries using secret audio devices to evangelise Brazil's isolated peoples

Think You Don't Manage Your Knowledge? Think Again

Portsly: Mac Menubar – What's listening on that port?

Our brains reveal our choices before we're even aware of them

Papering over strains, US and allies prep for Taiwan war

Putting Flammable EV Batteries in a Wooden Box Sounds Crazy but Science Proves

Org-Gantt: Create SVG gantt charts from an org-mode subtree

LLVM integrated assembler: Engineering better fragments

SIPRNet

Luanti Turns 14

What Color Is Your Hook?

Who's SHA Is It Anyway: Bypassing Google Cloud Build Comment Control for $30k

A Theory of Law (2012) [pdf]

Track availability of US visa appointment slots with instant alerts

Man who let deadly snakes bite him 200 times could be key to new antivenom [video]

SIMD Within a Register: How I Doubled Hash Table Lookup Performance

The Cost of Being Wrong – Jack Vanlightly

Show HN: OpenCodeSpace – Disposable Containers for Claude Code in YOLO Mode

TWAaCA (Tailwind as a Custom Attribute)

The Visual Studio Skeptic

SnapDOM is a super-fast HTML2Canvas alternative

Catalog of semantic zoom interface pattern

Multiplex: Command-Line Process Mutliplexer

People > Principles > Process > Product

Ask HN: What are your reverse engineering skills?

The rise of on-device AI and the return of data ownership