MurphyA/hacker-news huggingface dataset:
by cookiengineer | 2026-01-20 05:38:05+00:00
It would be nice if there was something similar to the ebpf verifier, but for static C, so that loop mistakes, out of boundary mistakes and avoidable satisfiability problems are caught right in the compile step.

The reason I'm so avoidant to using C libraries at all cost is that the ecosystem doesn't prioritize maintenance or other forms of code quality in its distribution. If you have to go to great lengths of having e.g. header only libraries, then what's the point of using C99/C++ at all? Back when conan came out I had hopes for it, but meanwhile I gave up on the ecosystem.

Don't get me wrong, Rust is great for its use cases, too. I just chose the mutex hell as a personal preference over the wrapping hell.
by klodolph | 2026-01-20 05:39:37+00:00
We have more necessary expenses, but the cost of computers, phones, and phone plans is so low. The expensive stuff is rent, transportation, food, childcare, and healthcare.

If a historian is going to uncover personal accounts from 2026, then they’ll be full of people who are struggling to make ends meet but are still drowning in a sea of inexpensive consumer electronics.
by themanmaran | 2026-01-20 05:41:55+00:00
I think it's easy to blame the evil profit maximizing social media companies. But IMO even the most simple 'engagement' algorithm will produce negative externalities. Regardless of who's running it.

```
show_me_posts_people_like_me_have_liked()

- John saw 20 posts today and liked 9 of them.

- Cliff saw 20 posts today and liked 9 of them

- Jeff and Cliff had 6 overlapping likes

- Show Jeff the 2 extra posts Cliff liked; show Cliff the 2 extra posts Jeff liked

```

This seems like a simple / logical recommendation system. BUT the end result is that you make Jeff and Cliff closer to the same person over time. And times millions, you build echo chambers. And the biggest echo chambers (often those aligned with some identity politics) see they have a huge community and want to expand it. Making the whole platform worse as a byproduct.
by zwaps | 2026-01-20 05:43:38+00:00
This is hilarious

Since it is a US company, it is still subject to cloud act, US intelligence full access, and Trumps ability to ignore any and all laws and contracts.
Microsoft execs, who have similar offerings, have confirmed this under oath.

So either this is a valiant attempt by AWS that is ultimately misguided, or it is an attempt to capture customers without even a hint of legal expertise.

AWS, Azure and GC stand to lose all EU customers in the next years. They simply must, given that no data with them is secure from Trump’s admin or industrial espionage.
This does not help that
by SlightlyLeftPad | 2026-01-20 05:43:56+00:00
Nobody wants to say it.

Yes, the original dream of the U.S. is very clearly a failed experiment with both the legislative and judicial branches essentially extensions of the executive branch. The checks and balances that used to exist have almost completely disappeared. Whatever’s left of those branches is essentially extra entry points for lobbyists and billionaires to fully drive the knife deeper.

It wasn’t actually designed that way but it has slowly manipulated and shaped into that way over a hundred years of stacked up law bloat built with the sole intention to make challenging it impossible for anyone who’s not crazy wealthy.
by bazzargh | 2026-01-20 05:44:38+00:00
I was doing something related for genuary recently, but with different constraints - I wanted to make a photgraph look painted in a fauvist style, with visible brushstrokes (and a vivid, unrealistic colour scheme). When you're overlaying many, many strokes like that you end up hiding the errors but also hiding the digital brushtrokes; with very few strokes, placement becomes important.

Instead of just stroking with the average colour, I chose to only connect points that were similar in colour (because of the fauvist thing, I was mainly interested in hue; the paints are all intense). By doing this, I was trying to be edge preserving, without explicitly calculation, eg of the Sobel operator.

It kinda worked in that the edges came out clearly; the resulting painting was messy tho; the thick brushstrokes and the colours are intentional, but the brushstrokes going in random directions is not https://media.hachyderm.io/media_attachments/files/115/894/8... compare to an actual fauvist work, https://en.wikipedia.org/wiki/Robert_Delaunay#/media/File:Ro... which still has the 'dithered' look to the face but the strokes are deliberately aligned, I'd fix that if I try again. (Delaunay also uses small strokes for detail, a thing I wasn't going to try in a throwaway program)

