Abstract: "Using memory after it has been freed opens programs up
to both data and control-flow exploits. Recent work on
temporal memory safety has focused on using explicit
lock-and-key mechanisms (objects are assigned a new
lock upon allocation, and pointers must have the correct
key to be de...
Stories related to "Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers (2017)" across the full archive.
Abstract: "Using memory after it has been freed opens programs up
to both data and control-flow exploits. Recent work on
temporal memory safety has focused on using explicit
lock-and-key mechanisms (objects are assigned a new
lock upon allocation, and pointers must have the correct
key to be de...
I really like the idea of "One Big Text File" ([old Lobste.rs discussion](https://lobste.rs/s/ettc1n/my_productivity_app_is_single_txt_file)) as a simple productivity tool. So I made a very simple UI on top of a single `notes.md` file with a few features:
- Notes are rendered on a HTML page, serv...
I've been using Cursor for a few months and it's working well for small use cases, but I feel like it's starting to get deprecated already.<p>Obviously the ecosystem is evolving rapidly, and I'm really looking forward to automating the coding itself more and more, so that for me ...
TabMark turns your bookmarks into a new tab page, making your saved bookmarks clear, tidy, and efficient, allowing you to quickly reach the websites and resources you need most.
We were frustrated by vector-based RAG systems that rely on semantic similarity and often fail on long, domain-specific documents. In these contexts, domain-specific terminology tends to be semantically similar, making it hard to retrieve the exact content users need. It’s also difficult to incorpor...
Traditional vector-based RAG often struggles with retrieval accuracy because it optimizes for similarity, not relevance. But what we truly need in retrieval is relevance, which requires reasoning. When working with professional documents that require domain expertise and multi-step reasoning, vector...