MurphyA/hacker-news huggingface dataset:
by colordrops | 2025-05-19 01:29:40+00:00
I built a home server project that manages many of the rough edges around deployment of self-hosted apps. It includes DDNS, router+firewall, headscale, automatic setup of apps, and automatic deployment of subdomains and TLS certs for each app.

Apps are blocked to the public by default but accessible using a Tailscale client.

It's built on top of NixOS and completely configurable through a single module.

Still in heavy development but I've replaced an entire rack in my closet with an Intel NUC.

https://homefree.host
by Incipient | 2025-05-19 01:29:43+00:00
Licence plates are a great example where detection "algorithms" be overzealous in returning false positives over false negatives. As someone had above, if they reject SIXSPD and won't allow it, then just try something else. If your life is materially impacted by by a licence plate, it's 'long hard look' time.

(I was going to make a specificity/selectively comment but I don't think that applies here, please correct me otherwise?)
by pclmulqdq | 2025-05-19 01:31:24+00:00
The barrier has always been low. It's just lowering for certain kinds of assignments. I took a lot of blue book exams 10+ years ago, and heard all about how to write on the inside of the label of a water bottle. As far as I know, this is still the SOTA cheating method for tests like the SAT or other pen-and-paper exams.

What seems to have shifted is that the consequences are getting far less severe. Cheating on an exam used to be an expulsion-worthy offense. Now it's just "you get a zero" at most. In that environment, why not cheat? Why not be blatant about it?
by alihkw_ | 2025-05-19 01:31:51+00:00
You do not need 15M USD/year to buy our robots. With 15M USD you could get ~1666 Kbots, or ~15,015 Zbots.

For reference, for the current Kbot to be 10% of your annual income, you would need to make $90,000 a year. And we plan to drive the cost down much much lower for the hardware.
by quesera | 2025-05-19 01:33:01+00:00
That's puttering, tinkering, or experimenting. It's a good thing.

Bikeshedding is wasting time on trivial and pointless efforts or discussions. It's a bad thing. :)

https://phk.freebsd.dk/sagas/bikeshed/

https://en.wikipedia.org/wiki/Law_of_triviality
by CharlieDigital | 2025-05-19 01:34:18+00:00
I'm in my 40's, principal-ish eng.

I can say that for me, at some point, you just really want a team with good vibes and low BS.

I took a 20% pay cut 3 years back and moved from one startup to another because the vibes were better with an older founding team. It was fantastic and we built some amazing stuff at an incredible pace.

That startup recently folded and the original startup reached out and brought me back at 150% comp of the other startup. But day to day I don't enjoy it as much and the vibes just aren't the same with this crew.

My lesson: team vibes are severely underrated and sometimes even more money doesn't make it better.
by echelon | 2025-05-19 01:35:06+00:00
I love that you're doing this, Tananon.

We've been using Candle and Cudarc and having a fairly good time of it. We've built a real time drawing app on a custom LCM stack, and Rust makes it feel rock solid. Python is way too flimsy for something like this.

The more the Rust ML ecosystem grows, the better. It's a little bit fledgling right now, so every little bit counts.

If llama.cpp had instead been llama.rs, I feel like we would have had a runaway success.

We'll be checking this out! Kudos, and keep it up!
by rtpg | 2025-05-19 01:35:29+00:00
Sounds like formal verification is built into the language, which sounds nice for people who care!

Given this is spitting out C++ code, it could be that the ideal way of using this is to write your state machines with this, then use the output in a more traditional setup.

https://dezyne.org/dezyne/manual/dezyne/dezyne.html#Formal-V...
by djoldman | 2025-05-19 01:35:41+00:00
> In person testing is a solution for most issues, but not all. First off, class time is precious. I shouldn't have to waste incredibly valuable instruction time doing the actual test.

Have a final be worth 50% of a student's grade. Have very cheap by the hour proctors proctor the test. Even if it was just during class time, it's just one class. To ensure pretty fair grading, it seems a small price to pay.

> Second, on-line classes are massive for many if not all schools. Requiring students to show up physically is both inconvenient, and (depending on which accrediting agency you are accredited by) not allowed.

Mkay, make them come in one time. If it's online only, then... whelp you're out of luck. Although, I think the students were cheating mightily on online-only before AI.

It is that simple, if what you're looking for is a fair grading framework.
by hristov | 2025-05-19 01:36:41+00:00
There was a terrible spate of kidnappings in the first half of the twentieth century, the Lindbergh baby being the most notorious, but the police have gotten good at foiling them. They mark the currency, alert all the banks etc.

Most businesses turn their cash over to a bank at the end of the day, so any ransom cash that the kidnappers spend or deposit in a bank is tracked very quickly.

Of course crypto can be tracked as well, but financial institutions are required to follow authority instructions and freeze and reverse assets that may belong to kidnappers. In most crypto there is no authority to reverse the assets.

You can have a system where ids of all wallets containing stolen crypto are kept in a database and nobody does accepts any payments from these addresses. However many crypto advocates are strongly opposed to such a system.

So in conclusion, kidnapping of law abiding citizens for ordinary money has not been happening in the us for a while because the fbi had made it clear that it does not pay. But crypto is a whole other business.

It is hopeful that for all current cases the perpetrators seem to have been caught. But i am afraid there may be more attempts before criminals are convinced it does not pay.
by fennecbutt | 2025-05-19 01:37:36+00:00
Do all of you replying to me also weep for expensive hand woven fabrics? You're all wearing the fruits of automatic looms. It's the same thing.

You own cars, do you weep for the horse industry? Stables, farriers, blacksmiths, leatherworkers/saddlers, ostlers, grooms, etc.

What is an art now becomes a functional ubiquity later. Everything took "insight and effort" because everything was handmade, it's an innate feature. And now those things are mass manufactured and it's what the people want. Humanity will move on to calling whatever current thing we're manually doing an art.
by fsckboy | 2025-05-19 01:38:05+00:00
coffee beans are dessicated and so it's not exactly clear what is meant by "freezing" them, but yes, you can keep them in your freezer. Lower temperatures will slow down biochemical reactions, of course, but oxidation is your main enemy, so you need to make sure your frozen coffee is sealed airtight. the gold standard is to pre-measure the doses and that way you don't need to put coffee back into the freezer haver you have exposed it to more fresh oxygen by opening the container.

you can/should grind it directly from the freezer
by hx8 | 2025-05-19 01:38:24+00:00
Federal Aviation Administration keeps the skies a public utility.

Federal Communication Commission keeps part of the wireless communication spectrum open to the public.

National Park Service and Bureau of Land Management keeps some public land available for everyone to use.

The Library of Congress.

National Public Radio and Public Broadcasting Service probably satisfy "Public Utility" as much as Medicaid.

Federal Emergency Management Agency would be another stretch, but not something I would consider an entitlement program.
by delta_p_delta_x | 2025-05-19 01:39:13+00:00
Perhaps I was being a tad hyperbolic, but yes, the human population is strongly expected to collapse after a peak some time this century. To precisely what extent is still debated, but there is consensus that it will happen.

Many studies have consistently revised and brought forward their 'peak population' estimates over the past two decades. In 2000, the estimate was around twelve billion by 2150. In 2025, whether humanity will reach even ten billion by 2075 is in question. It is highly expected that many sub-Saharan countries will reach replacement rate by the mid-century. China's population has already started falling. Many Indian states are below replacement. Nigeria—a good proxy for the rest of Africa—was expected to reach ~900 million by 2100 in 2012; in 2024, that estimate was essentially halved.

There is a strong correlation between education levels and emancipation (especially for girls and women), improved sanitation and health care (which means easier access to contraceptives), and fertility rate. This is what drove the fertility rate collapse in the post-war period for much of the West and East Asia.

Further reductions are a result of worse work-life balance (in the case of the 'Asian tigers'), a desire to enjoy one's freedom in young adulthood (coupled with a desire to 'stick it to society'), a lack of 'a village to raise a child' in urban lifestyles, and more.
by tamtampo | 2025-05-19 01:39:17+00:00
I work on the best way to bemchmark todays LLM's and i thought about diffrent kind of compettion.

*Why I Ran This Mini-Benchmark* I wanted to see whether today’s top LLMs share a sense of “good taste” when you let them score each other, no human panel, just pure model *democracy*.

The Setup One prompt - Let the decide and score each other (anonimously), the highest score overall wins.

*Models tested (all May 2025 endpoints)*

* *OpenAI o3* * *Gemini 2.0 Flash* * *DeepSeek Reasoner* * *Grok 3 (latest)* * *Claude 3.7 Sonnet*

*Single prompt given to every model:*

In exactly *10* words, propose a groundbreaking global use for spent coffee grounds. Include *one* emoji, no hyphens, end with a period.
by telchior | 2025-05-19 01:39:25+00:00
I wonder if lack of consequences might be related to lack of proof. Cheating in the past looked like reusing an essay you found online or paying off someone to write it for you -- methods that offer a definitive way to prove it happened.

AI isn't particularly provable. Worse, a lot of professors are lazy and will rely on tools that tell them something was produced with AI; and like any tool, they'll produce false positives. Just imagine being expelled for writing because you don't make spelling mistakes, and do use em-dashes, bullet points and typographic emphasis.
by dasefx | 2025-05-19 01:39:34+00:00
From a technical standpoint, this is truly awesome, tools + streaming + tools output parsing and actions?, also, very good use of the tools available:

"I have four tools available in this workspace:

run_query – run SQL against your data source search – look up saved queries/metadata in the data catalogue run_python_code – transform query results with Python display_chart – create visualizations from query results"

Congrats!
by II2II | 2025-05-19 01:40:23+00:00
> American tech companies are making billions off these products that really are simple and could be replaced.

The trouble is that simple concepts are not necessarily simple to implement. Tuning software for performance (e.g. to handle a large user base), security, and maintenance are all resource intensive. Then you have to consider that large user bases have diverse needs, which results in more complex software. Then there are the largest hurdles of all, training people in the use of new software and interoperability during the transition.
by ggm | 2025-05-19 01:40:36+00:00
And US exclusion of Geely, GWM, BYD from the market meant that a significant source of low cost, high quality vehicles were excluded.

This is growth inside a protectionist ring. I would argue that now it's an established market segment, this is counter productive.

The three companies I listed are making huge inroads worldwide with vehicles across the categories, and into different price brackets.
by ajdude | 2025-05-19 01:41:39+00:00
I work in higher education and they aren't even bothering to read it. A colleague of mine who is a professor mentions that they will just be copying and pasting the assignments into the bot and then blindly copying and pasting the responses into their homework.

He's now trying to incorporate AI into the assignments to try and help the students think more critically about it, one of the assignments even requires having them show their work on how they designed and iterated through the prompt. This is a CS programming class
by renhanxue | 2025-05-19 01:44:17+00:00
The hypothesis that the manuscript is a palimpsest (that is, written on an old parchment that was scraped clean of a previous text; such recycling was common because parchment was expensive) has been thoroughly rejected. That sort of thing is detectable, in fact there's an entire field of research dedicated to recovering lost texts from palimpsests, but the Voynich manuscript shows absolutely no signs of that.
by taurath | 2025-05-19 01:44:17+00:00
It’s more like.. project ideas you actually want to pick up, projects in progress, notes while learning something, journals, writing. It can definitely get heavy, but like a personal knowledge base can really be helpful. I store my measurements, health stuff.

Granted, I am neurodivergent and have memory issues, so it’s hard for me to say what use it’d be to anyone else. But like, if you’re doing research into something deep, experiments, etc , and you have to put it down sometimes, it’s nice to be able to pick up right after you left off.
by fennecbutt | 2025-05-19 01:44:43+00:00
That is the nature of current models. Don't pretend that it will always be this way.

Your argument is moot anyway, how exactly is adding numbers together proving that such a thing isn't derivative?

I add numbers together, because I got taught to in school, because my teachers got taught to, because humans learnt to a very long time ago, because they observed a collection of things of different numbers. Perhaps the first human to count enjoyed an original thought. Or any who did independently, communication is the origin of derivation. And us humans are alllll about communicating.

Adding numbers is not an original thought, not in this context.
by resource_waste | 2025-05-19 01:45:07+00:00
LibreOffice UI is so awful I'm 90% convinced there is a Microsoft plant that actively disrupts progress.

I don't lurk the github, so I'm just assuming there are a few accounts that disagree with UI improvements just to kill time and fake debate.

But yeah that UI is just awful.

Further, you mention any UI issue on the subreddit and you get banned. Yeah...

Really a shame, Fedora + Google's Office Suite has been a near complete replacement for me. Although Sheets could be improved a bit.
by freeqaz | 2025-05-19 01:46:26+00:00
Does anybody have a good example of an 'alternative' that handle complex static types more gracefully? The Go language discourages Generics in favor of empty interface which feels similar to what the author is arguing... but I also find myself not always loving Go because of that. (I heavily lean on things like .map() in TS).

Trying to think of alternatives, I can only think of Haskell and C++ which are their own flavors of pain. In both C# and Java I've fallen into Hyper Typing pits (often of my own creation eee).

So what else exists as examples of statically typed languages to pull inspiration from? Elm? Typed Racket? Hax? (Not Scala even though it's neat lol)

Anybody have any tips to explore this domain in more depth? Example libraries that are easy to debug in both the happy and unhappy cases?
by AdieuToLogic | 2025-05-19 01:47:55+00:00
While I would not have used the descriptor "dependencies", substitute that with the term "partners":

Our service occasionally gets especially expensive requests that amplify to our partners, one of those partners have started complaining that our bursts of traffic are impacting other users, talk to them and propose a solution that aligns with our different requirements.

> The problem you proposed would be a mid level or senior dev type problem on most organizations' job role descriptions.

With the clarification above, I believe a junior dev could perform this task, even if the proposed solution is known to be a learning exercise.

The immediate value to the team is the collection of partner concerns.
by twodave | 2025-05-19 01:48:20+00:00
Yeah, these examples are all challenging in that they tend to represent more governance/funding than infrastructure. Out of both of our lists I think the USPS, highways, parks and land are the most infrastructure-related things. Of course these are all sort of weak analogues since software services are their own animal, but the fact that it’s a choice between governance, funding or a pittance of infrastructure projects I suppose makes the point.
by fennecbutt | 2025-05-19 01:48:25+00:00
That's my overarching point. That most of human thought is derivative.

Even emotion, sure you're happy that you ate a tasty food. But you're happy because your body is flooding you with chemicals to reward you for it, as with many humans over time, it's how it was selected.

I'm not saying it's a bad thing. It's just incredibly interesting to me to compare the way I think we act to the way these early models are acting. That's all.
by ggm | 2025-05-19 01:48:33+00:00
Yes, distinct qualities of old man shaking fist at cloud. I worry the pricing models mean EV remain mainly a segment for the rich, and so this re-inforces "EV are not for us blue collar working people and we push smoke to prove it" thinking.

I guess it's possible thats just emerging reality: market segments along class and income lines isn't exactly new.
by Nursie | 2025-05-19 01:48:59+00:00
Seems not - https://www.youtube.com/watch?v=UgVZZrZ1eqY

There's also a very long thread about it here - https://www.voynich.ninja/thread-2318.html - that seems to go from "that's really interesting, let's find out more about it" to "eh, seems about the same as other revelatory announcements about Romance, Hebrew etc"
by jart | 2025-05-19 01:50:18+00:00
The government getting interested in open source should terrify us all. The UN formally defining principles for what it means is a soft form of regulation that's only going to get more authoritarian over time. Traveling down this road, we're going to find ourselves living in a world where you're only allowed to share software if (1) you're working for a corporation, or (2) you're working for the government. Because (1) and (2) will have their lives managed and regulated and won't do anything they're not told to do. Anyone who wants to be a hobbyist who writes code of their own free will and shares it on GitHub just for fun will be criminalized, just like anyone today who wants to do farming just for fun is criminalized. Once they make these principles part of the law, it'll grow like the tax code, and be enforced. You used C and didn't write documentation? You're outlawed! Believe me when I say the government is not here to help. Code is speech and there'll be no freedom left the day our right to share what we've written in our preferred language in our own preferred way is taken away.
by theamk | 2025-05-19 01:51:15+00:00
It does not work that way. "No pain, no gain" - if you don't struggle doing something manually, you don't learn it.

In middle school arithmetic, you are not allowed to use calculators.

In high school calculus calculators are OK, but you are not allowed to use CAS systems.

In college-level math, CAS is usually OK, but you need to derive its input by hand.

It sounds that what you are wishing for is "vocational school" - no advanced education, just specific skills for a specific profession. As long as that profession does not change too much, students get to be "productive members of society" immediately after graduation. Colleges are supposed to be better, teaching the whole skill tree so that the student can go on beyond what's known.

(Unfortunately they are only "supposed to".. in practice a lot of colleges are no more than more expensive vocational schools).
by rasz | 2025-05-19 01:51:33+00:00
>IBM PS/1 is that they were upgradable. Contrary to PC clones where everything was often soldered, these came with an Intel Overdrive socket to upgrade the CPU, and extra slots to increase the L1 cache, RAM, and VRAM.

Plenty PS/1 came with everything soldered on and missing pinouts for CPU socket/ram/cache, LPX form factor makes you married to the case. Mom and pop build PCs were kings of expandability, everything standard off the shelf, could continuously upgrade step by step component after component all the way to ~2000.

PS/1 was a funny series of IBM computers. The idea was to make something low end and cheap, that necessitated using common third party components resulting in more standard and compatible PC than stupid MCA/ESDI PS/2 line. Epictronics loves PS/2 line and has plenty of repair videos, its a never ending stream of WTF where they thinking combined with oh well that part is unobtanium now, IBM IBMing.

>"Hanging note bug"[9]. I had to go to the next level and get a MIDI card.

SB16 firmware was decompiled and bug patched out, fix requires replacing microcontroller with $3 Atmel. All in all SB16 was a rushed (early reviews complained about glitchy sound, not working ASP) poor product. I associate it with hissy sound and lack of SB Pro Stereo mode support.
by dankwizard | 2025-05-19 01:51:58+00:00
If you have a ChatGPT subscription, set up your own GPT with prompting around your level, how you want it to respond, how to correct mistakes etc. Then you can use it for anything - Generate tests based on words you know, roleplay like ordering in a restaurant, write stories and have it correct grammar.

This is what I have to supplement my Chinese and it is incredibly helpful.

Look at the comments already - Everyone is building a simple wrapper to do this very thing but charge you $20 per month for the privelege. These are souless, most likely vibe coded garbage. Avoid.
by greatquux | 2025-05-19 01:51:59+00:00
Ah, classic nihilism. I first encountered it in high-school literature class reading Turgenev's "Fathers and Sons". Good times. (Of course now you'd probably get a quick TikTok explanation and that's all.) I probably mix in a bit of that, a bit of "apatheism", some epicureanism (the original version), and a dash of solipsism (just a dash mind you), and I find myself pretty comfortable. Going to lots of jam band concerts helps too.
by barbazoo | 2025-05-19 01:53:15+00:00
> Obsidian charges $8 a month to access the same notes across multiple devices. While not a huge amount for such a useful app, it adds up to an eye-watering amount - almost $1,000 if I planned to use Obsidian for a decade. I was surprised at this fee because I thought Obsidian was open-source.

Before going out and building my own software I’d have looked into self hosting the files. To save those couple bucks.
by ggm | 2025-05-19 01:53:19+00:00
Seems caught up in the connectionist "just 1m more neuron-equivalents" and "its the wrong model" arguments. Which is trench warfare off to to one side of the essential agreement: Be it lack of scale, or irrelevant models, it isn't emerging and it won't emerge any time soon.

Not a believer, so I tend to the "wrong model" side of things. I do think the orders of magnitude improvements in the quality of outcome are impressive but wishing for unicorns doesn't make them true, Mattel plastic not withstanding.