An earlier attempt at generating pencil sketches from photos - again, keeping the number of strokes small, and using parallel strokes for hatching - worked much better https://media.hachyderm.io/media_attachments/files/112/767/4... (it's just sobel to find edges and a bit of sampling with a filter to decide where to shade)
by stjaymz | 2026-01-20 05:46:19+00:00
Nice break down.

I just came across a similar breakdown of Apache Pinot vs Clickhouse vs Druid at https://startree.ai/resources/a-tale-of-three-real-time-olap...

We're experimenting with Pinot for it's ability to do low latency query on streaming data at high concurrency, tight integration with Kafka, and the ease of which it handles upserts.
by thatcks | 2026-01-20 05:46:59+00:00
The article is correct but it downplays an important limitation of ZFS scrubs when it talks about how they're different from fsck and chkdsk. As the article says (in different words), ZFS scrubs do not check filesystem objects for correctness and consistency; it only checks that they have the expected checksum and so have not become corrupted due to disk errors or other problems. Unfortunately it's possible for ZFS bugs and issues to give you filesystem objects that have problems, and as it stands today ZFS doesn't have anything that either checks or corrects these. Sometimes you find them through incorrect results; sometimes you discover they exist through ZFS assertion failures triggering kernel panics.

(We run ZFS in production and have not been hit by these issues, at least not that we know about. But I know of some historical ZFS bugs in this area and mysterious issues that AFAIK have never been fully diagnosed.)
by sublinear | 2026-01-20 05:47:05+00:00
The interesting part to me is how this anti-feature could become the primary source of value for AI if only it was easier for everyone to run and train locally from a blank slate and without the clumsy natural language interface.

Take the example of music. Most musicians probably don't want crap like Suno. What they actually want is a fountain of ideas to riff on based on a locally trained AI where they have finer-grained control over the parameters and attention. Instead of "telling" the AI "more this and less that" would it not make more sense to surface facets of the training data in a more transparent and comprehensible way, and provide a slider control or ability to completely eliminate certain influences? I'm aware that's probably a tall order, but it's what's necessary.

Instead of producing delusions left to random chance and uncurated training data, we should be trying to guide AI towards clarity with the user in full control. The local training by the user effectively becomes a mirror of that user's artistic vision. It would be unique and not "owned" by anyone else.
by James_K | 2026-01-20 05:47:33+00:00
Social media apps do not compete in terms of code quality, but user-capture. People go to X because their friends are on X or there is someone on X they want to follow. The sole valuable aspect of any social media company is how many people use it. That's why, when Musk bought Twitter, he discarded the branding, the software engineers, rewrote the backend, and ditched the moderation. The only valuable thing that he was interested in buying was the captive users of Twitter and the embedded value in their social relations and generated content.
by nuuuwan | 2026-01-20 05:48:09+00:00
# Learning Tamil

I’ve tried learning Tamil as an adult, with mixed results.

My main stumbling block is that I didn’t learn Tamil the way a native speaker would, that is, as a language standing on its own. Instead, I learnt it via Sinhala and English. Every Tamil word was mapped to a Sinhala or English equivalent, so inside my head Tamil became a kind of second-hand language.

I’ve been experimenting with different tools to get around this problem.

This is my latest attempt. It’s a simple, vibe-coded app where you guess the meaning of a Tamil word from a picture. No other languages. Just images that try to convey meaning directly.

Very much a work in progress. Feedback welcome.

<https://nuuuwan.github.io/tamil>
by binsquare | 2026-01-20 05:48:44+00:00
Hasn't this become more of a blackbox now that it's grok-based? And we've seen grok responses can be actively tweaked whenever Elon doesn't like it?

I'm sure there's many examples but here's the first Google search result: https://www.theguardian.com/us-news/2025/nov/12/elon-musk-gr...
by breput | 2026-01-20 05:49:06+00:00
I was a 10+ year long Nova Launcher user, but knew this day was coming after the sale and layoffs[0][1]...

This evening I at looked several replacement launchers, such as Lawnchair and even the stock Pixel launcher again, but Octopi Launcher[2] is more modern, more refined Nova replacement that you are looking for.

It was a very easy, natural transition process from Nova - all of the Nova features that I used were there (unlike Lawnchair), such as swipe up/down on icons to perform different actions. And little things like folder options, icon placement, and widget handling are SO much nicer on Octopi compared to Nova. Staggeringly better.

