skysight-inc/HackerNews huggingface dataset:
> Quoting from earlier in the thread, see this and tell me the person writing it is competent.

I can't, nor could I make any sprawling generality about them based on secondhand quips.

> The polite way to put it is "there might be a skill mismatch".

More than polite, it may be practical. Perhaps this person is vastly skilled in some other way and importantly valuable if applied to that work.

> Plenty of people get slowly drifted into programming roles they aren't qualified for.

Like me. I'm unqualified in many ways having no formal education in CS. Yet I've created around 1,000 jobs so far. I've taught CS and lectured on it in college programs. I'm pretty sure you'd consider me incompetent if we met, because we seem to see the world and this work very differently.

> At the end of the day, I'm not some super hero looking to drastically improve every company I work for.

I don't consider it super heroic to simply do your work in good faith, interact professionally with respect for other humans, and strive to leave the world (and every part of it you touch) no worse, if not better. That's just basics.

> It's fine to walk out if your not vibing with your co workers. Always say it's about money, you never know who you'll see again.

Yes, absolutely, change roles when it seems the right choice. That is freedom I wish everyone had, and felt safe in, and no guilt for. Pursue happiness. Even saying it's about money I can't argue with unless doing so obscures some other fact that harms other people.
hm, I wonder why this didnt pick up any comments, seems interesting
> One of the reasons Elon Musk bought Twitter was because the Babylon Bee was moderated for misgendering a trans person. I could see an argument for why this might not be ok, but for me the same argument to me would fall apart on the /lgbt or /trans subreddits.

That's sort of precisely my point. It's all about social media companies setting forth clear policies about what is acceptable on their platform, and ensuring that their moderation is consistent with that policy.

If Twitter wants to ban misgendering, let them. But they have to tell people. You can't claim to be the town square on the one hand and try to shape the discourse on the other.

I personally would prefer to use social platforms which establish boundaries on content. HN is an excellent example, and essentially the only "social media" I publish on for that very reason. But HN makes sure to tell people what is acceptable.
Princeton NJ.

Remote or local only, no NYC / Philadelphia.

Perf / static / dynamic analysis, C or C++, Lua, Go, roughly in that order — willing and able to use Python, Lisps, and Perl in anger when it makes sense.

https://docs.google.com/document/d/1ZzdR3fPBA6WfprwEo8s_Wi98...

bodie at synapsegarden dot net.
Pincites | Software Engineers | ONSITE (NYC) | Full-time

Pincites is automating contract review with AI. We integrate with Microsoft Word to help in-house legal teams review and redline contracts faster. You can read more at pincites.com.

We're early stage (YC S23), growing fast, and are looking for engineers who are excited about building the next generation of legal tooling. We write a lot of Go and TypeScript (with React) and are currently looking for an experienced frontend developer.

* https://www.workatastartup.com/jobs/65814
One of these:

1. Using a proper programming language that doesn't allow you to setup arbitrary functions as signal handlers (since that's obviously unsafe on common libcs...) - e.g. you can't do that in safe Rust, or Java, etc.

2. Using a well-implemented libc that doesn't cause memory corruption when calling async-signal-unsafe functions but only deadlocks (this is very easy to achieve by treating code running in signals as a separate thread for thread-local storage access purposes), and preferably also doesn't deadlock (this requires no global mutexes, or the ability to resume interrupted code holding a mutex)

3. Thinking when changing and accepting code, not like the people who committed and accepted [1] which just arbitrarily removes an #ifdef with no justification

4. Using simple well-engineered software written by good programmers instead of OpenSSH
These anecdotes are better left for reddit as they're irrelevant to this particular discussion.
How’s it done?
yes the joke is on i
Trump Immunity Ruling Means Any Trial Before Election Unlikely
Hello!

I have made a web app which attempts to make the average game of Uno more interesting. This is done by adding events which may randomly trigger every time a card is played. There are 9 unique events so far and I am excited to add more.

You can check it out here - https://uno-robeeto.vercel.app/

