MurphyA/hacker-news huggingface dataset:
by Mashimo | 2025-05-05 07:19:45+00:00
Giving someone any kind of drug, even alcohol, against their consent is god freaking awful.

> at the extasy fueled raves that were popular in the 90s and the early 2000s. They say those deaths were from other causes

If you are at an illegal rave, maybe some hot squatted warehouse with no AC, you dance all night with no break, do ALOT and don't drink any water there is a good chance you collapse.

Don't do that.
by JackeJR | 2025-05-05 07:20:13+00:00
There are many reasons this comparison is not made. I will just touch on one. The target medium is different. For html, you have monitors of different sizes as well as windows that can be resized. For latex, you choose your target at the start: A4 paper? Screen presentation? A0 poster?

With a fixed medium in mind, you can be extremely particular on where on this canvas you want a piece of text/graphic or whatever.

Without a fixed medium, you have to have logic to address the different mediums and compromises have to be made.
by DoingIsLearning | 2025-05-05 07:21:05+00:00
To each their own but as someone with a terrible long term memory I find that pictures and journaling absolutely help me look back into the years and not have terrible voids of mind.

Also do take pictures of the mundane and everyday life, I actually started leaving a go pro in the corner of the room during lazy Sunday pancakes, or school runs, or occasional in the evening to catch interesting conversations with my kids when they are more mellow just before bedtime.

When I was younger I only really had pictures of travel and holidays and days/nights out. There is so much beauty in everyday stuff around the home and around your city. Your daily 'routine', is as much part of your life as the interrail you did in your 20's.
by jackyard86 | 2025-05-05 07:21:14+00:00
I don't think machines should rely on an opaque logic to assume and "correct errors" on user input. It's more accurate to "fail" than handling out an assumed output.

And also:

> they need to supply ones specifically engineered to be uncorrelated with the right figures.

I assume most people will understand this way (including me) when it's said to "input wrong figures".
by 0xDEAFBEAD | 2025-05-05 07:21:38+00:00
Dan Luu looked at the literature and concluded that the evidence for the benefit of types is underwhelming:

https://danluu.com/empirical-pl/

>But on any significant sized code bases, they pay dividends over and over by saving you from having to make tests like this.

OK, but if the alternative to tests is spending more time on a reliability method (type annotations) which buys you less reliability compared to writing tests... it's hardly a win.

It fundamentally seems to me that there are plenty of bugs that types can simply never catch. For example, if I have a "divide" function and I accidentally swap the numerator and divisor arguments, I can't think of any realistic type system which will help me. Other methods for achieving reliability, like writing tests or doing code review, don't seem to have the same limitations.
by Dylan16807 | 2025-05-05 07:21:57+00:00
> Aren't you contradicting yourself here? How can you break immigration law but be innocent?

If you try to round up everyone that committed a crime, you're going to make mistakes. You'll get people that did not commit that crime. So no, there's no contradiction in that sentence.

> Immigration is pretty binary, you either have valid visa to be here or you don't, so you either broke the law or you didn't. What's there to argue about here?

The way you check, properly, is with due process.

It's pretty easy to do due process on immigration. It can be done efficiently. But you still have to do it.
by internet_points | 2025-05-05 07:23:45+00:00
> I should hope that the purpose of a class writing exercise is not to create an artifact of text but force the student to think; a language model produces the former, not the latter.

This so much. A writing exercise sharpens your mind, it forces you to think clearly through problems, gives you practice in both letting your thoughts flow onto paper, and in post-editing those thoughts into a coherent structure that communicates better. You can throw it away afterwards, you'll still be a better writer and thinker than before the exercise.
by 0xDEAFBEAD | 2025-05-05 07:24:00+00:00
The question I find interesting is whether type systems are an efficient way to buy reliability relative to other ways to purchase reliability, such as writing tests, doing code review, or enforcing immutability.

Of course, some programmers just don't care about purchasing reliability. Those are the ones who eschew type systems, and tests, and produce unreliable software, about like you'd expect. But for my purposes, this is besides the point.
by globular-toast | 2025-05-05 07:24:14+00:00
Rubbish, in my experience. People who understand dynamic languages know they need to write tests because it's the only thing asserting correctness. I could just as easily say static people don't write tests because they think the type system is enough. A type system is laughably bad at asserting correct behaviour.