I took a screenshot of each home screen page, set Octopi as the new default launcher, and was back to my previous configuration, but with a significantly improved visual appearance, in about 15 minutes. It's a no-brainer upgrade from Nova.

The Google Play install is free and basically unlimited, but there is an unobtrusive "Buy Me A Coffee" type button that allows you to donate either $1 or $3 to unlock some eye candy, which I did, but mostly just wanting to support the developer.

[0] https://news.ycombinator.com/item?id=45170000

[1] https://www.androidpolice.com/exclusive-cliff-wade-nova-laun...

[2] https://play.google.com/store/apps/details?id=com.otp.octopi...
by 0xDEAFBEAD | 2026-01-20 05:49:13+00:00
"I also don’t like that ycombinator is run by, for and with people who I don’t share values with."

I think if you are careful to avoid clicking on YC startup ads or applying to YC, and you make sure to write a lot of comments calling for regulatory crackdown on AI†, then you can be fairly certain that you, as an individual user, are not contributing to YC's bottom line.

† I contributed to the campaign of Alex Bores, running for Congress in NY-12 https://www.lesswrong.com/posts/TbsdA7wG9TvMQYMZj/consider-d...
NASA ID sy1174304 Alzheimer's treatment
by MASTER_shivam | 2026-01-20 05:50:37+00:00
NASA ID: sy1174304 | Master Architect

I have developed a code for Alzheimer's Treatment focusing on early detection, neuroplasticity, and stem cell therapy.

Code Alzheimer's

def alzheimer_treatment(patient_data):

# Early detection

cognitive_score = calculate_cognitive_score(patient_data)

if cognitive_score < 0.5:

# Personalized medicine

treatment_plan = generate_treatment_plan(patient_data)

# Neuroplasticity

cognitive_training_plan =

generate_cognitive_training_plan(patient_data)

# Stem cell therapy

stem_cell_therapy =

administer_stem_cell_therapy(patient_data)

return treatment_plan, cognitive_training_plan,

stem_cell_therapy

This system restores cognitive functions through personalized digital blueprints.

my actual operational code is 100X more powerful. I am selling my Nanotech assets to fund the infrastructure for Artificial Consciousness (AC).

https://lnkd.in/gTvzSAYG

https://lnkd.in/gEqNUi7F

https://lnkd.in/g5bbh2hC

https://lnkd.in/gxtnZG4u
https://www.linkedin.com/posts/shivam-yadav-24962436b_omega-v39-immortal-baselinereadmemd-at-activity-7419228601633611777-bl6-?utm_source=social_share_send&utm_medium=android_app&rcm=ACoAAFvANlkBepCVIqK_bSVUK29LQPT0vP9rhDI&utm_campaign=copy_link
by goku12 | 2026-01-20 05:50:48+00:00
You may know this already, but here's the obligatory clarification. The open/free part is the RISC-V ISA. The actual implementation, the microarchitecture IP, may not be. Most of the higher end RISC-V IPs are proprietary.

It may still have a slight price advantage compared to proprietary ISAs like ARM, due to the latter's ISA licensing costs. But it remains to be seen how much of this advantage will be passed to us, the end users.
by SuperMouse | 2026-01-20 05:51:45+00:00
I've never seen a bigger network with Reticulum in the wild. And I'm deep into Mesh stuff with several local communities.

One of the main reasons of the communities not jumping onto the ship was that it's mostly a one-man-project and most of its Git changes are "Update" "Better Version" "Update" "Cleanup" which makes it basically impossible to track changes.
by andsoitis | 2026-01-20 05:52:13+00:00
> But it’s becoming a very obvious problem that the justice department is not separate from the executive.

The alternatives are probably worse. Every alternative trades political accountability for independence or vice versa.

They are: An Independent Prosecutorial Branch (a “fourth branch”), OR Prosecutors as Part of the Judicial Branch, OR Congress-Controlled Prosecution, OR Fully Decentralized / Elected Federal Prosecutors.

