frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Beginner resources for formalizing lambda calculi

https://chrishenson.net/posts/2025-05-10-formalized_lambda_calculus.html
3•jwdunne•17h ago

Armbian Updates: OMV support, boot improvents, Rockchip optimizations

https://www.armbian.com/newsflash/armbian-updates-nas-support-lands-boot-systems-improve-and-rockchip-optimizations-arrive/
1•transpute•33s ago•0 comments

School Management Software in Dubai

1•Levontechno•6m ago•0 comments

Social app with only real people?

1•jbdtky•7m ago•0 comments

Stopping Fraud Before It Happens: The Tech Behind Cashfree Payments' RiskShield

https://tech.cashfree.com/stopping-fraud-before-it-happens-the-tech-behind-cashfree-payments-riskshield-pa-1ecfda4fa217
1•dipakbansal•7m ago•0 comments

Beating the Fastest Lexer Generator in Rust

https://alic.dev/blog/fast-lexing
1•AndrewDucker•8m ago•0 comments

LinkedIn to Website Generator with AI

https://onli.bio/sign-up/username
1•zinxor•9m ago•0 comments

Show HN: EmojiSymbolsCopy – Instantly copy&paste symbols, emojis, and text art

https://emojisymbolscopy.com
1•Chipen•9m ago•0 comments

White House fires head of Copyright Office amid Library of Congress shakeup

https://www.washingtonpost.com/politics/2025/05/11/white-house-copyright-office-director-fired/
2•handfuloflight•10m ago•0 comments

Modular's bet to break out of the Matrix (Democratizing AI Compute, Part 10)

https://www.modular.com/blog/modulars-bet-to-break-out-of-the-matrix-democratizing-ai-compute-part-10
1•dhruv3006•12m ago•0 comments

HTML Time Tags and DRY (HARC Stack)

https://rakujourney.wordpress.com/2025/05/12/harc-stack-semantic-time/
1•librasteve•16m ago•0 comments

AI Black Box Effect: Why We Need AI Interpretability

https://medium.com/@AhmedF/ai-black-box-effect-why-we-need-ai-interpretability-c5017ea8850c
1•algoghostf•19m ago•0 comments

Creating a static website for all my bookmarks

https://alexwlchan.net/2025/bookmarks-static-site/
2•paulcapewell•20m ago•0 comments

Kubernetes and the Erlang VM: orchestration on the large and the small (2019)

https://dashbit.co/blog/kubernetes-and-the-erlang-vm-orchestration-on-the-large-and-the-small
1•antfarm•21m ago•0 comments

I developed a cool anime wallpaper made by AI

https://www.girlaniai.com
1•cy2025421•21m ago•0 comments

US and China agree to drastically roll back tariffs

https://www.cnn.com/2025/05/12/business/us-china-trade-deal-announcement-intl-hnk
4•xnhbx•22m ago•1 comments

China and US agree to slash tariffs

https://www.ft.com/content/92887b83-1b99-4d69-ba70-6bc812e23dbe
4•mraniki•22m ago•0 comments

Joint Statement on China-U.S. Economic and Trade Meeting in Geneva

https://www.mofcom.gov.cn/syxwfb/art/2025/art_3bcf393df58d4483804c0c3d692a5744.html
1•misonic•24m ago•2 comments

It's the System, Stupid: the IA Paradox

https://codemanship.wordpress.com/2025/05/11/its-the-system-stupid/
1•neamar•26m ago•0 comments

Show HN: Browser-based screen recorder (for bug reporting)

https://github.com/KaliedaRik/sc-screen-recorder
1•rikroots•27m ago•0 comments

Show HN: Fastlist, an Agentic Craigslist

https://fastlist.org
2•cyberflux•28m ago•0 comments

Tech CEOs: Who's the meanest of them all

https://medium.com/@adrianbooth/tech-ceos-whos-the-meanest-of-them-all-a684a7da0d20
1•adrianbooth17•30m ago•0 comments

De Novo Reconstruction of 3D Human Facial Images from DNA Sequence

https://advanced.onlinelibrary.wiley.com/doi/full/10.1002/advs.202414507
2•mfld•30m ago•0 comments

Andreas Kling's Keynote Presentation on the Ladybird Browser [video]

https://www.youtube.com/watch?v=9YM7pDMLvr4
1•danboarder•30m ago•0 comments

Show HN: Iconic Meme Templates, Restored

https://memestudio.com/meme-templates/
1•jonaskamber•33m ago•1 comments

An In-Depth Introduction to MCP

https://www.speakeasy.com/mcp/mcp-tutorial
1•sixhobbits•33m ago•0 comments

Vibemail: Built Chrome Extension for Vibe Emailing

https://chromewebstore.google.com/detail/vibemail/dijcjhhnpgoenmkmahigmdgpkajhhhbg
3•aliyanishfaq•33m ago•1 comments

Apple may release a 'mostly glass, curved iPhone' in 2027

https://www.theverge.com/news/664776/apple-curved-glass-iphone-2027
1•amalinovic•41m ago•0 comments

Using type assertions in Go with concrete types

https://www.jvt.me/posts/2025/05/10/go-type-assertion-concrete/
2•unripe_syntax•43m ago•0 comments

Writing a programming language to port my software library

https://numberduck.com/blog/transpiling-number-duck/
1•CliffyA•45m ago•0 comments

Show HN: I built a system to make ChatGPT brutally honest with you

https://www.honestprompts.com/
1•moobuilds•56m ago•0 comments