MurphyA/hacker-news huggingface dataset:
by safercplusplus | 2025-10-02 01:13:40+00:00
As long as we're plugging our projects, I'll mention the scpptool-enforced memory-safe subset of C++. Fil-C would be generally more practical, more compatible and more expedient, but the scpptool-enforced subset of C++ is more directly comparable to Rust.

scpptool demonstrates enforcement (in C++) of a subset of Rust's static restrictions required to achieve complete memory and data race safety [1]. Probably most notably, the restriction against the aliasing of mutable references is not imposed "universally" the way it is in (Safe) Rust, but instead is only imposed in cases where such aliasing might endanger memory safety.

This is a surprising small set of cases that essentially consists of accesses to methods that can arbitrarily destroy objects owned by dynamic owning pointers or containers (like vectors) while references to the owned contents exist. Because the set is so small, the restriction does not conflict with the vast majority of (lines of) existing C++ code, making migration to the enforced safe subset much easier.

The scpptool-enforced subset also has better support for cyclic and non-hierarchical pointer/references that (unlike Safe Rust) doesn't impose any requirements on how the referenced objects are allocated. This means that, in contrast to Rust, there is a "reasonable" (if not performance optimal) one-to-one mapping from "reasonable" code in the "unsafe subset" of C++ (i.e. traditional C++ code), to the enforced safe subset.