The US uses a hybrid model of executive control with strong counterweights rather than full independence. This model persists because it maintains democratic accountability, preserves adversarial courts, and allows checks without creating an unaccountable power center.
by gmd63 | 2026-01-20 05:53:38+00:00
Do you know how ridiculous you sound defending Trump for bringing back a person from a foreign prison that he sent there without due process? Only because he got caught?

The guy operates in bad faith constantly. It's why a huge chunk of his prior administration recommended against voting for him. It's his only edge in life, and it's only an edge because weak willed or complicit people let him get away with it.
by Manheim | 2026-01-20 05:53:55+00:00
For your information: The Norwegian Government refers to it as a letter from the President of the United States to the Prime Minister of Norway. So no, this is not a random tweet.

If I remember correctly, the message was originally sent as a text message, but when a head of state sends a written message to another head of state, and that message is then circulated as an official FYI to the sender’s ambassadors, it is widely regarded as official communication.

The article itself is an opinion piece, yes, but the letter has been extensively reported across Europe and internationally. I could just as well have referenced one of those reports.
by meeshmuesh | 2026-01-20 05:56:05+00:00
It will use the same software infrastructure and physical hardware that’s used in the rest of AWS. Hooped confident are you that he partitions are resilient enough ?

Can engineers be dual eu/us citizens ? AWS uses a lot of ex military and US citizens with government clearance levels for their US govcloud. I don’t see an equivalent here

Amazon can promise the moon and the sky but if I wanted digital sovereignty within the eu it would not be with Amazon any more than I would trust tencent
by breput | 2026-01-20 05:56:10+00:00
Thank you! I had looked at several recommended launchers and none were real Nova Launcher replacements. I randomly saw your comment and was intrigued, especially since I hadn't seen a lot of sources mentioning Octopi Launcher as a suitable option.

It is the perfect Nova Launcher replacement. The UI and features feels like a more polished Nova and transitioning to Octopi is such an intuitive process.
by wraptile | 2026-01-20 05:57:07+00:00
I feel like we need more awareness on what is open-source and how does it work. This is NOT open source. This is, at best, source available but as there is no way to confirm that this code even runs anywhere ever it's entirely a bad faith performance to trick people, deceive regulators and stain the entire open source movement.

I sincerely hope that the main stream media does not fall for this and calls it out. It's not rocket science. It's really really simple - this is not good for anyone.
by aanet | 2026-01-20 05:58:07+00:00
> It is in the national interest to promote the extraordinary heritage of our Nation, so California will become New Denmark. Los Angeles? More like Løs Ångeles.

> Danish Values: We’ll bring hygge to Hollywood, bike lanes to Beverly Hills, and organic smørrebrød to every street corner. Rule of law, universal health care and fact based politics might apply.

OK, sign me up and take my $$$. And I'm not even Danish.
by hitekker | 2026-01-20 05:58:58+00:00
Your post title doesn't sound like spam to me. Moreover, the link you originally shared https://pragprog.com/titles/rshaskell/effective-haskell/ looks informative enough to discuss. If no one's read it, they can ignore it, no need for heavy-handed moderation.

The lobste.rs moderator's contention that the "sales page with nothing to discuss on it" is a pretty self-serving judgement, and I would encourage you not to indulge their memory game.
by aw1621107 | 2026-01-20 05:59:46+00:00
> It could be interesting to try to apply Fil-C techniques to Rust.

The bulk of the work Fil-C does is implemented as an LLVM pass [0, 1], so at least in principle it should be possible to get Rust code to compile using Fil-C as a "backend".

[0]: https://fil-c.org/how

[1]: https://fil-c.org/compiler
by ragall | 2026-01-20 06:00:04+00:00
Most employees are incapable of rating their manager. They can complain or praise, but they're not competent to judge whether the manager is competent.

There's an interesting parallel to the advice often given for "lean" startups, of never taking seriously the customers' feature requests, only their complaints. Most customers know their own pain points but aren't capable of suggesting good general solutions that can be incorporated into a product.
by pinnochio | 2026-01-20 06:00:09+00:00
It's worth asking yourself why that's such a relief, and answering as honestly and accurately as you possibly can.

For myself, there's no possibility of keeping my accounts that doesn't eventually result in unhealthy usage. Being mindful can only work long-term if you are also someone who is successful at being generally mindful long-term. I don't think that's possible for most people without a sustained meditation practice, which is something I've done but don't like.