Personally I do use type hinting and mypy for much of my Python code. But I'll most certainly omit it for throwaway scripts and trivial stuff. I'm still not convinced it's really worth the effort, though. I've had a few occasions where the type checker has caught something important, but most of the time it's an autist trap where you spend ages making it correct "just because".
by Timwi | 2025-05-05 07:24:36+00:00
I share the frustration the author describes. When I started out programming as a child, I used Turbo Pascal, but I was aware of Turbo C and that more people used that than Pascal. Nevertheless, I couldn't really wrap my head around C at the time, and it was partly due to linker errors that I couldn't understand; and it seemed that Turbo Pascal just didn't use a linker, so it was easier to understand and tinker with at age 9.

It's intriguing to think how different my experience could have been if educational material at the time had focused as much on full explanations of the compiler+linker process, including example error conditions, as it did on teaching the language.

30 years later, I like to claim that I have a reasonably workable understanding of how compilers work, but I'm still nebulous on how linkers do what they do. I'm much more comfortable with higher-level compilers such as C# that compile to a VM bytecode (IL) and don't worry about linkers.
by bmacho | 2025-05-05 07:25:44+00:00
Isn't this exactly what mathematics is about? You have a non-ordered set, you map it into a total ordered set, of course the new ordering won't be the same as the previous. Like taking a projection of the points of the 2d plane to an arbitrary line. You now get a total ordering, and you can do whatever. You do it if it helps you, and don't do it when it doesn't.
by tecleandor | 2025-05-05 07:29:37+00:00
Don't know what country you're in, but in general people has been picking up analog cameras again. Madrid probably has at least doubled or tripled the number of print shops in the last 5 years.

The real problem is the price of film has skyrocketed. Since factories has been closing in the last ten years, the offer is low, and the demand is high... Even low quality Chinese stock is going for prices higher than professional rolls where 5 or 6 years ago.
by csbartus | 2025-05-05 07:30:02+00:00
Senior Software Architect | React Lead | Design Engineer | Remote, EU

- Location: Europe

- Remote: Yes

- Willing to relocate: Maybe

- Résumé/CV: https://osequi.com/, https://chat.osequi.com/ (AMA with AI)

- Email: bartus.csongor@gmail.com

I deliver better software, faster:

- I've created a novel methodology to produce likely-correct software using formal and semi-formal methods [1]

- I integrate multiple disciplines (entrepreneurship, math, computer science, UX/UI design) to create better products [2]

- I use LLMs to generate software based on mathematically correct diagrams [3]

I'm interested in companies with a societal impact: improving lives through education, healthcare, personal growth, financial stability.

[1]: https://www.osequi.com/studies/list/list.html

[2]: https://www.osequi.com/csongor-bartus-profile.pdf

[3]: https://tonsky.me/blog/diagrams/
by liampulles | 2025-05-05 07:30:26+00:00
I tend to use a waitgroup plus context pattern. Any internal service which needs to wind down for shutdown gets a context which it can listen to in a goroutine to start shutting down, and a waitgroup to indicate that it is finished shutting down.

Then the main app goroutine can close the context when it wants to shutdown, and block on the waitgroup until everything is closed.
by charcircuit | 2025-05-05 07:32:01+00:00
>For stuff like 3D graphics you will likely need a second GPU to pass through to the guest if you want reasonable performance.

No, a single GPU can support virtualization and be shared among multiple visitors.

>the inability to perform a proper backup on a "secure" android system.

This is by design as a "proper" backup violates Android's security model. Instead a backup system that respects Android's security model was built. Autonomy is given up but in exchange the high level functionality remains the same and there is better security.

>By privacy I refer to the fact that the vendor can see everything you do even in the VM.

What does this even mean? There is no fundamental reason for spyware to exist and even if there was that is independent to using virtualization.

>User freedom is only an issue when you can't boot an "insecure" OS on the platform

User freedom and security are orthogonal, but due to Turing completeness almost everything will support booting insecure operating systems.

>but if nothing will run when you do that the situation isn't much different.

