frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning

https://arxiv.org/abs/2608.21516
1•matt_d•1m ago•0 comments

Rope Splicing

https://en.wikipedia.org/wiki/Rope_splicing
1•ZeljkoS•2m ago•0 comments

Uridium/Fraktion – The Best of the C64 Game, Uridium

https://uridium.homemade.systems/
1•mwenge•2m ago•0 comments

Public Schools' Eye of Sauron

https://www.educationnext.org/public-schools-eye-of-sauron-student-surveillance-merrill-v-marana-...
1•murphyslab•2m ago•0 comments

What made global e-commerce possible (it wasn't encryption)

https://syntheticauth.ai/posts/the-trust-stack-02-nobody-in-the-room
1•zerolayers•3m ago•0 comments

The Siberian Ice Maiden and the Scythian World

https://patrickwyman.substack.com/p/the-siberian-ice-maiden-and-the-scythian
1•NaOH•3m ago•0 comments

Learning to Solve Hard Problems in RL for LLMs by Never Giving Up

https://mnoukhov.github.io/posts/ngu/
1•natolambert•5m ago•0 comments

What every kernel programmer should know about Jump Labels

https://walac.github.io/jumplabels/
1•mococa•5m ago•0 comments

Understanding Is the New Bottleneck

https://www.geoffreylitt.com/2026/07/02/understanding-is-the-new-bottleneck.html
1•evakhoury•5m ago•2 comments

OGAS- National Automated System for Computation

https://en.wikipedia.org/wiki/OGAS
1•danielmorozoff•9m ago•0 comments

Treemapolis – Your disks, as a city you can fly through

https://github.com/smourier/Treemapolis
1•bj-rn•10m ago•0 comments

NN for Music Recommendations

https://github.com/linn-labs/melody-matcher
1•momotheritz•13m ago•0 comments

AI Infrastructure at Periodic

https://periodic.com/news/ai-infrastructure-at-periodic
2•arkadiyt•13m ago•0 comments

US agency orders Tesla to answer questions on Cybercab certification

https://www.reuters.com/business/autos-transportation/us-agency-orders-tesla-answer-questions-cyb...
1•Betelbuddy•13m ago•0 comments

Agility's new humanoid robot will stop, squat to avoid harming human coworkers

https://arstechnica.com/ai/2026/09/agilitys-new-humanoid-robot-will-stop-squat-to-avoid-harming-h...
1•Gedxx•14m ago•0 comments

Potemkin Village

https://en.wikipedia.org/wiki/Potemkin_village
1•EndXA•15m ago•0 comments

Writing More Secure Code with LLMs: Why "Make No Mistakes" Falls Short

https://monad.xyz/blog/writing-secure-code-with-llms
1•aray07•17m ago•0 comments

Clairvius Narcisse – a zombie slave forced to work as a slave by a vodou priest

https://en.wikipedia.org/wiki/Clairvius_Narcisse
1•fittingopposite•18m ago•0 comments

What did I just stumble upon?

https://github.com/forumdevfromhell/Errorum
1•interestingchic•20m ago•1 comments

Universal Sues DistroKid for Deceptive Practices and 'AI-Slop Pipeline'

https://variety.com/2026/music/news/universal-music-group-sues-distrokid-ai-slop-pipeline-1236863...
1•ilamont•20m ago•0 comments

AppOnFly – On Demand Near Instant Windows Desktop

https://www.apponfly.com
1•mcoliver•21m ago•1 comments

Hassett: Trump 'wholeheartedly rejects government takeover of AI regulation

https://www.youtube.com/watch?v=xkNAbgS6b5g
1•Betelbuddy•22m ago•0 comments

Shot into the Sky at 700 MPH: Inside the Secret Fraternity of Ejection Survivors

https://www.wsj.com/lifestyle/careers/eject-tie-club-military-jet-collins-martin-baker-4c8496ab
1•fortran77•23m ago•1 comments

PlayBook: A Programmable Paper Notebook [video]

https://www.youtube.com/watch?v=GurWDZ8ENpA
1•K7PJP•25m ago•0 comments

Boat Tech Directory

https://boat-tech-directory.rhizomatics.org.uk/
1•presumptinator•26m ago•0 comments

Chop Up Your Books

https://attainablefelicity.mattkirkland.com/20260915/cut-up-your-books.html
2•matt_kirkland•27m ago•0 comments

Show HN: The Brand API, a taste tool for agents

https://engine.tastelabs.com/
3•merybenavente•27m ago•0 comments

Secure Go Code Using the Principle of Least Privilege

https://golangbot.com/secure-go-code/
2•spnvn•29m ago•0 comments

I gave Microsoft for Startups the wrong address on purpose

https://lubaretsi.com/en/writing/microsoft-startups/
3•glub•30m ago•0 comments

Running Coding Agents in a Micro VM Sandbox with Brig

https://github.com/brig-sh/brig/blob/main/docs/security.md
1•gtzi•31m ago•0 comments
Open in hackernews

Automatically add missing "async/await" keywords to your TypeScript code

https://github.com/stanNthe5/typescript-autoawait
7•theThree•1y ago

Comments

bastawhiz•1y ago
Is this a problem that people actually have?
xeromal•1y ago
Fun side project man!
primitivesuave•1y ago
I took a peek at the implementation - I think this only works for a case where the typing explicitly contains the string "Promise". For example, I don't think it would work if I use `SomeInterface["some_promise_key"]` or might incorrectly add an async if I use `Awaited<Promise<...>>`.

I think what you're trying to build might be best served by Typescript's VFS - https://www.npmjs.com/package/@typescript/vfs. You can load the local files into an in-memory type system, and quickly extract async/await hints that might be more useful for a typical TS developer. I think there's a lot of really interesting static analysis you could do to improve async/await safety, as it certainly leads to issues from time to time.

joshstrange•1y ago
I do not want to be mean but I think you'd be much better served with ESLint rules to yell at you when you don't await when you should or do when you shouldn't.

This should _not_ be an automatic operation since it can change behavior in ways that will be unclear to the developer (completely undoing any gain from them being added automatically).

theThree•1y ago
You can still control it by adding "//no-await". In fact, the "//no-await" makes me feel more clear.
nextweek2•1y ago
I created a ticket, using comments is not necessary because there is already the `void` syntax for when you don't want to wait:

https://github.com/stanNthe5/typescript-autoawait/issues/1

nextweek2•1y ago
It should be noted that there is already a lint rule for this: https://typescript-eslint.io/rules/no-floating-promises/