MurphyA/hacker-news huggingface dataset:
by Fraterkes | 2026-01-03 18:51:47+00:00
Dumb question about contracts: I was reading the docs (https://c3-lang.org/language-common/contracts/) and this jumped out

"Contracts are optional pre- and post-condition checks that the compiler may use for static analysis, runtime checks and optimization. Note that conforming C3 compilers are not obliged to use pre- and post-conditions at all.

However, violating either pre- or post-conditions is unspecified behaviour, and a compiler may optimize code as if they are always true – even if a potential bug may cause them to be violated.

In safe mode, pre- and post-conditions are checked using runtime asserts."

So I'm probably missing something, but it reads to me like you're adding checks to your code, except there's no guarantee that they will run and whether it's at compile or runtime. And sometimes instead of catching a mistake, these checks will instead silently introduce undefined behaviour into your program. Isn't that kinda bad? How are you supposed to use this stuff reliably?

(otherwise C3 seems really cool!)
by rixed | 2026-01-03 18:51:53+00:00
"Be the change yo want to see", I guess. So, my pet peeve theory is that "the rule of law" is not something the ruling class needs to cover their track; it's something the ruled class needs to cover their shame. Shame of being ruled, but also terror of being ultimately subjected to arbitrary power.

For instance, I believe that in the feodal past lay people used to genuinely believe that kings got their authority from God; not because kings were good observants of the precepts of religion (they were not), but because that protects the self-esteem and helps hide the facts that their life was dependant of the whimsical violence of the princes.

I find it surprisingly hard to try to convince myself that there is no such thing as "rule of law", that for instance the overthrown of a non-aligned regime could be just about the oil and competition with China, although I know that's how future historians will deal with that non-story; There is some surprising amount of resistance from within to this idea. It's interresting to do the experiment.
by wizzerking | 2026-01-03 18:52:02+00:00
Location: Wilsonville, Oregon
Remote:Yes
Willing to relocate:Only if work is at least 50 % Image Processing, Medical Imaging and/or Deep Learning NO Gen AI
Technologies:DICOM, OpenCV, CUDA, C, C++, C# Python, NO Web APPS
Résumé/CV:www.linkedin.com/in/microimaging
Email:steven5CLU884@gmail.com

Expert software engineer with experience programming multi-threaded Windows XP/XPe/Windows 7,8,10,11 and Linux applications. I have used WPF/WCF/C#/C++/CLI .Net 3.x, 4.x,5.x, Win32 API, MFC, ADO, CUDA, OpenGL, DirectX, wxWindows and Linux. I am familiar with most of the Microsoft Foundation Classes associated with Visual C++ version 2008,2010,2017 , and STL and BOOST. Proficient or expert utilizing image processing algorithms, including kernel convolutions, the use of LUTs, JPEG 2000, OpenCV, 3D transformations, SIFT, SURF and other feature transforms. That coupled with my knowledge of real time video capture should make it very easy to quickly accomplish any task you wish of me. I have written and maintained several user level applications to provide complex information in an understandable and efficient fashion, along with necessary documentation on the operation, and limitations of the application. I am very conversant with several different database engines including Firebird/Interbase, and sqLite. I have utilized multi-processes Python for the last 12 years for scripting, OpenCV work, as well as creating cross platform GUI’s. Ever since Tensorflow nd pyTorch were open sourced, I have implemented from articles facial recognition, style transfer, inpainting, and denoising using convolutional neural networks
I have 2 years of experience with QT 4 & 5

Patents currently accepted

7,854,510 Apparatus and method for imaging the eye

5,946,082 Interference removal
5,786,886 Interference removal
5,414,504 Interference removal
5,208,644 ; Interference Removal

5,138,149; Apparatus and Method for Monitoring Radiant
Energy Signal with Variable Signal Gain and Resolution Enhancement

5,190,614; Method of Endpoint Detection and Structure Thereof

4,609,440 Electrochemical Synthesis of CH4 from CO2

4,609,441 Electrochemical Reduction of aqueous Carbon dioxide to methanol.
by lysace | 2026-01-03 18:52:09+00:00
I've had a bit of a difficulty of understanding the actual benefits of proper secure boot vs zero protection.

I've arrived at this understanding: secure boot sometimes allows you to recover a compromised fleet without recalls. Instruct the customer to disconnect the device, reboot it and then somehow reflash it before getting infected again? Seems fraught with errors though.

When I worked with IoT companies in Taiwan their understanding tended to be along the lines of: "It makes the device secure."
by NitpickLawyer | 2026-01-03 18:52:11+00:00
Two differences that I see:

1. RAG (as commonly used) is more of a workflow, this thing is more "agentic"

2. The recursive nature of it

First, the way I see workflow vs. agentic: the difference is where the "agency" is. In a workflow, the coder decides (i.e. question -> embed -> retrieve -> (optional) llm_call("rerank these parts with the question {q} in mind") -> select chunks -> llm_call("given question {q} and context {c}, answer the question to the best of your knowledge") )

The "agentic" stuff has the agent decide what to search for, how many calls to make and so on, and it then decides when to answer (i.e. if you've seen claude code / codex work on a codebase, you've seen them read files, ripgrep a repo, etc).

The second thing, about recurrence has been tried before (babyagi was one of the first that I remember, circa '23) but the models weren't up to it. So there was a lot of glue around them to make them kinda sorta work. Now they do.
by mothballed | 2026-01-03 18:52:22+00:00
Why wouldn't apply to the people that keep or have kept slaves? It's probably harder to find anyone alive who has kept slaves or conspired with those who kept slaves, but I'm sure you could find some. Most of them are sex trafficking victims nowadays.

(to be clear here, living person Maduro was in an active conspiracy with the [at the time] living person Chavez who seized those assets* and Maduro knowingly and intentionally used the stolen assets of currently living shareholders of Exxon and and Gulf oil, this isn't even remotely analogous to some nebulous group of white people paying people who look like they might have been slaves but have never been slaves for the sins of other dead people who happened to be the same skin color who kept slaves)

If you mean just grabbing some random person who looks like a former slaveholder and then going after them for reparations to someone who happens to look like they might have been a slave if born in another time, then no that doesn't make sense. In fact most white people that are here probably can trace their lineage to the post civil war pre-WWII mass immigration, they don't even have a family lineage or personal inheritance lineage to slave holders.

* Yes it happened before Maduro was in the Chavez regime, but he wittingly and knowingly later entered the conspiracy and used the stolen assets of living people as an ongoing continuation of the theft.
by greedo | 2026-01-03 18:52:27+00:00
The Soviets had a lot of Western assistance with industrializing. Ford in particular played a huge role in the Gorky factories.

The Wehrmacht lost because numbers kind of matter in war. When you look at the natural resources Russia had, the population disparity between Russia and Germany, and the size of territory the Germans attempted to conquer, it really wasn't a close contest at all.
by alex1138 | 2026-01-03 18:53:16+00:00
And while we're on the subject of Musk and Twitter it feels like architectually he did destroy it but I'd also like to point out that he told one of the authors of https://en.wikipedia.org/wiki/Great_Barrington_Declaration that he'd been put on a trends blacklist - old Twitter was banning real doctors for real information, and that's just covid, never mind outside of that

That has to count for something. I share the concern about Elon. He's not pleasant. And yet even by accident he exposed a lot of what was going on? But if you stick to the mainstream views of everything or the Times or whatever then you won't be at all sympathetic. You'll just say "Ah yes, good. They removed things. That is proper, because those things were misinformation"
by Traubenfuchs | 2026-01-03 18:53:22+00:00
I do not use twitter/x, I do not use bluesky and I feel like I am dodging a lot of non anonymous people with uwarranted self importance.

I guarantee you that you will be happier if you avoid nom anonymous people with unwarranted self importance im general and online discussion connected to emotional topics specifically.

Anything technically interesting will appear on hacker news and other worldy news I can get by a quick daily check of my favorite news pages.
by packet_mover | 2026-01-03 18:53:45+00:00
Nice - thanks for the pointer. Headway is definitely a related "self-hosted maps stack" project.

One place Corviont is trying to differentiate is the update story for edge/fleet deployments: the goal is a signed, resumable regional dataset updater (verify manifest -> atomic swap -> reload/rollback) so boxes in the field can stay fresh without manual rebuilds or "re-download the world" updates. Headway (at least from a quick skim) looks more like "bring your own data / regenerate when needed," which is totally fine for servers, but fleets usually need something more automated.

If you've seen Headway (or similar) handle incremental/regional updates well, I'd love to learn from it - updater design is the big missing piece I'm validating demand for.
by cakealert | 2026-01-03 18:53:47+00:00
Norm-drift. The same thing happened to the Roman Republic. Norms drifted from a dynamic regime which contributed to the stability of the republic.

What remains to be seen is if Trump or his successor will be able to do what Augustus did, maintain the fiction of the republic long after it died. That would at least create a smooth transition to an empire.

It's somewhat surprising that the republic died so suddenly with no civil war in sight, being in the information age may have had something to do with it.
by wat10000 | 2026-01-03 18:53:58+00:00
You’re in the grocery aisle choosing between, for whatever reason, almond milk and Coca Cola. Which one is healthier? I say, the almond milk contains cyanide so obviously the Coke is healthier. You’d have to be crazy to even ask how healthy Coke is after I told you that almond milk contains cyanide, right?
by tim333 | 2026-01-03 18:54:29+00:00
>ZERO concern of the current US administration about the welfare of Venezuelans

I get the impression they are concerned at least a bit with the welfare of Venezuelans. Maybe a secondary consideration to drugs and oil but here's what Trump was saying:

>We're going to run the country until
such time as we can do a safe, proper, and judicious

transition. So, we don't want to be involved with having somebody else get

in. And we have the same situation that we had for the last long period of years. So we are going to run the

country until such time as we can do a safe, proper and judicious

transition. And it has to be judicious because that's what we're all about. We

want peace, liberty, and justice for the great people of Venezuela. (https://youtu.be/cQdRlS4uf0E?t=3784)
by 5ver | 2026-01-03 18:54:37+00:00
From Wikipedia:

A referendum to dissolve parliament and give the prime minister power to make law was submitted to voters, and it passed with 99 per cent approval, 2,043,300 votes to 1300 votes against.[83] According to historian Mark Gasiorowski, "There were separate polling stations for yes and no votes, producing sharp criticism of Mosaddeq" and that the "controversial referendum...gave the CIA's precoup propaganda campaign to show up Mosaddeq as an anti-democratic dictator an easy target".[84]

A person has to be very gullible to believe 99% of the vote went one way in a fair election involving 2+ million people.
by readthenotes1 | 2026-01-03 18:55:04+00:00
My cardiologist recently told me the disease is mostly from Lipo(a) and small dense Ldl, that it took decades from being able to measure LDL and note the correlation to disease to be able to measure there more specific factors, and even more time to nail down the observations.

Lipo(a) is genetic, apparently either you have it or not.

Small dense ldl is caused apparently (not a biologist) from high triglycerides, one cause of which is high sugar diet.
by moron4hire | 2026-01-03 18:55:11+00:00
The stuff Nate Silver is concerned about has nothing to do with being an active, good-faith, contributing member of a social network and everything to do with being a writer trying to sell his writing and expecting to sit in a privileged position of respect above the hoi paloi simply because he founded a glorified popular blog. He's salty about Bluesky because he couldn't figure out how to engagement farm there like he did on Twitter, so when people got upset at his click bait tactics he table-flipped and called the whole endeavor doomed.

As I often try to tell my mother, if there are a lot of people who have a problem with you, maybe you should seek out the common denominator.
by nicoburns | 2026-01-03 18:55:36+00:00
> This still is possible for me, surely it is possible for kids.

I think there's a real generational divide here. What is normal in my parents generation (I'm in my early 30s) is not normal in roughly my generation downwards (which coincides both with mobile phone ownership amongst children/teens becoming common, and children/teens becoming much more restricted in how much freedom they had in terms of being allowed outside by themselves).

Even amongst people my age, people would consider weird and probably even rude if I turned up unannounced (a "What are you up to?" text message would probably be the norm). And I think that's more exaggerated amongst younger generations. Perhaps that's different if you live very close to your friends. But a lot of people don't.
by int32_64 | 2026-01-03 18:55:45+00:00
In the mid/late 2000s when the big social media sites were rising people posted harmless inane status updates about nothing, just testing out the potential of the technology. This eventually evolved into tried and true methods of earning engagement from the platform in the most cynical and exploitative ways possible, leading to things like the entire Buzzfeed clickbait journalism transformation.

You can't recreate how social media used to be because people know how to exploit it now, there's no going back. You couldn't recreate Google at the turn of the millennium with the PageRank algorithm because of how SEO was gamed, so it's obvious why these twitter clones keep stumbling reimplementing the same tech.
by everdrive | 2026-01-03 18:56:26+00:00
>The social media site that many sought as an alternative to X fosters groupthink and pointless activism.

I'm not sure what else someone would expect from modern social media. People keep thinking that the problem with the internet is that people are falling into the "wrong" crowd, or getting the "wrong" ideas. This is very old fashioned thinking and relies on real-world intuition. (imagine a good kid who fell into a bad group of friends and fell to a life of crime. This is effectively what a lot of people seem to think happens with online extremism.) The problem with extremism online is the methods of communication themselves.

Modern social media works by grouping and virally spreading ideas. This is similar in some ways to how communication has historically worked, except the pace and the reach does weird things to people. I'd argue that when you can share and like and there's an algorithmic feed, you're _always_ going to see moves towards extremism, group think, virality, outrage, etc. It's inherent to how these technologies work. In real-world communities, these effects are at play, but they are tempered by other factors. For example, just try going on a political rant against the person at who's home you're eating dinner. You wouldn't do it, you wouldn't want to be rude, to be a bad guest. But blurting out something outrageous or extreme online carries no such feedback. Combine that with a format that puts a LOT of people in contact with each other and then surfaces anything that is "engaging" and you're going to get the same sort of thing you have on Twitter / X.

The saddest part of the Twitter exodus post-Musk is that a lot of people seem to think that Twitter was a great place until Musk ruined it. It had a lot of the same sort of problems and evils, but perhaps for different targets and topics.
by buddylw | 2026-01-03 18:56:37+00:00
Bluesky is far from perfect, but I think you need a realistic comparison to other social media networks. Twitter is far more toxic if you are unable to curate your feed. Mastodon has a nice community, especially for tech, but lacks breadth.

There is a core group at Bluesky of people that left Twitter and they have an obvious slant, but I really don’t see this issue making the network worse than any other and only requires you to curate your feed like you have to do on every network.
by zephen | 2026-01-03 18:56:50+00:00
As I get older, I realize that everybody's sweet spot is a little different.

Lisp and APL both have their adherents.

I personally find a bit more syntax than lisp to be nice. Occasionally I long for the homoiconicity of lisp; otoh, many of the arguments for it fall flat with me. For example, DSLs -- yeah, no, it's hard enough to get semi-technical people to use DSLs to start with, never mind lisp-like ones.
by ferdous | 2026-01-03 18:57:12+00:00
We’re kicking off Bangladesh DevCast with an exciting Episode 1, featuring none other than Hasin Hayder a pioneer in Bangladesh’s tech community and an inspiration to countless developers.

In this episode, we dive into tech, startups, engineering insights, and real-world lessons you don’t want to miss.

Tune in, get inspired, and join the conversation!

#BangladeshDevCast #Episode1 #HasinHayder #TechTalk #BangladeshTech
by whatwhaaaaat | 2026-01-03 18:57:37+00:00
Uh what? I’m all about American hegemony but let’s not stupid.

Mossadegh
Arbenz
Allende
Goulart
Lumunba
And Maduro was elected as well though you can go on with it being corrupt if you want.

These are just the ones we directly overthrew who were elected. There are 20 more or so we’ve done so indirectly.
by clanky | 2026-01-03 18:57:48+00:00
"surprised Pikachu face" lmao, just absurdly arrogantly wrong. Molotov-Ribbentrop was Stalin's last resort and (successful) bid for time and breathing room after trying and failing numerous diplomatic efforts to unite the Allies against Hitler. Many of those Allies were explicit, at the time, about their desire to use Nazi Germany to inflict a mortal blow on the godless communists in Moscow.
by bloppe | 2026-01-03 18:58:07+00:00
I don't think you're wrong, but it's one of those facts that's basically a self-fulfilling prophecy, like "the bank is failing" (which, if people think is true, quickly becomes true) or "money has value".

The US is a superpower of course, but world wars are multilateral, and US alliances are not what they were just a year ago.
by cbeach | 2026-01-03 18:58:09+00:00
Maduro was a monstrous dictator who was guaranteed to kill more people than this US strike did. And there is an opposition party which has been suppressed by Maduro, but is otherwise ready to go. There is much hope to be had for this beautiful country and its people now.

Hopefully this act will also have a chilling effect on other vile left wing dictators like those in North Korea and Cuba
by magicalhippo | 2026-01-03 18:58:39+00:00
We're a small B2B company, been 5 devs for a long time, recently expanded to 10.

This mirrors our experience with our big customers. Minor changes requires countless meetings with a dozen people and nobody takes charge, everything has to be repeated at least three times because people rotate while this circus goes on and so on.

In the end we finally get the people who know what's up involved and it results in a brief meeting and like an hour of writing code and testing.

One of our strengths is that we've all been here so long. We know these large customers way better than they do, because we still have the dev and the project manager that worked on the last thing, even if that was 6-7 years ago. We've literally had a large Fortune 500 customer call us and as how their systems worked, systems we don't even integrate directly with. And we could inform them, since we had retained that knowledge from a project some years ago.

So yeah, the code is usually never the problem.
by riazrizvi | 2026-01-03 18:59:07+00:00
It’s giving you an expression capability so that you can state your intent, in a standardized way, that other tooling can build off. But it’s recognizing that the degree of enforcement depends on applied context. A big company team might want to enforce them rigidly, but a widely used tool like Visual Studio would not want to prevent code from running, so that folks who are introducing themselves to the paradigm can start to see how it would work, through warnings, while still being able to run code.
by bblcla | 2026-01-03 19:00:24+00:00
Stardrift (https://stardrift.ai) | Founding Engineer | Onsite - SF | Full time

Hi HN - I'm the founder of Stardrift, and we're looking for a founding engineer to join our team of 3.

We are building a world-class travel agent experience. In the future, you won’t book travel by opening ten tabs in Google Flights; you’ll book through a personalized AI assistant that understands everything about you and automatically arranges your trip for you.

You'll tackle everything from optimizing LLM performance and building evals to integrating with APIs for rail and flight networks around the world. We care about moving fast and writing high-quality code; your job will be to take customer feedback and improve our product, working with me & the rest of the founding team.

Here's a tech blog we wrote about some of the systems engineering we do: https://stardrift.ai/blog/streaming-resumptions.

You can find more info at https://www.ycombinator.com/companies/stardrift/jobs/nC7cjhB.... Email leila@stardrift.ai to apply.
by eterps | 2026-01-03 19:00:51+00:00
While I like the concept, the side-effect pattern might be difficult for the average developer to understand in a shared codebase:

https://github.com/superlucky84/fp-pack?tab=readme-ov-file#s...

Still, this approach is very useful for most business logic, too bad most programming languages can't have a nice syntax for this.
by r721 | 2026-01-03 19:00:53+00:00
^ Disputed by NYT:

>While reports circulated that Ms. Rodríguez was in Russia at the time of the attacks, Ms. Rodríguez is in Caracas, according to three people close to her. Russian state media also denied reports that she was in Moscow.

https://www.nytimes.com/2026/01/03/world/americas/maduro-ven...
by subdavis | 2026-01-03 19:01:01+00:00
I don't understand why people expected Bluesky to be different.

Even if it's possible for individuals to curate a positive experience for themselves, at a population level, it's still a corrosive, addictive, reductive medium. The incentives are the same. You can't outrun McLuhan.

Bluesky, Mastodon, Truth Social, Threads, etc. only work as long as users feel like they're surrounded by safe ideas and allies. None of it scales. Microblogging only works in echo-chamber mode.
by xtiansimon | 2026-01-03 19:01:28+00:00
> puzzle.io

Well, sure. Accounting solution. But in a post about scripting your way to financial fun and games (and I think there are a fair share of people here who are locked into their accounting platforms/apps for various reasons), what solution does the API call to the bank (unavailable to the small player) and then gives you an API endpoint to get cleaned data into whichever accounting solution you happen to be using? Puzzle.io ain't going to do it at any price.