If there is no market demand for running applications on insecure platforms then perhaps that's an okay situation to be in.
by nemanja_codes | 2025-05-05 07:32:22+00:00
SEEKING WORK | REMOTE | WORLDWIDE

Location: Serbia, GMT +2

Remote: Yes

Technologies: React, Next.js, JavaScript/TypeScript, Node.js, Astro, TailwindCSS, Jest, Cypress, Prisma, PostrgreSQL, MongoDB, Docker, C#/.NET

Resume/CV: Available on request

GitHub: https://github.com/nemanjam

Website: https://nemanjamitic.com

LinkedIn: https://www.linkedin.com/in/nemanja-mitic

Email: nemanja.mitic.elfak [at] hotmail.com

I am a full stack developer with a Master's degree in Computer Science and 4.5 years of professional experience with JavaScript. My top skills are React/Next.js and I am also good with Node.js backends. I have decent experience with C# and .NET but currently it is not my main focus. I have a decent understanding of DevOps technologies (Linux, containers, IaC, automation) for a developer. I also have interest an in Python and FastAPI. Here are some of my projects:

1. Comprehensive project: full stack Next.js, Prisma, unit, integration, e2e tests, CI/CD.

https://github.com/nemanjam/nextjs-prisma-boilerplate

2. Latest project: HN job ads aggregator, Next.js, SQLite (GitHub and demo links are in the first post).

https://news.ycombinator.com/item?id=42373936

I have experience working remotely for startups within globally distributed multicultural teams.

I have detailed resume available upon request. You can check out my other projects at https://github.com/nemanjam . You can tell me about your project via email: nemanja.mitic.elfak [at] hotmail.com or connect with me on LinkedIn: https://www.linkedin.com/in/nemanja-mitic .
by willy_k | 2025-05-05 07:33:05+00:00
Maybe some of the companies marketing it, of course there are people looking to exploit it just like in nearly every other industry. But the concept itself isn’t some ADHD specific thing, it’s just using technology to exploit a quirk in human psychology, and there are free options available. I’m in a discord server that has hundreds of people spread across various video call rooms at any moment. I haven’t used it enough to say how effective it is, but I definitely wouldn’t call that exploitative. If it works it works, if it doesn’t don’t use it.
by fc417fc802 | 2025-05-05 07:33:11+00:00
The mainstream GNU/Linux/whatever software stacks fully support secure boot on a technical level.

> not good enough to meaningfully verify the integrity of your environment

That depends entirely on whose perspective you take. There are tools to do pretty much anything you can think of and you always have the freedom to extend them yourself. So for the end user it's significantly better at that task than proprietary competitors because the end user has full control over the process.

From the perspective of an entity like Riot it doesn't offer anything of value because (AFAIK) none of the distros choose to provide releases that verify the environment binaries match official releases built by the maintainers. I imagine the majority of maintainers would consider providing such a thing to be an anti-feature.

Valve could easily provide an attested system if they wanted to. I'm glad they choose not to (at least so far). If a studio is turning to kernel level anti-cheat they screwed something up to arrive there.
by jtrn | 2025-05-05 07:33:52+00:00
Shortcuts is the opposite of "enough rope to hang yourself with": not enough rope to even tie a knot.

This is an exaggeration, though. I managed to use Shortcuts even while writing this text, so it definitely is useful.

But why is Apple so goddamn afraid that if I get to do what I want, something terrible will happen? Why can't my shortcut paste, keystroke, or use SMS as triggers? I understand there could be unintended consequences, but to me at least, the limitations of Shortcuts as it is now are obviously not technical but philosophical/political from Apple. Give me keystroke shortcuts and proper triggers! I promise I won't abuse it, and I also promise to not run with scissors!
by humerahoneya123 | 2025-05-05 07:34:01+00:00
It’s wild how Gemini is leading the pack on model capabilities—context length, fine-tuning, multimodality—and yet using it feels like you’re solving a UX puzzle just to ship a basic feature. It’s almost ironic: Google builds some of the smartest models out there, but makes devs feel dumb trying to integrate them. Imagine the adoption surge if the experience was even half as smooth as OpenAI’s. Power without usability is just potential, not progress.
by anself | 2025-05-05 07:34:03+00:00
Agree, it's not testing. The problem is here: "In a typical testing workflow, you write some basic tests to check the core functionality. When a bug inevitably shows up—usually after deployment—you go back and add more tests to cover it. This process is reactive, time-consuming, and frankly, a bit tedious."

