skysight-inc/HackerNews huggingface dataset:
Show HN: LLM Verified with Monte Carlo Tree Search
This is a weekend hack that I'd like to further develop as it's working surprisingly well.

Using MCTS, we can explore a space of possible verified programs with an LLM. We check the partial programs at each step, and so steer towards programs that pass the verifier.

https://github.com/namin/llm-verified-with-monte-carlo-tree-...
Shaders haven’t been precompiled for PC in years due to GPU heterogeneity - it’s only games consoles where binary shaders are usable. OpenGL’s wiki is full of dire warnings about relying on binary shader representations: https://www.khronos.org/opengl/wiki/Shader_Compilation

I’m surprised there isn’t much support for even a bytecode representation…
Who do you think "data brokers and ad targets" purchase data from?

I don't understand how you could help companies protect the private data they collect from users and think that you're not facilitating the collection and sale of it.
Maybe it is designed like this on purpose.
no, but until recently, programmers were not known for their social skills, and as such, differences in individual skill levels was not handled in an emotionally mature way, resulting in unhealthy,
bordering on toxic, environments. it's not taboo, but it's maybe unsavoury to some
A few years ago yea, not anymore the ass fell out of the manuka market.
Are you using Wayland? I'm curious since it seems like most people I've discussed with have confirmed that the 545 drivers improved things for them. I thought they might actually have fixed/improved the experience for most Wayland users but I guess things are never that simple!
I think any model type that is not built in to the huggingface library needs that.
I have a Brazilian friend living in Ireland, who went for this route, of easy to spell / pronounce for Irish English speakers.
When you open a PR, look for the "Allow edits by maintainers" checkbox beside the "Create pull request" button. For PRs you've made earlier, you can find it in the sidebar under the participants list.

[1]: https://docs.github.com/en/pull-requests/collaborating-with-...
> The real culprit is the backward immigration system designed to pacify voters.

Shouldn’t any immigration system actualize the will of the voters?
Note that hoja literally means "sheet", just like the German Blatt.
Great. Now make this an actually punitive amount and apply it to all of the big tech companies (who have obviously been doing this for years) and you may start to actually fix this problem.

A hundred thousand CS graduates a year in this country and yet the biggest companies claim they can’t find workers. So they hire people from overseas and pay them some of the highest entry level wages in the nation all the while kids I grew up with in the Midwest, who were coding in junior high, work in factories.

I call bullshit, it’s clearly discrimination
It would take many, many thousands of homes.

Demand is so much greater than supply almost everywhere in the US.
The perm process is absurdly stupid, people you put those « ads » for are already working there on a H1B/L1, no company would decide to hire anyone else for their position.
"1960s Interviews with Scientists on John Von Neumann"

https://youtu.be/hybGvmfuqq8?si=VxwkbpThdYubrrRq

........................

"A Brief History of John von Neumann"

https://youtu.be/QhBvuW-kCbM?si=J-9ZtcoWkxJrIltv
I have used the same technique to summarize survey results and to look for new books to possibly read.

It works well for the most part. GPT with its compression leaves out all the stories and metaphors that make the content easier to remember and relate to.
> which you have no control over

It's not quite that bad: UNIX has always guaranteed open() will return the lowest unused file descriptor. So in practice, it just limits you to 1024 total open files in the process, which in all fairness probably seemed like an absurdly large number at the time it was designed.
Panama Canal Transit Wait Times
Also see rcmd: https://lowtechguys.com/rcmd/

I've arrived at a similar setup where 1,2,3,4,5 are my fixed slots, and letters are automatically assigned to based on what apps is open.
I think it is super hard to make world where only best developers are working.

You need huge numbers of average developers to keep running all the software there is.

Just like in army, average Joe can be a soldier because there will never be enough “best of the best” to have an army of only special forces.
> I believe there might also be fraudulent credit cards issued in my name that ate being used

As tmcz26 said, it's very unlikely they issued a card on your name, but if that happened, contact the bank's ombudsman AND report it to the Central Bank, as they failed the KYC process.
I wonder if there’s some measure to forecast this, though: if the median age of a homeowner is x years (and the trend is aging), then in y years, half the currently owned houses will have changed owners. What are the values of x and y?
https://evtms-rpts.pancanal.com/eng/h2o/GatunWaterIndicators... ("Gatun Lake Water Level Report")

https://www.youtube.com/watch?v=xIxvNBzIsJI ("Youtube: Shipping Braces for Impact as Panama Canal Slashes Capacity")
> How does Equifax or TransUnion handle the case where someone else creates the account before you

I can speak for Experian. If you already registered the account, and someone else knows your SSN and the answers to the credit bureau security questions, then _they_ get to register your account. You as the person who originally registered will get an email that your email address changed.

