fp.

Typechecking is undecidable when 'type' is a type (1989) [pdf]

https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6

2•zem•2m ago•0 comments

Signify: Securing OpenBSD from Us to You (2015)

https://www.openbsd.org/papers/bsdcan-signify.html

1•jumpocelot•3m ago•0 comments

Go is faster than Swift

https://programming-language-benchmarks.vercel.app/swift-vs-go

1•behnamoh•6m ago•0 comments

Microsoft is working to rebuild trust in Windows

https://www.theverge.com/tech/870045/microsoft-windows-11-issues-rebuilding-trust-notepad

1•JamesAdir•9m ago•0 comments

Top engineers at Anthropic, OpenAI say AI now writes 100% of their code

https://fortune.com/2026/01/29/100-percent-of-code-at-anthropic-and-openai-is-now-ai-written-bori...

1•PessimalDecimal•9m ago•0 comments

Hedge funds' correlation with stocks sparks fears over lack of crash protection

https://www.ft.com/content/8c1d9cfe-1d8f-45d5-9ab1-57fb203a170c

2•petethomas•11m ago•0 comments

Week 3: EE 292P Transistor Physics with Mark Lundstrom (Purdue)

https://hnvr.medium.com/week-3-ee-292p-atoms-bits-and-the-national-interest-the-semiconductor-tec...

1•malchow•13m ago•0 comments

Nerd Fonts

https://www.nerdfonts.com

2•jonbaer•13m ago•0 comments

Agent-Session-Commit

https://github.com/Olshansk/agent-session-commit

1•Olshansky•16m ago•0 comments

Spotify's Crackdown on Anna's Archive Domains Hits a Jurisdiction Snag

https://torrentfreak.com/spotifys-crackdown-on-annas-archive-domains-hits-a-jurisdiction-snag/

1•pabs3•16m ago•0 comments

Template Parameter Deduction: Eliminating Hidden Copies in Generic Code

https://0xghost.dev/blog/template-parameter-deduction/

1•PaulHoule•17m ago•0 comments

OpenClaw – Moltbot Renamed Again

https://openclaw.ai/blog/introducing-openclaw

1•ed•19m ago•0 comments

Show HN: A small reference demo for separating UI stalls from network delays

https://deterministic-stream-demo1.pages.dev/

1•Slaine•19m ago•1 comments

Show HN: JSON dataset of 1,100 trending AI image prompts from X

https://github.com/jau123/nanobanana-trending-prompts

1•jaujaujau•22m ago•1 comments

Fact-checking: Tasks that are hard for humans are easy for AI and vice versa?

https://www.normaltech.ai/p/fact-checking-moravecs-paradox

1•swolpers•27m ago•0 comments

Show HN: Apple Activity Rings, but for Anything

https://orbit-rings.netlify.app

1•abaymado•28m ago•0 comments

When deep reinforcement learning meet trading

https://github.com/zero-was-here/tradingbot

1•solosquad•32m ago•1 comments

Show HN: redb-turbo: redb with page-level compression and encryption

https://github.com/russellromney/redb-turbo

1•russellthehippo•34m ago•0 comments

Show HN: ÆTHRA – Writing Music as Code

2•CzaxTanmay•34m ago•0 comments

Show HN: I made a dev tool that helps vibecoders to AVOID security issues

https://vibeshield.tech/

1•chockslam•35m ago•0 comments

Can AI companies become profitable?

https://epoch.ai/gradient-updates/can-ai-companies-become-profitable

2•signa11•37m ago•0 comments

Do markets make us moral?

https://www.ft.com/content/3c332044-69ca-490a-b710-47c312e1191c

1•paulpauper•37m ago•0 comments

Heritability of intrinsic human life span is about 50% when confounding factors

https://www.science.org/doi/10.1126/science.adz1187

1•paulpauper•38m ago•0 comments

Show HN: I built VanCamera: FOSS, secure, zero-config Android webcam for Windows

https://github.com/danielbolivar/vancamera

9•danielb74•44m ago•1 comments

Rust and Swift

https://v4.chriskrycho.com/rust-and-swift.html

4•behnamoh•47m ago•0 comments

Slk – Slack CLI for non-human