Any feedback is greatly appreciated, thank you!
The solution is simple. When one of the two old men besmirches the other, they shall challenge each other to a gentlemanly duel. The survivor, if any shall become the next president. Owing to the advanced age of both candidates and the advancements in firearms technology, the dueling weapons will be full auto drum magazine AR-15 assault rifles as per the American tradition.
Interesting, thanks!

I wonder what the reason was, though.
But SIKE was also broken in, like, a theatrical fashion. It was an explosive break!

It feels like there's some dancing around happening here, where the subtext is that where an algorithm is in a NIST contest process isn't determinative on it's own, and that there are external reasons we tend to trust the lattice stuff (because it's been studied for decades, &c).
> I don't know who "we" are.

We are the people having this discussion. That should be obvious. It's kind of funny you accused me of pretending to be baffled, lol. The irony.

You certainly had no issue discussing this top with me until I called out your claims/methodology as nonsense.

> The question I asked another poster, where you decided to butt in,

Welcome to the Internet!

> regarded escalation from an unprivileged position and nothing else.

Yes. And I pointed out why this is an absolutely nonsense approach. You realize getting root on OpenBSD is significantly easier than several other setups or Linux distro's you've probably never heard of, though, right?

So, what is it? Afraid to be wrong? You brought too much into the OpenBSD marketing, so now it's a sunk cost for your ego?

> Nobody but yourself said anything along the lines of "only attacks against things in the default install 'count'", nor drew drew up comparisons against "the competition".

This is exactly what you imply when you want to limit attacks to LPE's that require a user account, lol.

> You clearly have some larger axe to grind, but you're doing it in a discourse playing out only in your head, without reading what others actually wrote.

No axe to grind. Just calling out bad claims and reasoning.

Even now, you've successfully got us discussing semantics and nonsense instead of you actually addressing the bs claims you made. Stellar job.
The proof is not too bad in Lean4. I'm nothing special and I've got it down to 9 lines. But, maybe that is considered pretty tedious vs. what expectations one might have. In any case, it is an exercise in Heather MacBeth's free book: The Mechanics of Proof,

https://hrmacbeth.github.io/math2001/04_Proofs_with_Structur...

btw, that book is a lot of fun to work through.
AI parallels with religion and the need for alternative intelligence [video]
It's fixed in Debian 12[1]. Debian 11 and earlier's SSH version was not vulnerable.

[1] https://security-tracker.debian.org/tracker/source-package/o...
I’m not sure how many Linux users would know if they’re using glibc or another variation. Is there a list?
Unitary Executive Theory

The movie “Vice” explains well what this is about.

It’s was originally imploded by President George W Bush.

https://youtu.be/_UPvTdDB-h0

—-

SCOTUS essentially ruled in favor of this theory.
Yeah if you ask me, inheritance is the one to go. Every time. Inheritance just makes things more complicated. It’s not a great tool of abstraction.
Runway Gen-3 Alpha Text-to-Video Now Available
This whole situation is absolutely bizarre to me as an Australian. Our states converted to a system of centrally registered title (also known as Torrens title) over a hundred years ago to avoid the “old system” problem of tracing ownership records backwards in time. Although the system is still in effect for some properties, in many cases they’ve been converted anyway.
Not really. git-scm.org is the de facto "official" site for the Git project in about the same way that French is the de facto "official" language of France.

They meant exactly what they wrote: GitHub took over hosting duties for the official Git site (because they did).
A couple observations:

1. These gate systems usually have dry contact outputs as well, and you can get the gate motor’s idea as to whether the gate is open. You’ll need a smart relay with inputs :)

2. Home Assistant’s “cover” entities are a bit silly in that they don’t let you open a cover that is already 100% open. If you have a gate with an automatic close timer, you might want to send the open command even when it’s open to delay closing. You can fudge this by reporting the cover 99% open when it’s open instead of 100% open.
Yes if we take the logic to ridiculous ends we can have the state confiscate everything it needs from select individuals, but the problem with that is that it's ridiculous. it's absurd. we can use different logic in different places.