Supposedly the thinking is that they want to make it impossible for someone to truly be locked out of accessing their own Experian account, so they just let you do these stealth registrations as long as you can answer all the security questions. Clearly they need a better solution.
Needs more fiber
They won't because it's impossible to meet modern safety regulations. Things like reverse cameras and automatic braking are mandated for new cars.
I don't know any knifemakers but I'm pretty sure 9 out of 10 would tell you that a spray of saliva isn't good enough either.
If it’s a purchase using Credit Card, absolutely zero chance of going to collections. That’s not how it works. There’s no legal footing for collections and they are not in the habit of creating legal headaches for themselves.

If however it’s a credit purchase (personal loan, crediário, etc) then it might go to collections, then this advice works.

Online purchases though are 80% credit card and 15% Pix/Boleto so it’s unlikely they got a loan just to buy stuff. If they can get a loan, they’ll get the cash itself and run.

Edit: on a Credit Card transaction the burden of evidence is on the merchant. THEY have to prove it was you.
As a member of the Rust Evangelism Strike Force, please point me to these people so we can have a, ahem, civil conversation.

/garfield
I think one of the exceptions is heavily optimized code, though the surrounding code can still be maintainable and clear, with the weird stuff to tickle the compiler or inline assembly being heavily commented.
https://archive.is/VsqkF
There is soooo much pent up demand. We need to build like crazy, probably for years.
People love to shit on Texas (often rightfully, IMO) for their nutty laws, but I think TX got it right here. TX has no state income tax but very high property taxes (e.g. 2.5% in some jurisdictions).
A nearby shopping center used to be called Qanat until it got bought out and renamed to the very generic (Corporation) Square a few years ago. Everyone still just calls it Qanat because it's such a cool word, with an interesting history!
If your scale is large enough and you don’t care about identifying individuals, synthetic data does this fairly effectively.
More like 6 USD, or am I missing something
Interesting, what is your OS / browser? I cannot reproduce it myself...

To answer your second question, I believe DSG has a better UI / UX than the competition and is simpler to use and extend.
Ah...good point.

Comparing my 2014 bmw i3 (pure electric) and a 2024 bmw i4, which cost maybe 30% more: to your point, for a far more performant design and 4x the battery range one might expect far higher cost.
That doesn't solve the problem. I mean, a manufacturer that doesn't want to grant you access to repair your car can use analog computers, analog transmission/reception protocols and most importantly, deny selling you proprietary parts, tools and documentation. That is, unless you were expecting them to make new cars reusing designs from the '70s.

No, what I need is a manufacturer that is willing to sell at reasonable price the parts, diagnostic/repair tools and documentation to any car owner or repair shop without any delays or restrictions.

Even better, I would like a car that doesn't save and/or transmit to the manufacturer any information about my car usage and location. Or a manufacturer that supports my right to modify the car any way that I wish. But those two are completely different topics. Related, but not the same as right-to-repair.

There's a startup that is making a pledge to support your right to repair, but they are not manufacturing their cars yet. And honestly, their cars aren't for everybody:
https://aptera.us/right-to-repair-commitment-feat-rich-rebui...
I went through the list and want to say that I've never heard a third of these names in the selected language.

Not sure what data source it uses, but I suggest double checking before deciding a baby name.
Threads is not available in the EU because it would likely surpass the 45M users and hence be subjected to all the various rules under the new DSA and it’s my understanding that the threads team is currently small and meta probably doesn’t want to allocate a ton of resources to it yet.
Replay takes data privacy seriously. Recordings can be shared, but you control who has access to them, and we need to know who owns each recording. Our user accounts are currently based on Google auth, so you have to log in before recording so we can track ownership.
Right. See that doesn't help, at least not in the context of Go without any other modifications. Logically, you can reduce that Result state to a simple boolean (Ok = true, Err = false). But the bool type in Go is prone to the very same problem.

It doesn't matter how many type layers you add. The problem is that there is nothing in the language that enforces handling of values, no matter what type that value might be.
And if we didn't have outdated fire codes that prevent us from building nice apartments that could be a home for a family: https://www.niskanencenter.org/how-to-build-more-family-size...

The things we do to make housing expensive goes on and on...!
Songs get stuck in your head because you can’t remember the ending, e.g.

I’m a Barbie Gi-

To get a song out of your head, design an ending that resolves.

The rest is left as an exercise to the reader.
"Convoluted esoteric language which requires all manner of special measures to even read!", ...said the computer programmers.
> You shouldn't be building out this stuff yourself, unless you are a massive business that can afford to, or it's the core of your business.

I think there is space for both reasoning. What led me to start creating my own framework on top of Lit because what's is available with the tech I know the most (React) has become utterly garbage recently. I don't like the direction it is going and I would recommend most companies to reevaluate their usage of React and then all the CRUD and things around it. Reinventing the wheel is what prevents monopoly in software development.
This is why I ride a bike. Complete freedom. No electronics, can go wherever I want without having to display a government tracking ID.