https://github.com/kehao95/slack-agent-cli

1•kehao95•48m ago•0 comments

Microsoft sheds $360B in market value as AI spending spooks investors

https://www.ft.com/content/c7e23f07-70b3-43a7-8e1d-040ca93d6d90

1•geoffbp•51m ago•1 comments

Peter J. Weinberger's Face

https://spinroot.com/pico/pjw.html

2•jumpocelot•53m ago•0 comments

How did this top student become homeless [video]

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

2•teleforce•53m ago•0 comments

US threatens to 'decertify' Canadian aircraft as rift with Ottawa deepens

https://www.ft.com/content/4c3331b9-3c83-4292-a5b8-86b4d62ebf69

3•petethomas•1h ago•0 comments

Typechecking is undecidable when 'type' is a type (1989) [pdf]

Signify: Securing OpenBSD from Us to You (2015)

Go is faster than Swift

Microsoft is working to rebuild trust in Windows

Top engineers at Anthropic, OpenAI say AI now writes 100% of their code

Hedge funds' correlation with stocks sparks fears over lack of crash protection

Week 3: EE 292P Transistor Physics with Mark Lundstrom (Purdue)

Nerd Fonts

Agent-Session-Commit

Spotify's Crackdown on Anna's Archive Domains Hits a Jurisdiction Snag

Template Parameter Deduction: Eliminating Hidden Copies in Generic Code

OpenClaw – Moltbot Renamed Again

Show HN: A small reference demo for separating UI stalls from network delays

Show HN: JSON dataset of 1,100 trending AI image prompts from X

Fact-checking: Tasks that are hard for humans are easy for AI and vice versa?

Show HN: Apple Activity Rings, but for Anything

When deep reinforcement learning meet trading

Show HN: redb-turbo: redb with page-level compression and encryption

Show HN: ÆTHRA – Writing Music as Code

Show HN: I made a dev tool that helps vibecoders to AVOID security issues

Can AI companies become profitable?

Do markets make us moral?

Heritability of intrinsic human life span is about 50% when confounding factors

Show HN: I built VanCamera: FOSS, secure, zero-config Android webcam for Windows

Rust and Swift

Slk – Slack CLI for non-human

Microsoft sheds $360B in market value as AI spending spooks investors

Peter J. Weinberger's Face

How did this top student become homeless [video]

US threatens to 'decertify' Canadian aircraft as rift with Ottawa deepens

Building a Year-Long Battery-Powered Wi-Fi Temperature Sensor

Typechecking is undecidable when 'type' is a type (1989) [pdf]

Signify: Securing OpenBSD from Us to You (2015)

Go is faster than Swift

Microsoft is working to rebuild trust in Windows

Top engineers at Anthropic, OpenAI say AI now writes 100% of their code

Hedge funds' correlation with stocks sparks fears over lack of crash protection

Week 3: EE 292P Transistor Physics with Mark Lundstrom (Purdue)

Nerd Fonts

Agent-Session-Commit

Spotify's Crackdown on Anna's Archive Domains Hits a Jurisdiction Snag

Template Parameter Deduction: Eliminating Hidden Copies in Generic Code

OpenClaw – Moltbot Renamed Again

Show HN: A small reference demo for separating UI stalls from network delays

Show HN: JSON dataset of 1,100 trending AI image prompts from X

Fact-checking: Tasks that are hard for humans are easy for AI and vice versa?

Show HN: Apple Activity Rings, but for Anything

When deep reinforcement learning meet trading

Show HN: redb-turbo: redb with page-level compression and encryption

Show HN: ÆTHRA – Writing Music as Code

Show HN: I made a dev tool that helps vibecoders to AVOID security issues

Can AI companies become profitable?

Do markets make us moral?

Heritability of intrinsic human life span is about 50% when confounding factors

Show HN: I built VanCamera: FOSS, secure, zero-config Android webcam for Windows

Rust and Swift

Slk – Slack CLI for non-human

Microsoft sheds $360B in market value as AI spending spooks investors

Peter J. Weinberger's Face

How did this top student become homeless [video]

US threatens to 'decertify' Canadian aircraft as rift with Ottawa deepens