using eminent domain to get land for a shop attached to a train station isn't a slippery slope to the cops coming in and confiscating your car just because they want it.

Taxes and fares aren't enough to run a transportation system properly because of politics and culture.
Thanks - I was struggling to believe GitHub would have launched with something as bad looking - 2008 was not CERN era looking webpages!
RE has always been "fair use" since the very early days. Look at the books and other work published by Andrew Schulman, Matt Pietrek, Mark Russinovich, etc. AFAIK no one has gotten unwanted legal attention from MS from it (and look at what happened to that last person...), and it's only when you want to be a competitor, like ReactOS/WINE, that they start paying attention.

Also notable is that Ilfak Guilfanov (IDA author) published a free patch for the infamous WMF RCE before MS did.
By ”stagnation” do you mean “not getting new features”?
> You sound like a basket case. Maybe turn off the tv and touch some grass.

You can't post like this here, regardless of how wrong someone is or you feel they are. Since you've been breaking the site guidelines like this repeatedly*, I've banned the account.

If you don't want to be banned, you're welcome to email hn@ycombinator.com and give us reason to believe that you'll follow the rules in the future. They're here: https://news.ycombinator.com/newsguidelines.html.

* e.g. https://news.ycombinator.com/item?id=40746143

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

https://news.ycombinator.com/item?id=40710487
The apnews article mentions this in the first sentence (631 points, 6 hours ago, 1286 comments) https://news.ycombinator.com/item?id=40847963
Personally, I think this way:

problem : solution

and I think sometimes certain languages fit the solution space better than others.

I think it might have to do with expressiveness.

If I want to write a CLI program and parse a bunch of arguments in different ways, I think python + argparse is a pretty effective way to do that.

At one point, I think perl was the most generally expressive language I'd ever used. I could think of something, and then dump what was in my head into perl with little or no friction. do until! unless!

(of course, the practical aspect of that was that if it is expressive that way for everyone, you will have to understand how someone else thinks to understand their perl program)
When we are having coitus?
If you want to talk about the results then there are quite a few comments (from me!) asking about those ;-)

Snark aside I do want to thank you and others for running these tests. I just wish I could make sense of the results, which seem too good to be true?
Ask HN: Coding Ability Evaluations
Looking at the most recent "Who is hiring?" https://news.ycombinator.com/item?id=40846428

I'm wondering how many of the Developer positions you have advertised will include evaluations of coding ability?

And, do you out-source the evaluation to a third party or do you have an in-house test?
> Your message wasn't delivered to work@yeet.cx because the address couldn't be found, or is unable to receive mail.

Was curious and wanted to reach out, but can't get in touch.
SEEKING WORK

Location: UK/Southeast Asia/East Asia