Couldn't imagine being stuck in an overpriced spyware cage.
Von Neumann came to the US long before Hungary became Communist.
How is it colonialism? The UK defeated the Ottoman Empire at war and the land was their war booty. Then the land that was historically the home of the jews was returned to Jewish exiles.

There has never been a state known as Palestine, and if there was it would be them who colonized the Jews.
Yes but until we have this "more better thing" please continue to expose your libraries to the c FFI. Also, please make sure it's actually better before telling everyone to use it.

Thanks.
yeah, the number of times I've cleaned up some code because it was "just wrong" and as part of making sure it had test coverage for visible impact, identified a "oh, this has been flaky at a customer site for years, but noone had a good angle on it"...

That's also pretty much the only hope of getting product buy-in on this kind of thing, showing that "no really, there was this particular customer impact". Or "by doing this upgrade in a timely manner, we're not screwed by no longer being able to buy old hardware because new kernels/libraries support the modern replacements"...
"Quality code", in my experience, often means "code that looks like how I would have done it". In other words, it's usually pointless nitpicking and you're better off not engaging in it. Of course, there's some convergence on this topic because certain programming influencers successfully pushed their opinions onto many people who choose not to have opinions of their own which is something that happens in every field because many people find actual independent thought hard or scary.

There are some things that genuinely matter such as minimizing repetition, using variable names that are clear/easily searchable with "find" (meaning without tons of false positives) and not writing undebuggable code if you can avoid it[0]. I also think performance matters even if it seems fast enough on your machine. In my view, you shouldn't use Integer instead of int in Java unless you absolutely have to because Integer wastes resources creating an object containing an int and dramatically increases cache misses[1]. But in general, it isn't worth worrying about unless you can actually come up with a coherent explanation of why your preferred way of writing code will make the software perform better or be easier to maintain. Of course, the only absolute rule in code is that there's always an exception to every rule.

[0]: I'm generally in the "C/C++ macros considered harmful" camp especially when they resemble functions and feel similarly about anything else that makes the code execution path less than straightforward to follow.

[1]: I have a strong suspicion that OOP itself is an anti-pattern and that the entire paradigm is a wrong turn that needs to be abandoned. It's weird because I had a favorable opinion of OOP before I learned what it is in college but it tripped my brain's BS alarm. But I've never worked in a large enterprise environment so I haven't actually seen it in practice enough to fairly evaluate it.
They already own this market – wearable computers – with the Apple Watch.
RISC-V Ox64 BL808 SBC: Starting Apache NuttX Real-Time Operating System
the maintainers' response and unwillingness to investigate or ask for more information is really disappointing. perhaps it's because they're hit by false positive fatigue? but, still... an odd conversation there.
> The real culprit is the backward immigration system designed to pacify voters.

Shouldn’t the immigration system—and every system—be designed to pacify voters?
>> when security breaches happen

Again, that must be defined as context and priority.

Priorities:

* deliver as fast as possible

* security matters

These two priorities are somewhat in conflict but it's still important to state them, then developers know where to focus.
Yes, we also have the name "Simen". It's also not uncommon for people to have multiple names, like "Odd Simen"
It's more subtle that that. There is a great saying "Always code as if the person who ends up maintaining your code will be a violent psychopath who knows where you live".

I've seen countless bright minds wonder in the pursuit of instant pleasure by adding unnecessary complexity. I have seen others outright sacrificing projects that support people's life to achieve an instant goal of learning a particular library or acquire a useful skill or worse make a point against an imaginary adversary.

Due to the incompetent management, these suckers are never punished. They usually jump board and venture into greener pastures before their playgrounds turns into bloody combat fields where much less sophisticated but more honest former colleagues die or deliver.
I'm pretty sure I don't have an alter ego who lives in the UK ;) The shipping address and accounts opened by this person are very obviously not mine.

I live in NY.
I once saw a 5000 line file of shit-tier code making a business something like a million bucks cash per day.

It was a single huge function, called from cron every 5 minutes. No locking to prevent concurrent runs if it took longer than five minutes to execute. No exception handling. One giant nearly incomprehensible everything-function. Global variables. Bugs everywhere.

Easily hundreds of thousands of dollars of net profit per hour (some hours).

Since then I never worry much about code quality in my prototypes. Build one to throw away.
Fully agreed. Personally, I have given up on all hierarchies and taxonomies, just let me have full text search (and maybe a basic tagging system).
I was quite young when I heard this so didn't think to ask. I guess if you live long enough in a different country and don't think about returning, these things might not be at the top of your head. The initial name was after a great-grandparent.
Or better, land value tax. Improving the property is great and we should incentivize that! Benefiting from everyone around you improving their property while you do nothing, not so much!
I might be interested in moving to Arizona for this. Would you be willing to share any details that could make your friend findable?

