skysight-inc/HackerNews huggingface dataset:
I made a similar transition (1 year Haskell, 2 year OCaml) and this pretty matches up my experience. Some more points:

1. Compiler speed: a clear win for OCaml

2. OCaml 's module system is more explicit (always qualified Map.find). Haskell's type class system is more ergonomic (the instance is found through its type, so no explicit annotation needed, e.g. fmap fmap fmap, where the second must be the Reader's fmap).

3. > If I come to an existing OCaml project, the worst thing previous developers could do to it is have poor variable names, minimal documentation, and 200+ LOC functions. That’s fine, nothing extraordinary, I can handle that.

Though it's not common, but functor-heavy codebase does give you a headache. On the other hand, unifying type class instances across packages is no fun either.

4. OCaml's mixture of side effects and pure code tends to encourage using that in libraries and codebase. So expect more speed and more crashes.
I wrote a tutorial about do notation. Maybe it helps
https://elbear.com/a-user-guide-for-haskell-monads
If RealPage is used by 1/5 and sets a price at $1,000 then there's a new higher anchor price that the other 4/5 not using it will look at and think "I could make it this high", the first few apartments at $1,000 will have a disadvantage but by creating a higher anchoring point the prices will gravitate towards that. The more people setting it at $1,000 because they see a few listings at that price will move the price point towards it.

The impact will exist nonetheless, the only thing that a higher proportion using RealPage will do is to move the price point faster towards that price.

New construction can tame prices but apart from huge financial crises I've never seen housing prices be steady or fall, those moments are fleeting. Unless construction outpaces demand for a long while the prices won't budge, developers want to sell it for as high as possible, they won't build if prices are constantly falling.

We are stuck.
Wouldn't the states be the software. Or more precisely the enumeration of the states.
The problem here is that I don’t trust the author on being able to tell who is the “best artist”. Clearly he has opinions. But for example in point 3, he says he can predict which exhibition will be great based on how easy it is to work with the artist. He predicts that some exhibition will be crap and he is right! Which sounds impressive until you notice that he is not measuring his judgement against something objective, but just against his judgement. He decides something will be crap and then he feels crap about it once he sees it. Did others, who did not know that the artist was slow to email back also feel that those exhibitions were mediocre and the others not? Who knows? All we have is this one man’s opinion. Maybe others thought differently.

Even more so in his point 6. He writes “What you see in the biographies of great artists, great writers, great anything is that they are good at figuring out where the vectors align.” Which is just plainly and absolutely not true. There were plenty of people who we now recognise as “great artist” who absolutely could not figure out where the “incentive vectors align”. Thus they lived in abject poverty, or needed to support themselves from something other than their art. But if your definition of “great art” is that it is commercially succesfull then of course what you will find that the “great artist” are all like good businesman. But that doesn’t tell you about what it take to be an artist, just only what you value.
Since this is a contract position, do you consider part-timers by any chance? I'd really like to do what you do and I think I could make a solid case on why I'm the man for this job, but I'm booked for 2 days a week for the next few months. Should I try applying anyway?
I wonder if this could be implemented in the original OSSC.
I can't get immersed in games as much as I used to. I occasionally buy something on sale on Steam, play for 30 minutes and never touch it again.
Interesting, but not practical. All real furniture movers would make use of the third dimension.

The difficulty of extending the definition to 3 dimensions is that the restriction to 2 separates two classes of constraint: being able to move the sofa round the corner, and the shape of the sofa being comfortable to sit on.
I suspect that would need to be highly specific to the individual, their personality, past experiences and current situation.
Advent of Code player threatened with $150k lawsuit for sharing problems/inputs
CloudTrucks | San Francisco (Hybrid ONSITE) | Full-time

CloudTrucks is building the operating system for trucking and is the first platform specifically designed to empower truck drivers. Our all-in-one, “business in a box” solution optimizes and automates operations and accelerates cash-flow for drivers, so they can focus on building their business.

Our product development teams tackle a broad range of complex challenges across many domains: from logistics route optimizations, to fintech products, to AI/ML products for up-leveling our customers businesses.

Currently open roles:

- Senior Software Engineer, Full Stack
- Software Engineer - Platform and Infrastructure (Mid-Level or Higher)
- Software Engineer, Backend - Financial Products (Mid-Level or Higher)
- Senior Software Engineer, Front End

Apply at https://www.cloudtrucks.com/careers
I don't care, but I did say it might in my last sentence.
Nothing forces it to be messy. A well-tended haskell codebase is great. On the oposite, I would say that a poor haskell codebase is painful, but far from being as painful as a poor java/js codebase.

Anecdotally, in my years of haskell at separate places, I had to debug/repl maybe had to repl once or twice. I wish I could say that of mycurrent java gig.
Great news that it's so effective in women. Less great news is that availability to people who could use it the most is based on the whims of the drug maker.
Sure, but then the DELL will already be several times bigger anyway.
Idle question: If I am caught carrying one, what is my excuse ? What could it be besides a garrote ?
I'm trying to have fun continuing this with the reals, and I'm feeling dizzy.
How???

I mean, I personally don’t buy things much. And I don’t even block ads (a deliberate choice), so it isn’t like I’m preventing myself from being influenced by ads by limiting my exposure to them.

(I guess mostly it is just that I dislike having to think about whether a clearly-unnecessary purchase would be excessive, so I just strongly default to not getting things?

(Of course, it would be possible for me to be more frugal than I am, in that I buy fast food not that infrequently, when it would be cheaper to prepare food from ingredients from the grocery store, but I am too impatient for that.))

But like, how would they make me want stuff?
> you have a bunch of very smart young people absolutely dripping with theory knowledge and close to zero relevant real world experience

For sure! And that’s perhaps the #1 reason these teams are so valuable: it’s an environment to get hands dirty in. If something sticks, that’s great and goes on the resume. If something awful happens, just walk away with a cool story assuming you didn’t blow up a school building or anything like that. Either way the experience and hopefully learnings stick with these young people like me for a long time.
Not parent, but why/how is not always difficult; actual execution tends to be difficult. There is also a more cynical take, but I try not to engage that on HN.
Analysis of 332M Google Queries from 130K People Over 21 Months
So how does that work, can you elaborate?

What is the difference if you answer in 10 minutes, 6 hours or 24 hours? Are you competing on time of response so if you're fast you're getting the deal?
If you don't like arabica, what are you drinking? Robusta? How are you drinking it?
They still say that, by the way.
Very interesting. How do you square this with the times you need to concentrate?
> Ah yup. Mass moderation, aka silencing dissenting voices.

Bluesky moderation is primarily based around labeling and blocklists; that is, people _choosing_ to either be warned of content, or simply not see it. For instance, I use a moderation service which places a label on any posts from users which use AI imagery (because it’s a bad sign; most such users are some form of scam), and subscribe to a blocklist which outright blocks transphobes (because life is too short to listen to their one joke that they’ve been making for the past 25 years). This is all consensual. But, like, if you _want_ to see this stuff, just… don’t use the third-party moderation tools.
Right, it's twice the price but like 10x the capability (unless you need GPIO).

That's why I think the lower-end, lower-priced RPi4 made more sense. Fast enough to have decent network speed and run a lot of functional workloads, cheap enough that you could "spam" them.
software "engineers" love the cachet but hate the idea that they might also have to uphold the values and responsibilities of engineering.

I say we regulate the word engineer the same way it is in many countries for real engineering. if you don't want to progress beyond code monkey, you can be a software developer and innovate yet another react clone. if you want to be called an engineer, you learn and follow the regulations.
I've written Haskell code in production and I still find the syntax the most eloquent. And you don't have to know the indentation rules, you just pick them up from usage. Just like you don't have to know the grammar rules.
Yep, now answer me the part about functional, imperative or oop, and come up with a plan to convince everyone.
> = current Debian supported "out-of-the-box" with a custom D.E. and Wayland

Effectively the same thing for basic desktop use, disregarding wayland, as doing a basic bare bones debian x86-64 CLI only install (totaling something like 1.2GB disk space used) and then "sudo apt install xorg xfce4 xfce4-goodies libreoffice gimp thunderbird firefox-esr gthumb nautilus konqueror", or whatever other list of applications one wants to install along with xorg and the desktop environment.
Since this unconditionally run the queries returned by a LLM, any safeguards against LLM issuing DELETE commands.
> It's also a bummer that you need the containers package for basic DS. So, batteries not included

Batteries are included, because containers ships with every distribution of GHC, and you don't need to use stack or cabal to expose it:

% ghci
GHCi, version 9.4.8: https://www.haskell.org/ghc/ :? for help
ghci> import Data.Map
ghci> singleton 5 "Hello"
fromList [(5,"Hello")]

Please try the same at your end and if it doesn't work for you then you can let me know and I'll try to help you resolve the issue.
Back a decade+ ago when I was still using Microsoft in a corporate environment, I found F# and loved it because it changed how I thought about programming (in a very good way) with its being very concise, allowing me to naturally express algorithms, and giving the "functional core, imperative shell" functionality one can't get in the old-and-new-school VS.NET solution sets that comprise a tiered client-server WCF-based model (thanks in large part to the utterly brilliant Juval Lowy's IDesign approach).

Unfortunately, F# was very much a second-class citizen in the VS.NET space, so it was only useful for banging out tight C# classes in F# first, then translating them over to C#. (My fundamental db access classes were developed in F# then translated to C#; the crux were a parallel pair of isomorphic classes that did design-time swappable DB2 and SqlServer access.)

Beyond my refusal to use Microsoft for my OS anymore, it looks like F# has transitioned away from the original Don Syme authored minimal OCaml-based v2, into much more automagical v3+ stuff that I'm not interested in. They're a brilliant design team, but well beyond what I need or want for my needs.

At the end of the day, it's hard to keep things simple, yet effective, when the tool designers we depend on are always one-upping themselves. Somehow, it seems like a natural divergence as design tooling expands to meet the our expanding needs as devs. What's good is that our perspective gets levelled-up, even if the tools either out-evolve our needs/desires or just plain fail to meet them.
I’m talking about the brain in particular. A lot goes on and it consumes a ton of resources.
Just tossed it over to my GIS and metro-planning friends and they all reacted with "O-hoooo, what a good news" .

Kudos!
Do the states count as software in the absence of intelligent beings?
lots of people did die without the regulations!
Plugs? You mean various forms of rpc and more or less well specified data interchange formats like xml or json? We have them.
Blizzard seem to be burning a lot of bridges and goodwill they've built up over the years. It's incredible what GoG is trying to do, for a profit of course but all the same.

The idea of not being able to purchase older titles in a legitimate way only encourages piracy, yet if it will squeeze an extra few pennies out for shareholders, it seems like the right move.

The games industry really seems to be turning into the snake that eats itself. I'm just grateful for the indie scene still being a thing.
Also opam nowadays is finally working on Windows, which is kind of great, Haskell used to have an advantage there.
Let's mix in some tabs/spaces and vim/emacs too, and we've got a stew going!
That's an incredibly low CPM, especially since your visitors will almost solely be from Finland, right? It's not uncommon to earn ~$1k/month purely from ads on blogs with ~100k unique visitors/month. So your CPM seems >20 times less than that.

Do the better paying ad networks all reject you solely because of the language?
You can make this argument for all cooking. You could even substitute "light roast" for "dark roast" in the above and it would read exactly the same. Why not brew raw coffee berries?
PyMC-Marketing – Open-Source Marketing Analytics Solution
470'000 ft = 140 km altitude
There is also much nicer version of goodreads https://literal.club it started as answer to amazon acquiring goodreads. It has fewer users than good reads but i would say generaly more demanding readers (judging from what kind of books get reviews).
Also we are working on some performance improvements based on the benchmark comparison, as they highlighted some areas we can improve in tantivy.
If you look at the source, you'll see that it opens the DB in read-only mode.
+1. I'd love to hear an answer to this because I imagine combining Astra DB data with Redis cache data (both of which support vector) might be an interesting use case for some with a large data landscape.
Why hasn't it passed peer review yet? Maybe because they only used techniques prone to artefacts. IMO if a brain microbiome exists in healthy people it would have been seen already, with all the microscopy and sequencing done
>Nvidia has open source drivers.

Kernel Module Driver which is most likely less than 5% of drivers.
A Rasberry Pi 5 is no match for a tiny-mini-micro 1 litre PC at nearly the same idle power draw
If you read at least 3 paragraphs in, you'll see that this tool attempts to generate a query using an LLM. Dismissing a tool before attempting to understand it is astounding.
FT232H breakout board is a couple of bucks.
Or we could avoid weaponizing kids and let them explore space for the sake of exploration. Give them a no strings attached grant and let them decide later on what they want to use acquired experience for.
I mean… You can’t see why a journalists’ group might not want to be depending on something run by a foreign government official (the argument that he won’t be a ‘real’ government official, just cosplaying as one, is rather unsatisfactory; that’s just too common a setup in corrupt regimes) for its press releases? Really? Like, this seems obviously undesireable.
The group I most often play with has a school teacher in it. Guess who gets to read the rules to the rest.
Show HN: My user feedback manager is out of beta
The project
It all started when I heard a podcast about a developer struggling to figure out why his app wasn’t converting free users into paid ones. His solution? Offering extended free trials for every user who gave feedback.

I shared the idea with a friend who told me, "You should turn this into a business!" That’s when Feeedbackr was born: a tool to help solopreneurs turn feedback into actionable insights.

Why did I do this ?
While researching the market, I discovered that most competitors were offering $100+/month subscriptions packed with features that solopreneurs would rarely use. I wanted something simple, effective, and transparent: collect, analyze, and restitute user feedback. That’s why Feeedbackr uses a credit-based model—no subscriptions, no surprises. You pay only for what you use.

Problems
Messy AI-generated code
I started the project by experimenting with AI coding tools. Big mistake. The result was chaotic, and I realized I either needed to improve my prompting skills or go back to writing clean code myself. Lesson learned: don’t rely too heavily on AI for code.

MVP scope creep
When building a feedback tool, it’s tempting to add fancy features like an embedded widget right from the start. But I had to constantly remind myself to keep it MVP-focused. The goal is to ship something lean and functional, then iterate.

Security concerns
Users can choose between Feeedbackr’s hosted portal or their own custom setup via API. But how do I ensure feedback submitted through the API is legit? The solution: apiKey protection. It’s simple, secure, and keeps the system trustworthy.

Putting myself out there
I want this project to succeed, so for the first time in my solopreneur journey, I’m actively reaching out to users. From cold messages to building a waitlist, I’m stepping outside my comfort zone to make Feeedbackr work. It’s been scary, but worth it.
How do you know those are encumbered? Intel invented them, after all....
You can see it as a pipeline where the output of the right-most
function is plugged into the input of the function to its left.
Textured Gaussians
I'd like to see the numbers around the power usage added too, I see the Pis and audrinos personally as a low wattage device that I don't need to worry about the cost, I'm sure this overcloclocking isn't too much but would be nice to see to weight up viability
You're not kidding!

> If the SQL query fails to execute (due to a syntax error of some kind) it
> passes that error back to the model for corrections and retries up to three
> times before giving up.
It's amazing that we now have subscription medicine.
I see you posted some code. What does it do?
My kids are not impressed by celebrity culture whatsoever, though they do support artists they like. They spent half their lives living next to celebrities. Not a speck of interest. They are both very good at building and maintaining relationships. They’re in their twenties and have no social media presence.
I’m not sure that that makes it _better_, honestly.
that's the part I hate about ros and a whole lot of other libraries that shouldn't have been so tightly coupled - you should be able to run most of ros in one env and then for the performance critical or hardware facing stuff, run them each in their own env and have lightweight communication between them.

I think if something annoys me enough I'll end up using nanomsg or mqtt as a bridge, but it's a pain.
Yes you are right. Source ref for anyone interested - https://github.com/simonw/sqlite-utils-ask/blob/91277eeb26bd...
Instructions are intentional, ink isn't.
Such a pinnacle would be Agda.
Haskell has mathematical holes.
Jeff has a N100 vs. Raspberry video where he compares power consumption.

I think he used a GMKTec G3, and the numbers were not bad, but active cooling adds a constant whine to background. Some companies' fans are more whiny than others, too.

N100 is not a "cool" chip by any passive cooling standard, esp. under load. However, its standard (software limited) TDP is around 5W IIRC. You can increase that limit for more speed and added noise.
serious answer but without a dod contract and appropriate licensing, putting any kind of guidance system other than "keep it pointed straight up" on a rocket like this definitely makes it fall within a few things:

ITAR (international traffic in arms regulations)

EAR (export administration regulations)

CCL (commerce control list)

BIS (bureau of industry and security)

MTCR (missile technology control regime)

Just to start... Let's just say if you want to guide something like this you'd better be sure that the federal government absolutely knows who you are and what you're building, and for what purpose, and that everyone is a US citizen who is eligible to get a security clearance.

I guess I didn't even get into the other explosives/munitions related licensing and certifications and storage/preparation facility requirements for very large solid rocket motors (ATF)
Rust + nom makes it easier
My experience is the complete opposite. It’s a weak point like a supermarket that is still open at 11 pm. Do I need it? No, but I’ll take the service anyway since it’s free.
You can still passively cool it if you want to.
Even for someone who only really played Hearthstone for a while many years ago but tries to stay somewhat current with the industry, my perception of Blizzard has indeed massively changed somewhere after Overwatch. Most of their moves I was reading about since were rather baffling, which was very unlike how I perceived Blizzard before.
> When paired with a decent A2 card (e.g.: Kingston Canvas Go), the SD-card related lag disappears. Add a good external SSD, you have tons of solid state storage. At that point you can just forget it.

At that point you can just underclock an N100 NUC for the same price and almost the same TDP (it's pretty much even with the SSD). Most vendors configure the CPU well into diminishing returns for marketing reasons and even a small undervolt can make them passive (the same is true of many laptops).

I get the form factor issue but exposed RPis without the enclosure (more $$) are a burned out board waiting to happen. I use them in enclosed hardware that needs gpio like 3d printers but the N100 wins every other time.
For some context, this appears to refer to the Network Connectivity status indicator and it's probing mechanism for determining if you are "connected": https://learn.microsoft.com/en-us/windows-server/networking/...
side question: what do you use to make the diagrams?
Elixir is also working on a proper type system with compile time + runtime type checks.
> Microsoft, the destroyers of GUIs.

In the past I would have complained, but as someone that has foolished invested into UWP and WinRT siren song, I can't but fully agree.
Does this essentially bring AMD video enc/dec up to scratch with Intel's QuikSync?

Thats long been one of my reasons for having a home server run on Intel, and if that moat is now crossed then there is basically no reason for me to go Intel in the future.
With what payload?

>The comparatively lightweight rocket amounted to 330 pounds

That's a total weight less than any warhead available for ATACMS: https://en.wikipedia.org/wiki/ATACMS#Comparison

And then there are the engineering challenges of flying very specific trajectories capable of single digit meters of CEP at those ranges, surviving a ballistic reentry to ground rather than parachuting, and being robust enough to survive being bounced around in a sealed canister for years at a time with no maintenance and then successfully launching in anger at short notice.
If a structured language for querying databases already exists, why wouldn't one use that to query the database?

A tool that returns SQL from human language sounds great, but not one that runs the query unchecked. I speak four (human) languages, and sometimes I'll mistranslate something. Not to mention that this tool won't even bubble up the first two syntax errors that it generates - not very confidence inspiring.