MurphyA/hacker-news huggingface dataset:
by tonko | 2025-05-05 06:47:57+00:00
SEEKING WORK | EU, Croatia (UTC+2) | REMOTE ONLY

Experienced full stack software engineer with a demonstrated history (15+ years) of working with enterprise solutions on premise and in cloud. I don't shy away from maintaining old code bases or learning new/old technologies and I'm very comfortable wearing many hats.

I love working directly with stake holders, even if they don't have engineering background. I can also team up with other freelancers and I know a few I've worked before in case you need more hands on deck, or need someone with a specialization, e.g. UI/UX design, translations...

Tech stack: NodeJS (Typescript), .NET (C#), VueJS, React, Blazor, PostgreSQL, MS SQL Server, DevOps, Docker

Cloud: Azure, AWS, Hetzner, Digital Ocean

Contact: https://ica.hr
by Gualdrapo | 2025-05-05 06:49:09+00:00
I do remember that too. In fact it was one of my physics teacher who got me into LaTeX - he used to complain about Word while praising LaTeX and its WYSIWYM.

Though I ended being a graphic designer so LaTeX felt rather limiting very quickly, but fortunately found ConTeXt.

Hoped Typst was going to be great for my use case but alas it's got the same "problem" as LaTeX - modularity. Still it seems to be a great alternative for people doing standard documents.
by ozim | 2025-05-05 06:50:03+00:00
Problem is you most likely don’t have that big operation.

For company I work for we hire 1 dev per year and I believe last year we did not even hire a single person.

So I do have time to check up the candidate do 3 rounds each 1 hr so that candidates can see what company are we and what person is the candidate. We also are small company so we don’t get that many applicants anyway.

I cannot imagine how it goes when someone needs to hire 20 devs in one quarter. Especially for a company that is any way known and they can get 1000CVs for a single position. They need to filter somehow.
by latentsea | 2025-05-05 06:50:16+00:00
Hahahaha. Oh wow that is comedically out of place in a way that no human tries to use it comedically. That's... gorgeously funny. It's like fumu fumu but so deadpan in the delivery. I think I might just have to try and insert some of these completely out of place deadpan fumu fumu into my everyday speech. Too good.
by TheAceOfHearts | 2025-05-05 06:50:34+00:00
The special naming convention is mostly used as a form of elitist gatekeeping; it's a tribal shibboleth. You should be able to figure out whether someone is talking about latex (polymer) or latex (markup) from context, so having a special naming convention is rather pretentious and superfluous. If calling it lay-tek was important, they should've called it laytek. Historically, as I understand it, distinctions between the written and spoken forms of words were used as a form of gatekeeping between elites and commoners. Same goes for arXiv.

The great thing about language is that you can just change things if enough people play along. Call it gif or jif, arxiv or archive, latex or laytek.
by joha4270 | 2025-05-05 06:51:51+00:00
The problem of individuals making optimal choices on an individual scale being sub-optimal on a society scale is so widespread we have a specific phrase to describe it: Tragedy of the commons

I would love to live in a world where everyone was altruistic and made correct choices for the long term good of society, but I don't. And there are limits to how much I'm willing to act as if I do, when in practice it just means I'm giving away resources to people who are purely (thinkingly or unthinkingly) selfish.
by masklinn | 2025-05-05 06:52:24+00:00
> But here’s the catch: you’re missing some edge cases. What about negative inputs?

The docstring literally says it only works with positive integers, and the LLM is supposed to follow the docstring (per previous assertions).

> The problem is that traditional tests can only cover a narrow slice of your function’s behavior.

Property tests? Fuzzers? Symbolic execution?

> Just because a high percentage of tests pass doesn’t mean your code is bug-free.

Neither does this thing. If you want your code to be bug-free what you're looking for is a proof assistant not vibe-reviewing.

Also

> One of the reasons to use suite is its seamless integration with pytest.

Exposing a predicate is not "seamless integration with pytest", it's just exposing a predicate.
by herbst | 2025-05-05 06:54:04+00:00
Not sure where you are from but in Switzerland you can very well choose these things from a product.

It's very unlikely a chocolate without a fairtrade label to be slavery free. Kinda easy to avoid that. So easy to pick to slavery one

We have a few relevant labels you find on ever meat. It's not as easy for meat as there are local variants without labels and high standards but in a supermarket in Switzerland you can literally pick by colour. To get the kicked chicken that never seen a grass halm you just buy the yellow or red package.
by psanchez | 2025-05-05 06:54:23+00:00
It looks like it is using "Microsoft Console Debugger (CDB)" as the interface to windbg.

Just had a quick look at the code: https://github.com/svnscha/mcp-windbg/blob/main/src/mcp_serv...

I might be wrong, but at first glance I don't think it is only using those 4 commands. It might be using them internally to get context to pass to the AI agent, but it looks like it exposes:

- open_windbg_dump - run_windbg_cmd - close_windbg_dump - list_windbg_dumps

The most interesting one is "run_windbg_cmd" because it might allow the MCP server to send whatever the AI agent wants. E.g:

elif name == "run_windbg_cmd": args = RunWindbgCmdParams(**arguments) session = get_or_create_session( args.dump_path, cdb_path, symbols_path, timeout, verbose ) output = session.send_command(args.command) return [TextContent( type="text", text=f"Command: {args.command}\n\nOutput:\n```\n" + "\n".join(output) + "\n```" )]

(edit: formatting)
by Gualdrapo | 2025-05-05 06:56:12+00:00
> I wouldn't say underrated. Literally every single research article in maths and cs, every PhD dissertation and master thesis in these fields too, are written in LaTeX.

Usage level is not correlated to "rate". Sometimes people use stuff because they have to, not only because they like it. See the Microsoft Word case.

I'd agree that LaTeX has fell a bit in popularity this days against Typst - but not much in its usage. It is still the de facto standard of scientific and technical document typesetting.
by watwut | 2025-05-05 06:57:27+00:00
> fundamentally, a battle between a progressive mindset and a traditional one. The former prioritizes the student’s inclinations, the joy of learning, and the teacher’s intuition. The latter wants strictness, structure, and an evidence-based curriculum.

Can we stop these? Traditional mindset does not prioritize evidence based learning, especially not when evidence points toward proggressive being effective at something.

They do value structness and structure and equate pleasant with ineffective.
by BlackFly | 2025-05-05 06:58:16+00:00
I always wonder why people compare Latex with word and not with the single most popular document markup (especially here): HTML + css + javascript.

The problems are quite similar, "How do I center a div?" vs "How do I keep this float on this page?" Has latex really modernized? I don't hear a lot about new layouts or style mechanisms.

Most people are probably reading articles online these days, although there is a lot to be said about printing an article to read. It seems to me that adding responsiveness to journal articles instead of using a fixed paper layout regardless of media might be a good improvement for many readers in many situations.
by collingreen | 2025-05-05 06:58:25+00:00
Heavy use isn't the same as some of the scare stories they are referring to like people gaming so long in Internet cafes they die when they stand up or parents forgetting to feed their screaming children because they were distracted by being online.

That being said I agree with your point - many hours of braindrain recreation every day is worth noting (although not very different than the stats for tv viewing in older generations). I wonder if the forever online folks are also watching lots of tv or if it is more of a wash.
by Dylan16807 | 2025-05-05 06:58:56+00:00
> Illegal immigrant = an immigrant who is here illegally/against the law

I'm confused. This is how most people define the term, and is not what you said before. What you said before is "due process has been already run and determined they are illegal".

There is a vast difference between someone that broke the law and someone that was convicted of breaking the law.

When the average person says "illegal immigrant" they mean someone that broke immigration law. Nothing about whether due process has been applied. So if you start rounding up "illegal immigrants" and deporting them right away, that's a big problem, because not all of them had due process and you'll inevitably grab innocent people.
by thangalin | 2025-05-05 06:59:02+00:00
> LaTeX is also pretty convenient and powerful ... pandoc's markdown

Have you considered writing pandoc-style Markdown that's converted to TeX for typesetting? If not, have a peek at my text editor:

* https://keenwrite.com/screenshots.html

* https://www.youtube.com/playlist?list=PLB-WIt1cZYLm1MMx2FBG9... (see tutorials 4 and 9)

KeenWrite basically transforms Markdown -> X(HT)ML -> TeX -> PDF, although it uses ConTeXt instead of LaTeX for typesetting because ConTeXt makes separating content from presentation a lot easier.
by eberkund | 2025-05-05 06:59:10+00:00
I created a small library for handling graceful shutdowns in my projects: https://github.com/eberkund/graceful

I find that I typically have a few services that I need to start-up and sometimes they have different mechanisms for start-up and shutdown. Sometimes you need to instantiate an object first, sometimes you have a context you want to cancel, other times you have a "Stop" method to call.

I designed the library to help my consolidate this all in one place with a unified API.
by kartik_gautam_ | 2025-05-05 06:59:36+00:00
Hi, With 6+ years as a full-stack developer, I have led teams, solo-developed projects, and built end-to-end solutions. -----

Location: Bangalore, India

Remote: Yes, hybrid or in-person are also OK

Willing to relocate: Yes

Technologies: Python, Django, Fast API, Flask, React.js, Next.js, JavaScript, SQL, MongoDB

Portfolio: https://kartikgautam.com/

Email: hello@kartikgautam.com
by 66yatman | 2025-05-05 06:59:41+00:00
Location: Nigeria Remote: yes Willing to relocate: yes Technologies: golang, typescript full stack and react native

Résumé/CV: https://drive.google.com/file/d/1JHFnhugt_XPupgdl8UTA5W9iQI0gSsGC/view?usp=drivesdk Email: fridaymaxtour@gmail.com
by kartik_gautam_ | 2025-05-05 07:00:30+00:00
SEEKING WORK

Location: Bangalore, India

Remote: Yes, hybrid or in-person are also OK

Willing to relocate: Yes

Technologies: Python, Django, Fast API, Flask, React.js, Next.js, JavaScript, SQL, MongoDB

Portfolio: https://kartikgautam.com/

Email: hello@kartikgautam.com -----

With 6+ years as a full-stack developer, I have led teams, solo-developed projects, and built end-to-end solutions.
by fredrikholm | 2025-05-05 07:00:32+00:00
In the same way that GC eliminates the need for manual memory management.

Sometimes it's not enough and you have to 'do it by hand', but generally if you're working in a system that has GC, freeing memory is not something that you think of often.

The BEAM is designed for building distributed, fault tolerant systems in the sense that these type of concerns are first class objects, as compared to having them as external libraries (eg. Kafka) or completely outside of the system (eg. Kubernetes).

The three points the author lists in the beginning of the article are already built in and their behavior are described rather than implemented, which is what I think OP meant with not having to 'intentionally create graceful shutdown routines'.
by mezyt | 2025-05-05 07:01:15+00:00
Yeah ok. I was viewing AI as "a tool to help you code better", not as "you literally can't do anything without it generating everything for you". I could do some assembly if I really had to, but it would not be efficient at all. I wonder if there's actually "developers" who are only prompting an LLM and not understanding anything in the output ? Must be generating dumpster fires as you said.
by SequoiaHope | 2025-05-05 07:01:29+00:00
Actually a single camera is all you need. I think it’s fair to say that the only thing stereo gets you is scale. But both cameras and lidar have their place in sensing systems, and getting more experience with either is useful.

If you’re interested in reconstruction from images check out Meshroom and Nerf Studio

https://alicevision.org/

https://docs.nerf.studio/
by 1659447091 | 2025-05-05 07:02:39+00:00
Got it. I agree that would not do much but make the moment have completely passed on by..

>> Kept talking about it and was the main topic when reviewing the concert to other friends.

Though if we take a bit of a dystopian recursive view, your friend(and other like them) are living in the moment by fussing about others living in the moment in a way that allows your friend to live in the moment
by Aerroon | 2025-05-05 07:03:41+00:00
I think these complaints will fall onto deaf ears for at least two reasons:

1. Students are a captive audience. They don't want to be there. It's the law that makes them be there. Even once you're beyond mandatory education this holds true: they were just carried into further education by momentum. They didn't realize they had a real choice or what alternatives were available.

2. A lot of the skills you build in classes aren't useful to you. I spent a lot of time in my English (second) language classes, but it was my use of the internet that really taught me the language. The later years of English classes was just busywork.

In my native language classes I had to write a fair number of essays. The only time this was useful was the final exam of that class. I haven't written a "real" essay since. Even if I did, it would probably be in English and use a different style - something taught to me by forum posts.
by jajko | 2025-05-05 07:03:48+00:00
I would frame it differently, since I keep seeing a lot of very old photos of ie glaciers in Chamonix, France area that are very different now and much receded and thinned.

Don't photo (much) things that won't change. Things that change - people, but also landscape to certain level, cars, technology, even some buildings, sure its amazing to look back for you, or anybody else after decades and see the change. Obviously people change the most.

Basic photography advice is to have something alive in each photo. Not 100% but a good rule of thumb.
by Joker_vD | 2025-05-05 07:03:52+00:00
Useless bit of compiler optimizations trivia: the "this printf() is equivalent to puts()" optimization seems to work by looking for the '%' in the format string, not by counting whether there is only one argument to printf(), e.g. if you add 42 as a second argument to the printf() — which is absolutely legal and required by the standard to Work as Intended™ — the resulting binary still uses puts().
by p2hari | 2025-05-05 07:05:15+00:00
This is cool. If we can integrate with ides (windsurf, claude etc.); can we then get a feel of what kind of prompts and issues have been tackled?

How much code to ai assisted code an individual does in a normal programming session?

what kind of difficult tasks are posed for the AI to know how much autocomplete vs self code an applicant does? Ask, what kind of test, lint and commit messages the user follows in programming?

How much does the applicant thinks about security and other features when programming or designing a system?

my thoughts..
by verisimi | 2025-05-05 07:06:19+00:00
I personally do not find the idea of endless life in this world appealing at all. I don't even get the desire to live to 100+, nevermind 200. I tend to think that the 'longevity desire' is prompted within oneself when one is not living according to whatever-it-is one thinks one should really do. The rat race is compelling sure, one needs money etc, but that is not the entire purpose of life. Perhaps some seeking/introspection is needed to make life meaningful.
by fc417fc802 | 2025-05-05 07:06:21+00:00
This is mostly true. You can run a VM in the trusted OS to do untrusted stuff. For stuff like 3D graphics you will likely need a second GPU to pass through to the guest if you want reasonable performance.

That resolves the tinkering vs intrusive vendor issue. However it doesn't address the privacy, autonomy, or user freedom angles.

By autonomy I mean (for example) the inability to perform a proper backup on a "secure" android system. By privacy I refer to the fact that the vendor can see everything you do even in the VM. User freedom is only an issue when you can't boot an "insecure" OS on the platform, but if nothing will run when you do that the situation isn't much different. For example, technically I have the freedom to run DOS today but in reality I won't be getting much done if I do.

Addressing the privacy issue we've at least got confidential VMs now. However at that point we've just pushed all the issues down a level and the same drama plays out again with the hardware vendor.
by kriro | 2025-05-05 07:06:36+00:00
I disagree. My co-worker is an industrial designer and uses Rhino as his day to day CAD tool of choice. I was delighted to see that it translates everything you do to a command line syntax and there's also Python integration. We did some simple tests the other week and you can actually prototype reasonably well by instructing an LLM to generate the Python code that creates the models. It still requires fine tuning but seems like a similar multiplier like using LLMs for programming to get the boring boilerplate out of the way.

I'd say a good designer will at least 2x, probably 5x. We are preparing to test with students next semester to see how non-experts profit from this.
by herbst | 2025-05-05 07:07:28+00:00
In Switzerland where you can tell on every piece of supermarket meat what kind of farming/standard it is trough a easy to follow colour code and some kinda Trustable labels, you very well see customer pick the more expensive ones.

Same thing in Austria, clear labelling, good availability, people are buying it.

Nobody in Spain does because none of their supermarkets has any concept for labelling the meat standard

So it's easy to say nobody would if they didn't really try
by FirmwareBurner | 2025-05-05 07:13:11+00:00
>When the average person says "illegal immigrant" they mean someone that broke immigration law. [...] So if you start rounding up "illegal immigrants" and deporting them right away, that's a big problem, because not all of them had due process and you'll inevitably grab innocent people.

Aren't you contradicting yourself here? How can you break immigration law but be innocent?

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? Yeah, we can say immigration laws suck sometimes, but that's an argument for changing the laws, not for removing the enforcement of the law.
by anougaret | 2025-05-05 07:13:45+00:00
this is pretty cool but ultimately it won't be enough to debug real bugs that are nested deep within business logic or happening because of long chains of events across multiple services/layers of the stack

imo what AI needs to debug is either:

- train with RL to use breakpoints + debugger or to do print debugging, but that'll suck because chains of action are super freaking long and also we know how it goes with AI memory currently, it's not great

- a sort of omniscient debugger always on that can inform the AI of all that the program/services did (sentry-like observability but on steroids). And then the AI would just search within that and find the root cause

none of the two approaches are going to be easy to make happen but imo if we all spend 10+ hours every week debugging that's worth the shot

that's why currently I'm working on approach 2. I made a time travel debugger/observability engine for JS/Python and I'm currently working on plugging it into AI context the most efficiently possible so it debugs even super long sequences of actions in dev & prod hopefully one day

it's super WIP and not self-hostable yet but if you want to check it out: https://ariana.dev/
by rcarmo | 2025-05-05 07:14:08+00:00
Well, yeah. It’s borderline usable in iOS, and almost pointless in macOS because we still have Automator and much more useful AppleScript integrations—which are being eroded by time and little maintenance from Apple.

Then there’s JavaScript for Automation, PyObjC, and many other technologies that Apple never really invested in because they just don’t get automation.

Somehow, Shortcuts survived being acquired, but in the process they actually killed stupefyingly useful functionality like being able to run some automations directly from the Apple Watch (I used it to send automated SMS messages to query bus schedules based on my location, and it was awesome).
by Dylan16807 | 2025-05-05 07:15:50+00:00
> I never said that WinGet was a drop in replacement for yum - but the parents claim that windows doesn’t have a package manager isn’t true.

Context matters. They were talking about a type of package manager.

But even without caring about context, the sentence was not "Windows does not have a package manager". The sentence ended with "Windows does not have a package manager to install them" and "them" refers to things that winget generally does not have.
by Garlef | 2025-05-05 07:16:17+00:00
Hm... I think you have a good point.

Maybe the non-determinism can be reduced by caching: Just reevaluate the spec if the code actually changes?

I think there are also other problems (inlining a verbal description makes the codebase verbose, writing a precise, non-ambiguous verbal description might be more work than writing unit tests)
by euroderf | 2025-05-05 07:17:23+00:00
Quite OT:

As a stamp collector in my youth, I am well acquainted with San Marino. On the subject of its elections, Wikipedia says:

San Marino had the world's first democratically elected communist government – a coalition between the Sammarinese Communist Party and the Sammarinese Socialist Party, which held office between 1945 and 1957.

And as a historical footnote,

The [Communist] government instituted several reforms and, of the industries of San Marino, only nationalized three drugstores.
by tamlin | 2025-05-05 07:17:48+00:00
Samsung and SK-Hynix have had specs and papers for a few years already for HBM and GDDR. e.g.

* https://www.servethehome.com/sk-hynix-ai-memory-at-hot-chips... * https://www.servethehome.com/samsung-processing-in-memory-te...

Not sure anyone has started using it in production.
by JKCalhoun | 2025-05-05 07:18:35+00:00
It’s not just “making it your own”.

I took the girls all around the US, around the world even as they were growing up. I had grown up in a “camera family” so always had one on trips as a parent too.

Now, with two decades behind me, the photos of my young daughters, wife are the vacation photos I return to.

Oldest daughter is wearing a kimono sipping tea at some place in the mountains of Japan… Two youngest are chasing each other on the beach of some island in Hawaii…
by cientifico | 2025-05-05 07:19:36+00:00
We've adopted Google Wire for some projects at JustWatch, and it's been a game changer. It's surprisingly under the radar, but it helped us eliminate messy shutdown logic in Kubernetes. Wire forces clean dependency injection, so now everything shuts down in order instead... well who knows :-D

https://go.dev/blog/wire https://github.com/google/wire