My search is probably naive, but $22-33/hr is the kind of ads I've found so far: https://duckduckgo.com/?q=arizona+backflow+valves+careers&t=...
> It makes sense in opposition to "unhealthy": poisoned food, damaging habits etc.

Generally you wouldn't call poisoned food "unhealthy", you'd call it "toxic" or "poisonous". "Damaging habits" is purely subjective, which is why "healthy" and "unhealthy" are legitimately useless terms. Eating an entire stick of butter can be deemed "healthy" in the right circumstances.

> Your point is not clear.

Not liking my point doesn't mean it's unclear, friend.
Underunderstood was what I filled that gap with
> *There is always a tradeoff between privacy and utility. The only way to achieve 100% private data is 100% noise, but the privacy-utility tradeoff curve isn't linear, and you can still achieve very good utility and very good privacy in many cases, especially with the best tools. Methods are also improving over time, reducing the impact of the tradeoff.

This is the crux of the problem. In every situation where I've seen it deployed, "anonymization" is as far up the utility curve as the corporate interest can get while still credibly calling their data anonymized. The standards and rules that are in place for restricting what types of data can be called "anonymized" to the public are so far up the utility curve that there's functionally no privacy at all.

I don't know what your startup does or what steps it takes to make that tradeoff responsibly, but assuming that you are responsible, you are one of the few, and most of the customers in the world would rather use a client that is using the word "anonymous" more irresponsibly because:

1. they can get away with it

2. there's a lot more business value in obfuscating data as little as possible

The EFF article is bang-on here, because the majority of the "anonymization" in the space isn't being done by responsible folks (like yourself, presumably), it's being done by psychopathic business interests.
Companies which build houses also buy the current houses so it won't happen.
https://docs.github.com/en/enterprise-server@3.9/admin/monit...
There must have been, else I wouldn't be in this situation.
My entirely groundless, unscientific, and unfalsifiable hypothesis is that we are in a simulation and that the other fundamental forces are simulated, but gravity is the part of underlying reality leaking through.
> will enable for next generation browser games and real-time 3D web applications

Not excited, and very few of those will materialise. Next gen games require next gen graphics. You can check for yourself how much those graphics weigh.
First page, translate Latin. What was the goal of this, were they studying Latin texts much? Would a maths student have known this?

I wonder how much of this ties into the concept of "classical education" we don't use anymore.
Is anyone skilled enough with FRED to link to cost of home / annual income since like 1950 to understand what's going on here

Also can you explain how the definition of household income has changed? Was it ever more multigenerational than now (I know it's moved from man to man+woman, but I'm wondering if the idyllic households of the 1950s is actually an unrepresentative sample).

Intuitively the average age of first child was close to 20 in the 1950s which meant you'd have say, 25/45 generational pairs as opposed to today when it's much closer to beginning/end career pairings and certainly in many cultures generational cohabitation is much more the norm than the exception.

Essentially I want to understand the trend of affordability with the context of the conflating social factors
The Modern State of Google
> You can pretty much get to a point where you build things reasonably well by default without even thinking too hard about it.

That's mastery. There are probably about as many master programmers as there were master... let's say blacksmiths. The problem is there are 10, 20, maybe 50 times as many programmers as we ever had journeymen blacksmiths. And they all seem to think that tenure equals mastery. If we had 10, 20, 50 times as many masters, we'd have enough people to keep an eye on things. But we don't.
Great find! Teller was especially eloquent.
Using a paid search engine is cheating, it's like using photoshop instead of gimp ;p

In Google the results for that quote are rather useless.
I don't think that China is the only one stealing tech from the US. Just like the borders crisis is making apparent that some spies/terrorists/undesirables are getting through. In due time and with enough research it will be public that spies/thieves/undesirables get through via legal channels. With the amount of access that these highly educated so called quintessential tech workers which surely cannot be found at America's top notch universities have, surely there are a few bad apples. Just gotta run the comb through.

There are only a few tech niches where these companies truly cannot find talent, most projects could surely be accomplished by local graduates. That narrative doesn't pad the pockets of the CEO's though.
> It would take many, many thousands of homes.

Yes. It would. And we need to build them.
Eh, not really. Every single housing issue is because of real estate speculation. Turning housing into an investment vehicle vs. a depreciating asset that people live in is where all the problems arise from, including Proposition 13.
We didn’t need an internet air gap before the internet.
Color me a cynic, but this feels like "we're so tired of supporting this web platform, so we're happy we can extract parts of it, pretend that it's still the Web and do other stuff with the parts weve managed to rip out."
I think the more accurate thing was first hand experience with authoritarianism and totalitarianism. Stalin and Hitler were two sides of the same coin.