frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Forget Borrow Checkers: C3 Solved Memory Lifetimes with Scopes

https://c3-lang.org/blog/forget-borrow-checkers-c3-solved-memory-lifetimes-with-scopes/
6•lerno•7h ago

Comments

Windeycastle•5h ago
Nice read, although a small section on how it's implemented exactly would've been nice.
hrhrdorhrvfbf•4h ago
Rust’s interface for using different allocators is janky, and I wish they had something like this, or had moved forward with the proposal for the mechanism for making it a part of a flexible implicit context mechanism that was passed along with function calls.

But mentioning the borrow checker raises an obvious question that I don’t see addressed in this post: what happens if you try to take a reference to an object in the temporary allocator, and use it outside of the temporary allocator’s scope? Is that an error? Rust’s borrow checker has no runtime behavior, it only exists to create errors in cases like that, so the title invites the question of how your this mechanism handles that case but doesn’t answer it.

lerno•21m ago
A dangling pointer will generally still possible to dereference (this is an implementation detail, that might get improved – temp allocators aren't using virtual memory on supporting platforms yet), but in safe more that data will be scratched out with a value, I believe we use 0xAA by default. So as soon as this data is used out of scope you'll find out.

This is of course not as good as ASAN or a borrow checker, but it interacts very nicely with C.

The First Trading Copilot

https://www.cotraderapp.com
1•philoinvestor•3m ago•1 comments

TSMC to cease GAN foundry production in 2027 due to Chinese competition

https://www.semiconductor-today.com/news_items/2025/jul/tsmc-030725.shtml
1•ilamont•6m ago•0 comments

LLMs for coding (+ free workflow templates)

https://blog.n8n.io/best-llm-for-coding/
1•based2•7m ago•0 comments

Engine fuel switches cut off before Air India crash, preliminary report finds

https://www.theguardian.com/world/2025/jul/11/engine-fuel-switches-cut-off-before-air-india-crash-that-killed-260-report-finds
1•pseudolus•9m ago•0 comments

OpenAI's Windsurf deal is off – and its CEO is going to Google

https://www.theverge.com/openai/705999/google-windsurf-ceo-openai
11•rcchen•9m ago•1 comments

PocketBase – open-source back end in 1 file

https://pocketbase.io/
1•EPendragon•14m ago•0 comments

Phoenix Framework

https://www.phoenixframework.org/
1•gjvc•18m ago•0 comments

ZKsync's Airbender ZkVM Proves Ethereum Blocks in 35 Seconds

https://www.coindesk.com/tech/2025/06/24/zksyncs-airbender-zkvm-proves-ethereum-blocks-in-35-seconds
1•PaulHoule•25m ago•0 comments

Branchy – A Infinte Generative Outline

https://branchy.co/
3•dennishansen•26m ago•0 comments

America is coming after Chinese it accuses of hacking

https://www.economist.com/china/2025/07/10/america-is-coming-after-chinese-it-accuses-of-hacking
1•bookofjoe•27m ago•1 comments

Texas ignores climate change at our own peril

https://www.expressnews.com/opinion/commentary/article/climate-change-kerrville-flood-20763416.php
1•trauco•27m ago•1 comments

Apple set to land US F1 streaming rights in $150M+ deal

https://9to5mac.com/2025/07/11/report-apple-set-to-land-us-f1-streaming-rights-in-150-million-deal/
2•mgh2•28m ago•0 comments

Grok 4 CLI – a terminal-based LLM tool using xAI's Grok 4 model via their API

https://github.com/ComposioHQ/grok-cli
1•nailer•31m ago•1 comments

AI coding tools are perhaps our new terminal emulators

https://ghuntley.com/vt100/
1•ghuntley•32m ago•0 comments

Salesforce blocks AI rivals from using Slack data

https://www.reuters.com/business/salesforce-blocks-ai-rivals-using-slack-data-information-reports-2025-06-11/
1•rcchen•32m ago•0 comments

Air India 171: Preliminary report confirms movement of fuel control switches

https://theaircurrent.com/dispatches/?entry=30057
3•dondraper36•34m ago•2 comments

Goodnight, Pocket. Hello, Folio

https://savewithfolio.com/blog/goodnight-pocket-hello-folio/
2•Aldo_MX•34m ago•0 comments

aileaks.dev - Community driven database of AI related security incidents

https://www.aileaks.dev/
1•norcalkc•39m ago•0 comments

Wikimedia Foundation considers closing Wikinews

https://thedesk.net/2025/07/wikimedia-foundation-closing-wikinews/
1•kurtreed2•40m ago•0 comments

3I/Atlas: Observing and Modeling an Interstellar Newcomer

https://www.centauri-dreams.org/2025/07/10/3i-atlas-observing-and-modeling-an-interstellar-newcomer/
1•JPLeRouzic•40m ago•0 comments

Ask HN: Persisting LLM token streams through a page refresh?

1•spruce_tips•42m ago•0 comments

Who's Hiring: Curated Jobs by Category and Location – Updated Daily

2•jobswithgptcom•43m ago•0 comments

Exclusivity on OpenAI's $3B acquisition for Windsfurf has expired

https://fortune.com/2025/07/11/the-exclusivity-on-openais-3-billion-acquisition-for-coding-startup-windsfurf-has-expired/
1•granto•43m ago•0 comments

Humans overrely on overconfident language models, across languages

https://arxiv.org/abs/2507.06306
1•softwaredoug•44m ago•0 comments

X-Plane 12.2.1 beta: Increased demo time from 15 to 60 minutes

https://www.x-plane.com/kb/x-plane-12-2-1-release-notes/
1•amichail•45m ago•0 comments

Writable Instruction Set Computer

https://wiki.c2.com/?WritableInstructionSetComputer
1•gjvc•46m ago•0 comments

Timepiece linked to Darwin voyage cannot leave UK

https://www.bbc.com/news/articles/cvg6kz54kz7o
1•Bluestein•46m ago•0 comments

How to Beat Creative Block

https://substack.com/home/post/p-168013503
1•mwidell•47m ago•0 comments

Air India Flight 171 Accident Preliminary Report [pdf]

https://aaib.gov.in/What%27s%20New%20Assets/Preliminary%20Report%20VT-ANB.pdf
23•ummonk•52m ago•17 comments

Psilocybin Delays Aging

https://news.emory.edu/stories/2025/07/hs_psilocybin_aging_study_10-07-2025/story.html
1•vo2maxer•53m ago•0 comments