Remote: Yes (unless you're somewhere interesting), nomading right now.

Technologies: Python & NodeJS (Typescript), Django, Flask, AWS, Terraform, Svelte, React, Postgres, K8s, MongoDB. More here: https://jasonkelly.dev

Résumé/CV: https://jasonkelly.dev/cv.pdf

Email: jason {@} jasonkelly {.} dev

~

I'm a Software Engineer with ~13 years of experience. I've worked across a fair few stacks at this point but have a fair amount of experience in Python & JavaScript, not to mention general DevOps stuff. I've also worked across a few different roles, from Lead Dev to Engineering Manager.

I'm currently nomading around Southeast Asia and am keen to find some contract/freelance/consulting work. I'm pretty flexible with what I'm looking for in all honesty, my main want is to help solve problems and write some great code.
I like that the article uses the concrete example of proving √2 is not rational to demonstrate the abstract priciples of induction, while also not hand-waving away the formal details of the general case.

I got a little caught up on on the proof of (no) infinite descent by well-founded induction without a base case. I thought, "something is wrong; (∀y∈X.y⊏x⟹¬Φ(y)) only implies ¬Φ(x) if you assume (∀y∈X.y⊏x⟹¬Φ(y)) in the firsts place". But that's actually fine, because the principle of well-founded induction lets you assume it out of thin air, and as long as it implies ¬Φ(x), you're good.

The intuition of this, to me at least, is that well-founded induction has an implicit base case of the empty set. (∀y∈X.y⊏x⟹Ψ(y))⟹Ψ(x) means Ψ(x) is required to be automatically true if ∄y∈X, so (∀y∈X.y⊏x⟹Ψ(y)) may be assumed out of thin air and then used inductively for all the cases where ∃y∈X.

Back to the specific example, ¬Φ(x) is automatically true if ∄y∈X because Φ(x) implies ∃y∈X. However note that this base case doesn't need to be explicitly shown, because it's included in the general case.
scotusblog is the gold standard for all Supreme Court related news

https://www.scotusblog.com/2024/07/justices-rule-trump-has-s...
Dragging…
I’ve poked at some BFT boards. The ones I’ve looked at do have outputs, but they’re configure oddly by default. You can go through the menu and reprogram them. Warning: the modes may not all do what the manual says. Test them. If one mode doesn’t do what you want, try another mode.
Tracing the hidden hand of magnetism in the galaxy
Just that it went on a somewhat offtopic tangent (war declarations and whatnot), and I was trying to prune the top threads.
EDIT: I want to clarify something. When I say:

> The best way I see to establish "good faith" is to set clear expectations about what content is allowed

What I mean is that each social media platform needs to define what content is acceptable within its own terms. They don't necessarily need to be super detailed, but they should be explicit enough that people are able understand what is and is not allowed (or de-ranked, shadow-banned, etc.)

What I am trying to avoid here is people using social media under false pretenses. If a social media platform claims to be a neutral town square, but then behind the scenes tries to shape the discourse for their own political ends, that would be a false pretense.
I’m commenting based on the grandparent post, which says ONSITE clearly at the top.
Whatever happened to Elm, anyway? (2023)
I tend to solve most problems while I'm away of the computer. It could be running, paddling or just walking.
Let's say you trust absolutely that the network tab would reveal any communications with the server that could happen in the future. By "future" I mean the point where you are convinced that it is safe to use, and now you are using it with real data.

If you had done this, even spending 10 hours looking at network traffic, you wouldn't have been protected from this hack: https://www.theverge.com/2018/4/24/17275982/myetherwallet-ha...

That was a technically sophisticated hack, but there are simpler ones, like social engineering someone to take over their site.

Put putting hacks aside...

Say you have a site and it doesn't mention whether the data is sent to a server and you want to find out. Now let's say that site does a backup to server but only when localstorage has run out of space, but you don't know that.

When you test the site in the network tab, and you haven't run out of localstorage space then you will see no XHR and assume it's all good, it never sends to the server.

You then use the app for a few days, hit the localstorage limit and it sends stuff to the server without you knowing. And yeah you can keep the network tab open all the time if you have the discipline, but you only know once your data has been sent. It is too late.

If you care enough about whether it sends stuff to the server to look at a network tab, then you probably care enough to want to know for sure.

With the web as it is now there is only one way - trust the site and hope they do the right thing, and are secure. Or only put stuff on there you are happy to leak.

So, made up situation: if you are using this tool to edit and release a whistleblowing related video as a journalist. Maybe you shouldn't!

You probably instead want a local app, running on linux, on a machine that is disconnected from the network.
I didn't realize the government could legally designate a citizen as X and then kill them without a declaration of war or a trial. Last time I checked, treason was a crime that you went to trial for.
> With the courts packed by unqualified partisan hacks

Are any of the SCOTUS justices “unqualified”? I think all of them have the kinds of backgrounds you’d expect from a Supreme Court justice-law professorships, appellate courts, etc

Are they the best legal minds available? Arguably not, on both sides - in recent decades, both major parties prioritise political/ideological reliability over legal brilliance. Consider someone like Richard Posner, formerly of the 7th Circuit - many consider him one of the brightest legal minds of his generation, and surely the Supreme Court would have benefited from his membership in it - but he never had much hope, because he was too conservative for Democrats, not conservative enough for Republicans.
Perfectly said. Your readers do not have to use your website, they choose to. And they can choose to leave your website, and they can choose not to click on your affiliate links.

When and ad comes on the radio, I can change the station. When an add comes on the TV, I can change the channel. I cannot force either one to not broadcast the ad to me and go back to normal programming.
Apologies for misreading your intent, I hear you and am in full agreement.
I like OOP precisely because you can just treat any object like a black box. You don't need to fully understand what the object does at all times.

The way my brain works is by turning all problems into spatial problems. Programs take the form of a large graph with a function or other operation at each node. Generally, I'm modeling data flow through the graph. I can keep a fair amount of detail associated with any node, but it takes effort. There's a lot of information floating around.

OOP just kind of naturally falls out of this kind of thinking. By collecting parts of the program into discrete objects that do their own thing, large parts of the graph can be collapsed into a single node. Data flows into an object, data flows out. No need to spend the mental effort of knowing what happens inside the box. I can just simply trust that I wrote an object to do what it says it does.

Of course this approach often fails and I have to be much more thorough. If I can focus on a small section of the program, the graph becomes almost an arbitrary syntax tree. The past couple of weeks I've been way in the weeds with a microcontroller. At some point I've started modeling parts of the program in terms of assembly instructions and CPU implementation details.
Open and remotely accessible Neuroplatform for research in wetware computing
> The latter case, of squatters gaining full legal title to a piece of property, is extraordinarily rare, and as I understand it the cases all tend to be marginal (like: abutments of adjacent rural properties changing hands).

The marginal cases are more common certainly, but the full version does happen. There's one that comes up on Reddit every so often of someone living in a home that had been abandoned in the 2008 crisis and presumably just written off by the legal owners (sounded like it had been owned via multiple levels of bankrupt property companies) for long enough that they claimed ownership, apparently successfully.
Science & Research Institutes
There’s an optical drive emulator now, no need for discs.
Looks totally fine at first glance. I'm happily using https://github.com/gorilla/sessions to handle cookies right now — OP, is there any reason I should want to switch to your library instead?
Place a lit candle on the far side of the room. Put your entire awareness on the flame. Or, go outside and find a single leaf on a tree. Absorb yourself entirely in this leaf.

Alternately, focus on nothing. Feel the empty space between you and your surroundings.
Column (https://column.com/) | Software Eng (Backend), Software Eng (Infrastructure) | San Francisco, CA | Full Time

Column is the first nationally chartered bank built from the ground up for developers. We provide an API first, modern banking experience for our customers, replacing the bloated middleware and legacy software that currently powers most financial companies.

Started by the co-founder of Plaid, Column has a team of <10 engineers and is currently processing hundreds of billions in payments annually, supporting some of the largest and most sophisticated fintech companies. We are looking for experienced backend and infra engineers to join our team. We all work on high impact, independently driven projects - writing code for regulated financial infrastructure at scale.

Apply here: https://column.com/careers or read more about our hiring philosophy here: https://column.com/blog/hiring-at-column

Feel free to email me with any questions: praful@
I suspect that this is a proxy for what is really going on - I find that I am most creative /when not under pressure/

I have spoken many times in the past with senior programming friends, some are creative just before sleep, some are creative in the shower, some on the toilet, some walking in nature - the common theme is that they are all in a relaxed state, not under stress - it’s not surprising that this happens for many people just before they fall asleep, but I think if people actively tried to relax more (which is a skill one must practice) then we’d see more creativity peak states
We have hired several people and still hiring.

Feel free to message me at julien _at_ serpapi.com if you don't get an update on your application.
That's not how HN works. People don't get to break the site guidelines regardless of the topic, and people are welcome to make their substantive points thoughtfully regardless of their views. Killing the entire thread would be to punish the latter for the former.

https://news.ycombinator.com/newsguidelines.html
ah, it didn’t occur to me to view destructuring as pattern matching but I guess it is a bit similar.
PWAs don't need online access. They only need initial access to download them.

Same with plain old websites if they're made to run offline (e.g. https://devdocs.io/offline).