So, relevant to the subject of the post, this permits the scpptool to have a (not yet complete) feature that automatically converts traditional C/C++ code to the safe subset of C++ [2]. (One that is deterministic and doesn't try to just punt the problem to LLMs.)

The problem isn't dedicating public resources to trying to getting LLMs to convert C to Safe Rust after investments in the more traditional approach failed to deliver. The problem is the lack of simultaneous investment in at least the consideration and evaluation of (under-resourced) alternative approaches that have already demonstrated results that the (comparatively well-funded) translate-to-Rust approach thus far hasn't been able to.

[1] https://github.com/duneroadrunner/scpptool/blob/master/appro...

[2] https://github.com/duneroadrunner/SaferCPlusPlus-AutoTransla...
by p_ing | 2025-10-02 01:13:51+00:00
There are many enterprise SKUs.

365 Copilot Chat - free SKU

365 Copilot - paid SKU

Copilot Studio lite - comes with above paid SKU

Copilot Studio full - comes with above paid SKU plus a user entitlement (free), though agents are charged based on credits (1 cent USD/message) if the agent user doesn't have a paid SKU

Then there are the other SKUs, i.e. Security SKU, SharePoint SKU, etc.
by overfeed | 2025-10-02 01:14:33+00:00
The first 16 words of your comment makes it very smarmy,v and not including them would have improved it.

GP's snark is misplaced, version control is but a subset of what forges offer, git has no social layer[1], and GitHub has a monopoly on this. A distributed social layer via ActivityPub would be a vast improvement over what we have now - at best, non-comprehensive one way synching of issues from GitHub into mirror repos, by way of polling the upstream.

1. Except via email
by davidmckayv | 2025-10-02 01:14:39+00:00
That's fair, but how do you grep down to the right 100-200 documents from millions without semantic understanding? If someone asks "What's our supply chain exposure?" grep won't find documents discussing "vendor dependencies" or "sourcing risks."

You could expand grep queries with synonyms, but now you're reimplementing query expansion, which is already part of modern RAG. And doing that intelligently means you're back to using embeddings anyway.

The workflow works great for codebases with consistent terminology. For enterprise knowledge bases with varied language and conceptual queries, grep alone can't get you to the right candidates.
by DenisM | 2025-10-02 01:14:51+00:00
tldr

The proliferation of opensource file formats (i.e., Parquet, ORC) allows seamless data sharing across disparate platforms. However, these formats were created over a decade ago for hardware and workload environments that are much different from today

Each self-describing F3 file includes both the data and meta-data, as well as WebAssembly (Wasm) binaries to decode the data. Embedding the decoders in each file requires minimal storage (kilobytes) and ensures compatibility on any platform in case native decoders are unavailable.
by robrenaud | 2025-10-02 01:15:22+00:00
My biggest insight on my (self diagnosed, high functioning) Autism.

For most people, the golden rule works. Treat other people as you want to be treated, and modulo rare interactions with asshole people, you get along well.

For autistic people interacting with most non-autistic people, you've got to use the diamond rule. Treat other people as they want to be treated.

I love when people just straight up tell me directly that I am wrong because of X and Y. Give me Crocker's rules. This works very poorly in most situations, however. My superpower is offending people by telling them my (readily correctible) perception of the truth.
by lmm | 2025-10-02 01:15:26+00:00
> if I had more experience implementing dependently typed languages, then perhaps I would not find it so weird, as it really just makes type constructors similar to functions, which they would be in a fully dependently typed language.

Yeah. I was screaming for most of this piece, because this all seems like standard dependently-typed stuff, and ironically enough implementing full dependent types would probably end up being easier than trying to handle this one feature as a special case.
by pizlonator | 2025-10-02 01:16:45+00:00
I think what you’re saying is true for the kind of software where it isn’t just greenfield but also doesn’t have to make deep use of preexisting system dependencies.

Like, say you’re writing a port daemon. Then your argument holds! And that’s admittedly a big category since it includes databases, application servers, and a lot of other stuff.

But say you’re writing an app that talks to systemd and your desktop shell and renders things and has a UI. If you do that in Go or Rust, you’re pulling in a ton of unsafe dependencies. But the Fil-C story is that you just compile all of that stuff with Fil-C and so there are no unsafe dependencies.

By the way, that’s not a fantasy but like mostly a reality. I have a Linux distro where all of userland is compiled with Fil-C and it works great!

Now you might say, why not rewrite all the deps in Go or Rust? The funny thing about that is you sort of can’t do that today since neither of those languages has dynamic linking. Fil-C supports dynamic linking just fine.
by dimal | 2025-10-02 01:17:16+00:00
I develop A and B by working with people and paying close attention to them. I learn what they’re good at and what they’re not, how they like to communicate, how they like to work, what they don’t like to work on. I do this by paying attention during work. For me, the work is the social bit. I don’t need to play “escape from a room” with someone to do that.

Now, if other people do need corporate staged social games in order to build that up for themselves, then that’s ok for them, but why is that considered the norm? Why are they required? Why is it up to the neurodivergent person to exhaust themselves for them? Why is it considered normal for someone in a “People team” to ignore the needs of some of the people? I don’t see why other people’s needs are inherently more important than mine.
by tomnicholas1 | 2025-10-02 01:17:25+00:00
The pitch for this sounds very similar to the pitch for Vortex (i.e. obviating the need to create a new format every time a shift occurs in data processing and computing by providing a data organization structure and a general-purpose API to allow developers to add new encoding schemes easily).

But I'm not totally clear what the relationship between F3 and Vortex is. It says their prototype uses the encoding implementation in Vortex, but does not use the Vortex type system?
by dwohnitmok | 2025-10-02 01:17:32+00:00
Hmmm Figure 1 makes me more suspicious about this report. However they're measuring changes in occupational mix as a proxy for on what kind of jobs exist, their metric states that computers and the internet both had an impact that is less than their control line.

That seems to indicate they've got a bad metric, since I would expect both of those to have an impact higher than their control.
by cmenge | 2025-10-02 01:17:49+00:00
We're processing tenders for the construction industry - this comes with a 'free' bucket sort from the start, namely that people practically always operate only on a single tender.

Still, that single tender can be on the order of a billion tokens. Even if the LLM supported that insane context window, it's roughly 4GB that need to be moved and with current LLM prices, inference would be thousands of dollars. I detailed this a bit more at https://www.tenderstrike.com/en/blog/billion-token-tender-ra...

And that's just one (though granted, a very large) tender.

For the corpus of a larger company, you'd probably be looking at trillions of tokens.

While I agree that delivering tiny, chopped up parts of context to the LLM might not be a good strategy anymore, sending thousands of ultimately irrelevant pages isn't either, and embeddings definitely give you a much superior search experience compared to (only) classic BM25 text search.
by skybrian | 2025-10-02 01:18:27+00:00
From what little I know about the late history of the Roman Empire, the stirrup thing had nothing to do with it. In late antiquity, Roman soldiers and "barbarian" soldiers were not very different.

Here's an introduction to the scholarly debate about that:

https://acoup.blog/2022/01/14/collections-rome-decline-and-f...

Also, ancient concrete recipes had little to do with it either. Modern construction usually uses steel rebar, which corrodes, because it costs less and lasts long enough. (Most buildings get torn down because they're functionally obsolete.) People who really care about longevity could use stainless steel rebar if they're willing to pay for it. More about that:

https://www.construction-physics.com/p/roman-vs-modern-concr...
by dev1ycan | 2025-10-02 01:19:56+00:00
The length that these companies are going to avoid another financial crisis is hilarious... They poured trillions in they don't know how to salvage it...

It's scary because this will be worse than 2008, and it's right around the corner, think about how much Nvidia has grown because of LLM investment from companies like Microsoft and OpenAI, what will happen to inventory once it crashes? It's not just AI companies that will suffer, hardware companies will see massive dumping and unless they can do significant advancements soon, this won't suddenly be fixed.

They cannot admit to themselves that they've created a massive bubble that cannot be contained.
by untech | 2025-10-02 01:20:19+00:00
SEEKING WORK

Remote, located in Armenia

ML Engineer

I worked at largest European tech companies and YC startups. I have ML education from a top uni. I have 8+ years of ML experience.

Working in large companies, I've trained large language models myself, which helps me to understand what makes an LLM tick. I worked on a web-scale RAG system at a major search engine company before this term was popular.

I am a generalist, proficient with Python, but also capable with Rust, C++, Javascript. I can serve as a fractional CTO, capable both as a leader and as a highly efficient individual contributor.

nkruglikov at icloud dot com https://www.linkedin.com/in/nikolai-kruglikov https://www.upwork.com/freelancers/~01c8f478cd3c93ab65
by cthalupa | 2025-10-02 01:20:26+00:00
The cholesterol hypothesis certainly leaves room on the table for multiple causal factors, and from very early on we knew that inflammation was key to plaque actually being deposited on arterial walls. The cholesterol hypothesis has always been that serum cholesterol are linked and that decreasing serum cholesterol significantly reduces heart disease. It is not that serum cholesterol is the sole source of heart disease.

We also know that very low levels of LDL, even in the presence of inflammation, will regress soft plaque build up, and from MVMR and 2x2 factorial MR studies that populations with genetically low LDL/Lp(a) levels see hugely reduced CVD risk regardless of other variables.

We've got more and more science around PCSK9 inhibitors that showing evidence that there are no health risks in dropping ApoB levels to near 0. We have additional treatments in phase 3 trials that are showing 80%+ reductions in Lp(a) as well, so soon even people with the unlucky Lp(a) genetics will be able to get their ApoB numbers down to extremely minimal numbers.

Without the ability to completely remove inflammation or stress to arterial walls, LDL can deposit, increase foam cell activation and cytokine signaling, and then cause more localized inflammation which then repeats the process.

Treating inflammation, both systemic and local, of course reduces the ability to for plaque to deposit. But if we have no or very few atherogenic particles in our bloodstream to begin with, there's nothing to deposit. It's not been practical to drop LDL to that level until PCSK9 inhibitors came into existence, but it is now.

Many experts are arguing that just like blood pressure (which was recently revised down again, to <120/<80 as normal, 120/80+ pre-hypertensive, etc. etc.) we have set the acceptable levels of LDL too high and that targets should be lower, and treatment starting earlier.

There's of course a variety of other health impacts from having significant levels of inflammation - so treating it makes a lot of sense too. Not saying we shouldn't. But when we can basically ignore inflammation at a low enough ApoB because plaque is actively regressing, it makes it hard to argue that the focus is outsized, at least when it comes to atherosclerosis.

(I've got 20+ reference links to RCTs, multiple MR types, large meta analysis, study reviews, etc. that I feel like I've reposted like 500 times in here so I apologize for not doing so yet again, but if you check my recent comments you can find supporting data for all of the claims I've made.)
by freedeng | 2025-10-02 01:20:49+00:00
Freed | Software Engineers (Fullstack / AI), EM / Tech Lead Manager, Product Design, Product Manager | SF | https://getfreed.ai | Full-time

Doctors are overworked, burnt out, and are quitting in masses.

I'm head of engineering at Freed, where we combine clinician love with the latest AI tech and intense execution to create products that make clinicians happier.

Our first product is an AI scribe that automates medical documentation.

- Acquired 20,000 paying and loving clinicians, >$20M ARR in under two years

- Generate 70,000 patient notes daily using ASR and LLMs, and have saved clinicians 2.7 million hours

- Created a consumer-grade UX, with greater enthusiasm than any product I've seen (https://love.getfreed.ai/b2xGQ1)

- Raised $30M led by Sequoia Capital, and are rapidly expanding our product offering

- Build at the forefront of AI (e.g. https://www.getfreed.ai/ehr-push, an AI agent for integrating with EHRs)

Our engineering culture emphasizes speed, end-to-end ownership, responsibility, and independence. Our tech stack is React and TypeScript / Node.js.

Apply here: https://www.getfreed.ai/careers?utm_source=AOxjbOpE3X
by treyd | 2025-10-02 01:21:21+00:00
It's not comparable, comptime is more of an alternative to macros. You can build complex systems with it, but they don't natively give you the algebraic reasoning abilities that the typechecker does, at best you'd have to reimplement it yourself in an ad hoc way. Rust's proc macros are also fully programmable and have comparable expressive power to comptime.
by dushanlee | 2025-10-02 01:21:27+00:00
Location: Los Angeles, CA (US Citizen)

Remote: Yes (open to on-site or hybrid)

Willing to relocate: Yes (only to Orange County)

Technologies: Python (FastAPI, SQLAlchemy, Pydantic), JavaScript/TypeScript (React, Node, Vite), PostgreSQL, SQL, Docker, Tailwind CSS, Git/GitHub/GitLab, REST APIs, CI/CD, testing (Vitest, React Testing Library)

Résumé/CV: https://linkedin.com/in/dushanlee | https://github.com/dushanlee | https://drive.google.com/file/d/1gzHwBsLrnoNWq2IlVMHw4Zg4r45...

Email: dushan830@gmail.com

About Me: I am a soon-to-graduate Software Engineer from Hack Reactor’s 16-week immersive program (graduating October 2025), with a B.S. in Biochemistry and minors in Psychology and Political Science from UC San Diego. Through the bootcamp, I gained a wide but relatively shallow foundation across full-stack web development. I recognize that my experience is still developing, but I am motivated to build depth through real-world practice, mentorship, and continuous learning.

I value collaboration and engineering best practices such as Agile, pair programming, code reviews, and CI/CD. More than seeking a role for income alone, I am looking for opportunities where I can grow as an engineer, strengthen my computer science fundamentals, and become deeply proficient in the technologies I’ve learned while continuing to expand into new ones.

I am open to internships, part-time, or full-time roles where I can contribute meaningfully, work hard, and steadily develop into a strong and well-rounded engineer. Adaptable and eager to learn, I am committed to doing whatever it takes, whether that means stepping into unfamiliar areas, learning quickly under guidance, or embracing new challenges, to improve my skills and grow with my team.
by Aachen | 2025-10-02 01:22:13+00:00
May I recommend .html in that case? You can embed scripts that control who can run it, having it fetch a decryption token from a server or require a decryption password with a safe password hashing algorithm of your choice

It's much more versatile than PDF and, if the algorithm decides the user is allowed to read the document, then the user gets to make use of all of the document's options like a better search function (PDF can't find words that are bro-

ken across lines because that information of what's a word is gone, transformed into coordinates of what characters need to go where). It's also much more readable on different screen sizes, as the user can resize the window to whatever is comfortable on a 27" screen, or fits on their pocket e-reader. You can even draw it on a canvas if you want to prevent people from extracting the decrypted strings (though it's evil, you have that option). There's only benefits!

PDF is the lazy way to half-ass a read-only document while screwing, ahem, making anyone using a mobile phone zoom, pan, and squint. Thankfully, phones are falling out of fash— wait, scratch that, I just heard text reflow is more relevant than ever as phone use continues to soar
by Ga_0512 | 2025-10-02 01:22:16+00:00
Hey everyone,

I built the first version of a project I personally needed — and I’m testing if it could be useful to others. Repo is public + I added a simple waitlist if you’d like to follow along.

Repo: http://github.com/Ga0512/video-analysis

Waitlist: https://iaap4qo6zs2.typeform.com/to/J43jclr2

What it does now:

- Process a video (file or URL)

- Split it into blocks for analysis

- Transcribe audio + caption frames

- Generate multimodal summaries (text + context)

Flexible setup:

- Run locally with open models (privacy, no API costs) Or connect your own API key (faster / larger models)

- Fully customizable: language, summary size (short/medium/long), persona, extra prompts

Ideas for future:

- Chat-with-video → ask questions directly about a video (using both frames + transcription)

- Export for AI parsing → structured export so you can feed the content into other AI workflows or databases

Possible pricing ideas:

- Pay-as-you-go credits for hosted usage

- Or a fixed subscription (X$/month) where you bring your own API key and just use the UI/UX layer

Why I’m here: Before polishing it into a MVP, I’d love some honest feedback:

Would you actually use a tool like this?

What do you value more: local mode (privacy, no cost) or API mode (speed, larger models)?

Does the chat-with-video/export direction make sense?

How would you prefer pricing?

If there’s enough interest, I’ll start building this in public (X) and share progress Thanks in advance
by noosphr | 2025-10-02 01:22:27+00:00
Natural language wasn't solved by brute force until we started using trillion parameter models and using the whole internet, every book and every article ever published as training data.

I don't know of anyone spending tens of billions on this problem like Microsoft did for OpenAI. First you'd have to build up a dataset of trillions of token equivalents for motion. What that looks like alone is largely guess work. Then you'll need to build a super computer to scale up the current sota motion model to 100 times the size of the biggest model today. Then you'll have to pretrain and finetune the models.

If after all that dexterity still isn't solved all we can say is that we need more data and bigger models.

People seriously don't understand how big big data for AI is and what a moonshot GPT3 and 4 were.
by SilverElfin | 2025-10-02 01:23:43+00:00
Artificial turfs shed so many plastics that it’s outrageous for it to even be legal. It just amounts to mass pollution. Those granules that are in their foundation degrade into millions of particles each. They probably impact hormones in kids. But they are also basically permanent. There’s no way to clean up something that is so small and spread everywhere. Unfortunately many cities and school districts are going the artificial route for budget reasons (maintaining grass is hard) instead of fixing their uncontrolled spending elsewhere.
by johnnyanmac | 2025-10-02 01:24:54+00:00
Again, where are the unborn fetuses roaming the streets comitting crimes? How does this improve your life?

You don't have to answer it here. I just really want people to think about themselves for once (ironically enough) and really ask what is wrong in their lives, instead of projecting what's wrong with everyone else. If your biggest problems are "other people exist and I don't like them", you must have a very cushy life. I envy that.

And no, I do not understand. They can't be pro-babies and then try to hide the Epstein files. That shows how far their principles really go.
by mootothemax | 2025-10-02 01:25:24+00:00
Is it that common to upset people at work and have absolutely no clue why or how or what you’ve done?

And not from a lack of trying, and definitely not because you don’t care?

Because to me, that’s what masking means: constantly checking yourself because you do care, and you do like people, and the last thing you ever want to do is hurt or upset someone, and yet sometimes you do, and that sucks, and you learn from it, file it away in your mind for next time, and wake up the next day with the same happy-go-lucky optimism you do every day until the world beats it out of you.
by FrostKiwi | 2025-10-02 01:25:40+00:00
Doing lot's of WebGL, I'm still surprised we don't have a way to describe things in native screen pixels, but rely on a mix of dpr [1] and using 4 corners of a DOM object [2] to calculate true size in relation to CSS pixels. Works great across all platforms, but still doesn't give true pixels in certain combinations of screen DPI and resolution. I understand why web has to be this way, but it still baffles me that such a basic thing is so hard.

[1] https://developer.mozilla.org/en-US/docs/Web/API/Window/devi...

[2] https://stackoverflow.com/a/35244519