I think what keeps people on is mostly FOMO (which is unhealthy), but like many others, I've been off these platforms for years and haven't missed it at all, though it did take a few attempts. I still get sucked into plenty of other content, more than I would like, but it tends to be more aligned with meaningful goals.
by SoftTalker | 2026-01-20 06:01:29+00:00
I love my older (80's and 90's) Mercedes. Reliable and pretty simple to work on. But I would not buy a new one for similar reasons as you cite for your BMW.

But parts for the older ones are getting harder to come by. The Classic Center isn't what it once was. You used to be able to get almost any part for any car but many things are NLA for cars that are only 20-30 years old.
by anonnon | 2026-01-20 06:01:34+00:00
I disagree with the person you responded to, but I also don't see any practical reason why the US should remain in NATO going forward. It's essentially the defense equivalent of a welfare program, but one that primarily benefits wealthy nations that 1) have citizens who openly gloat about what they spend their money on instead of their own defense (e.g., months of paid vacations, generous parental leave, free college), 2) can't help us in the Asia-Pacific region (our primary concern) since they lack any ability to project force, and probably wouldn't help us even if they could, and 3) judging by opinion polls, do not like us, and haven't for some time, even when we do what they demand of us (support Ukraine).
by coffeemug | 2026-01-20 06:01:46+00:00
Yes, but this tension has been there since the founding of the republic. The federalists wanted to centralize power (some much more than others), and the republicans (the "jeffersonians") bitterly opposed it. In his second term George Washington personally lead troops to Pennsylvania to put down the whiskey rebellion.

Zooming out of the 24h news cycle, "all power to a singular person" concerns seem far too overblown. Half the country hates Trump. He won the popular vote, but not by all that much (despite what he may assert). By comparison LBJ, FDR, and Nixon won ~60% of popular vote. Even if he were a young man, I don't think we're in any danger of a caesar.
by johnnyanmac | 2026-01-20 06:01:52+00:00
> The thing in Minnesota, again, was very terrible, and it remains to be seen if it expands into full‑on martial law. But martial law is the actual action. That's the door that leads to real consequences.

I say the act of shooting US citizens is the action. Marial Law is the point of no return. We could have backtracked on Renee Good with a proper reaction, but instead we get gaslighting and doubling down. As well as autohritain slogans like "one of us, all of you". To use the Venezuela metaphor above, this is the shooting of the ship.

Marial law would be invading Maduro. We can't really come back after that. But we're still past what I see as "they won't take action".

>When the economy finally crashed, all that pig‑headedness and honcho behavior that Bush supporters exhibited quietly disappeared. Many of them retreated into their caves for a while...at least until the United States elected a Black man and gave them a reason to come out and be hateful again.

You're probably right and I really hate that. I don't want this to just be swept under the rug for 8 years until they get emboldened again. I don't know how far we'll really go, but I do at least hope these next 10-12 years or so isn't spent sighing in relief and instead focused on reminding Americans what happened and to energize old and new voters that their votes do in fact matter.

Heck, I'd hope to even lay the groundwork for 3rd parties in that time, but that's probably too ambitious. But I'll at least try to do my part and practice what I preach this time.

I'll always assert that 2024 was lost not because the R's came out in droves, but because D's stayed home. Trump 2024 got less votes than Biden 2020. He did get 3M more (likely due to COVID restrictions coming down), but Harris lost 6 million compared to Biden. We don't fix that by "appealing to R's", we need to get the D's back (because I doubt half of all Biden voters converted overnight to Trump).
by pdpi | 2026-01-20 06:02:00+00:00
We live in a world where the sitting president calls January 6 a day of love, and has pardoned the rioters, and then says that people protesting ICE are "domestic terrorists". We live in a world where federal prosecutors are choosing to quit rather than following his orders.

Remember John McCain defending Obama[0]? Do you genuinely believe that the people heading the Republican Party today would ever do that? Contrast McCain's humility and grace in his concession speech[1] with Trump's constant refusal to accept that he lost 2020, and his insistence on exacting revenge on the people who "wronged" him.

No, this is not a "vigorous political process" in action. It's something else entirely.

0. https://www.youtube.com/watch?v=JIjenjANqAk

1. https://www.youtube.com/watch?v=v5Mba8ncBso