This is exactly the problem that TDD solves. One of the most compelling reasons for test-first is because "Running the code in your head" does not actually work well in practice, leading to the above-cited issues. This is just another variant of "Running the code in your head" except an LLM is doing it. Strong TDD practices (don't write any code without a test to support it) will close those gaps. It may feel tedious at first but the safety it creates will leave you never wanting to go back.

Where this could be safe and useful: Find gaps in the test-set. Places where the code was never written because there wasn't a test to drive it out. This is one of the hardest parts of TDD, and where LLMs could really help.
by herewulf | 2025-05-05 07:34:46+00:00
I'm finally updating my CV after years of neglect. I'm keen on switching to the route of Org mode -> LaTeX -> PDF.

It's partly because I love the simplicity/power of Org and I do all my writing in it nowadays, the other part is to separate the content from the presentation so I can have the content in two different languages but still end up with the same formatted document for both.

Anyone have experience with this or have favorite LaTeX templates for CVs?

I'm currently experimenting with this:

https://titan-c.gitlab.io/org-cv/
by watusername | 2025-05-05 07:34:49+00:00
Check out Tectonic which is an all-in-one LaTeX toolchain (single executable w/ engine + build system) that lazily downloads TeX Live (no upfront multi-gig downloads). It's a breath of fresh air in the chaotic LaTeX landscape. Bit of a shame that they opted for XeTeX rather than LuaTeX though.

[0]: https://github.com/tectonic-typesetting/tectonic
by vidarh | 2025-05-05 07:37:36+00:00
Oberon-07 doesn't allow multiple returns, though Wirth tended to favour single return.

In Wirth's introduction of Oberon-07, he specifically gave an example of an Oberon procedure with multiple returns, and the corresponding Oberon-07 version, where a single return at the very end is enforced and the only syntactically valid way of including a return.

A decision I disagree with, but again a very explicitly motivated design choice - Oberon-07 in particular reflected years of looking largely at what Oberon could do without to achieve something that cut down complexity even further without being too limiting.

It's too austere for me, but the consideration with which Wirth approached his language design is still something I admire.
by josephg | 2025-05-05 07:38:34+00:00
> Also, typst is just really good.

Yeah - typst has a bunch of features that I really want for blog posts and rich documentation, where markdown isn't a powerful enough tool. For example:

- Boxes & named figures

- Footnotes

- Variables, functions (incl populated from nearby files)

- Comments

- Chapter / Section headings (& auto generated table of contents)

- Custom formatting rules (For example, typst lets you define your own "warning box". Stuff like that.)

I don't know of a better tool to write my blog posts today. Markdown doesn't have enough features. And I'm obviously not writing blog posts in latex or a rich text editor. I could use actual javascript / JSX or something - but those tools aren't designed well for long form text content. (I don't want to manually add <p> tags around my paragraphs like a savage.)

Pity the html output is still a work in progress. I'm eagerly awaiting it being ready for use!
by csbartus | 2025-05-05 07:39:31+00:00
SEEKING WORK | Europe | Remote

I wear multiple hats: Researcher / Senior Software Architect / React Lead / Design Engineer / Junior AI Engineer.

I can help you with your AI software engineering strategy and implementation with a focus on correctness: https://www.osequi.com/studies/list/list.html

- Résumé/CV: https://osequi.com/

- Email: bartus.csongor@gmail.com
by dawnerd | 2025-05-05 07:39:31+00:00
All I want is an automation to turn my hotspot on when I get in my car. You can do this, it’s easy. What’s not easy is being able to rely on it. It fails with a notification about half the time. Which is another thing, can I please have a setting to surprise the automation run notification? I know it’s there for safety but if it’s an explicit option… just let me do what I want to do Dangit.
by vouwfietsman | 2025-05-05 07:40:15+00:00
Maybe someone can help me out here:

I always get the feeling that fundamentally our software should be built on a foundation of sound logic and reasoning. That doesn't mean that we cannot use LLMs to build that software, but it does mean that in the end every line of code must be validated to make sure there's no issues injected by the LLM tools that inherently lack logic and reasoning, or at least such validation must be on par with human authored code + review. Because of this, the validation cannot be done by an LLM, as it would just compound the problem.

Unless we get a drastic change in the level of error detection and self-validation that can be done by an LLM, this remains a problem for the foreseeable future.

How is it then that people build tooling where the LLM validates the code they write? Or claim 2x speedups for code written by LLMs? Is there some kind of false positive/negative tradeoff I'm missing that allows people to extract robust software from an inherently not-robust generation process?

I'm not talking about search and documentation, where I'm already seeing a lot of benefit from LLMs today, because between the LLM output and the code is me, sanity checking and filtering everything. What I'm asking about is the: "LLM take the wheel!" type engineering.
by DocTomoe | 2025-05-05 07:41:03+00:00
Word 20 years ago was a very different beast compared to word today. For starters, it still had a closed, binary (read: not friendly to source control) format. It also had more bugs than Klendathu.

When you are losing your semester's 25-page seminal work an hour before deadline because Word had that weird little bug about long documents and random CJK characters (and whether or not the moon was currently in the House of Aquarius supposedly), you develop a ... healthy dislike for it.

LaTeX back in the day didn't need zealots - Word did all the heavy lifting in demolishing itself for anything more involved than 'Secretary writes a letter', 'grandma Jones writes down her secret butterball recipe' or 'suits need a text, and only text, on paper, quickly".

(Yes, that was snarky. I am still bitter about that document being eaten.)
Show HN: Open source SVG icons made for UI design
by AlexeyKrivov | 2025-05-05 07:41:38+00:00
These are 442 clean, consistent, and minimalistic icons designed specifically for interface design. Visit Glow UI site to copy and download - https://www.glowui.com/icons

While many icon sets exist in the market, only few offer these three essential features:

1. High quality of design

2. Specialized for interface design

3. MIT license

Key features:

1. It has two styles: Outline and Solid, suitable for different UI styles from minimalistic to bold

2. Made for interface design. All icons have clean, minimalist shapes that look good at any size

3. Pro-level design. All icons are created using a specialized icon grid for consistent design

4. Optimized SVG files that won't slow down your site's loading speed

5. MIT license alow you to use these icons with no limits

6. Editable sources. You can download the Figma file on the site and edit every icon

Hope you like it!
by rafaelmn | 2025-05-05 07:41:39+00:00
Frankly this kind of stuff getting upvoted kind of makes HN less and less valuable as a news source - this is yet another "hey I trivially exposed something to the LLM and I got some funny results on a toy example".

These kind of demos were cool 2 years ago - then we got function calling in the API, it became super easy to build this stuff - and the reality hit that LLMs were kind of shit and unreliable at using even the most basic tools. Like oh woow you can get a toy example working on it and suddenly it's a "natural language interface to WinDBG".

I am excited about progress in this front in any domain - but FFS show actual progress or something interesting. Show me an article like this [1] where the LLM did anything useful. Or just show what you did that's not "oh I built a wrapper on a CLI" - did you fine tune the model to get better performance ? Did you compare which model performs better by setting up some benchmark and found one to be impressive ?

I am not shitting on OP here because it's fine to share what you're doing and get excited about it - maybe this is step one, but why the f** is this a front page article ?

[1]https://cookieplmonster.github.io/2025/04/23/gta-san-andreas...
by arh68 | 2025-05-05 07:41:43+00:00
Meanwhile, a ~year since Riot required Vanguard, League/Valorant playerbase isn't really any smaller. If anything, it's continued to grow.

The players do not seem to mind. At all. Basically a non-issue for 99%.

I'm not terribly surprised so many here find kernel anti-cheat "unacceptable" or "ridiculous" or whatever, but there's just no there there. Microsoft has kernel access: are they selling my stuff, too ? I don't pay for Firefox: are they auctioning off my passwords? I guess it's fun to speculate; I can make unfalsifiable claims all day