skysight-inc/HackerNews huggingface dataset:
We Laser Scan and 3D Print a Full Sized Atari Arcade Machine from 1973
A good book to read more or less related to this shipwreck:

https://www.amazon.com/How-World-Made-West-History/dp/059372...
Neat! It'd be good to have a little more configurability but this is still really cool
Effect systems like effectful and Bluefin absolutely provide first class effects, ultimately not too dissimilar to Koka.
> aren't we really saying voters are not individual agents but rather a mob subject to manipulation by propaganda?

Like we've been saying since the founding of the country? yeah

"The body of people ... do not possess the discernment and stability necessary for systematic government. To deny that they are frequently led into the grossest errors by misinformation and passion, would be a flattery which their own good sense must despise." -Hamilton

The founders did not think that electoral college was a good idea, senators should be appointed and not elected, and only a few citizens should be able to vote generally, because they were feeling mean. They did so because they thought these things and the act of voting itself were simply instruments to produce good government. They rejected a democracy, and favored a republic, for this reason.
>There are plenty of reasons why libel and slander are punishable by law. Why do you think they are?

Also note: nobody is cracking down on libel and slander on social media because we consider internet publishers "common carriers" when infarct the should be held accountable for the things they promote.
With all of my commentary, this is the point that you're fixated on? I'm clearly not saying that I don't agree with the fact that there's disagreement here, I'm just surprised about the nature of the disagreement. The HN crowd is sophisticated, and to see that they're supportive of reinstating Tiktok on the grounds of 'free speech' or what have you seems like a reductionist oversimplification to me. To argue that we should allow Tiktok because of free speech, in the global context of how it's being used as a data mining and mind-manipulation machine seems like a total non starter to me. And I would expect more community members to weigh that more seriously given how seriously they take security; given the context of how much time the community spends splitting hairs about the future of encryption, forever boycotting Arc for exposing a cookie, etc.
> Absurd that the Republicans are somehow going to swoop in and "Save the day" on an issue they themselves championed.

Absurd that when Trump initially proposed this it was considered a stupid and racist idea. Now they’re for it.
Modern piracy sites have 1080p standard. Many titles are in 4K and 720p.
I think Gitea not being maintained via Gitea was reason enough to fork it— I am glad Forgejo did!
I feel like in the "racing / git crossover" world, that's pretty close. :)
With RIFF you not only need to be able to handle the container format, but also the specific type of payload content, which for video varied from simple uncompressed YUV formats like Y41P to proprietary compressed ones like WMV1 (Windows Media Video). Being able to handle the RIFF format therefore had no bearing on whether you'd be able to extract data from it.
Everyone lives and dies by the KING now.
Exactly. They murder the elites.
>If bot farms are effective, we probably have them.

If UFOs are effective then USA has them too
Begs many questions. Not illegal? Should it be illegal? Why is this better, worse and different to Pelosi's share trades?

I'm struggling to understand when is the right time to downsell. Will it be seen as a rug pull? The last report I saw said 80% stocks held by Trump himself, which means over $2b of value lies somewhere else.

Literally makes "follow the money" easier btw, according to a forensic accountant I know who does this for financial crime cases.
related: https://dx.tips/oops-database
I responded directly to this

> Obviously the transfer of ownership was always about the content

Perhaps I should have quoted it so that it was clear.
How did people come up with alphabet? Phoenicians were one of the first to invent this technology, but I assume language existed way before that? How did that happen? Like, how did people agree on saying certain things to mean specific things? Starting from the mind of the first humans who didn't have language, how did we get to where we had language and it was so ubiquitous that even ancient civilizations like Phoenicians put it in writing?
Trump just issued a personal statement. Not even as president.

It is still a Law.

TikTok is still banned, the Supreme Court upheld it.
> Working with the IO monad is much more complex, especially if you want to use other monadic types inside that code.

Yes, mixing other monadic types with IO can be a challenge. One possible solution to that is not just not use other monadic types inside the code. Just use a general-purpose effect system instead. I recommend effectful or Bluefin (the latter my own project).
I've also worked with engineers who have raced LMP. It's largely pay-to-play and this is one of those professions where if you're the right person, in the right place, at the right time, you might be able to afford it.
Sowing discord is the well-known age-tested strategy. It doesn't remove freedom of speech per se, but it drowns it in the noise.

The very goal of this attack on the freedom of speech is to make people lean towards the easiest and "naturally occurring" pseudo-solution to make those bots shut up. Then abuse the same censorship mechanisms to control the discourse.

Sadly, I don't know how to solve this. Censoring speech is a non-solution. Building web of trusts will inevitably create even stronger information bubbles (making it easier to divide and conquer - we're seeing this happening).
A similar resource I recently discovered and it’s not that popular: https://github.com/pingcap/talent-plan/tree/master/courses/r...

Writing a Bitcask(KV wal) like db in Rust. Really cool and simple ideas. The white paper is like 5 pages.
It’s not cheap, that’s the point.. ads as an industry moves more money every year than the pentagon. That’s a lot of people betting that algorithmic influence campaigns work. Are you saying everyone is wrong about this but you, or is your position is that influence campaigns work for brands but not for nation states? Or nation states would not try? Or what?
Princeton. General Exams on Theory for Economics PhD 1953 Through 1972
That’s the world we live in today. Under many countries’ privacy laws, it’s not legal to sell PII to a third party that you collected for a specific other purpose (e.g., fulfilling the primary purpose of the app). The problem is that they do it anyways.
Not worth it going back to TT. Will just stay on RedNote
It sucks that they're expanding the powers at all. It doesn't matter who has the power today, it matters what the next person may do. Both parties are bad about expanding federal powers, it isn't the fault of one side.
Its a tool. Flawed tool by design, the flaw is obvious to some and not to others, yet all experience it. Tool that have many similar tools as competition, albeit none is exactly the same.

TikTok and only TikTok an 'important tool'? Not unless you are somehow invested in it, or if you consciously make it one.

The fact that young generations want to share details of their lives is fine and TBH who cares, but platform to do so basically doesn't matter. If it would be banned 10 others would fill the gap on the market in days. If its really an 'important tool'.
"But what about!?!?"

If a significant number of users were to join another foreign-owned platform with similar issues, it is likely that such platform would be banned as well, if it is not already banned under FACAA.

TikTok is an issue in large part due to its popularity.
This is only tangentially related, but if you like history and ship wrecks and live near Kansas City, go to the Steamboat Arabia museum.

They're digging up a steamboat that sunk, and they found after the river changed its course. It's super cool. When we went the last time we were driving across the states, one of the guys actually doing the excavating was there. He gave our kids a guided tour and talked about all the exhibits with them. It was super cool.
You can pipe into Elixir cases too, and the language I'm developing also allows for this and more.

The difference here seems to be that \case is a lambda?
Nah man, Oracle… here is a personal story. I was teaching at a Uni, introductory programming course. Dean hits me up and asks if I can teach introduction to web development as then current professor was going on maternity leave. I was like “heck yea, that sounds like fun.”

before the first class I get an email from one student asking if they must purchase the book for the class since it $275 (this is years ago) and I was taken aback, what kind of book costs $275 - even for a college textbook that was nuts. I told him to not purchase it until we meet for the first class. I go to the office and see my copy of the book, it is programming the web with oracle forms from oracle press!!!! I talked to Dean and he was like “yea, that is what we need to teach!” needless to say that, none of the kids bought the book, and I did NOT teach oracle forms, and I was never given that class again :)
Two undersea cables in Baltic Sea disrupted[0]: 597 points and 1096 comments, people jumping the gun with comments like:

> Substantial Russian activity also near UK, raises concerns that Russia would cut off UK

> A disruption in communications can mean only one thing: invasion.

> So what's the solution ? Assign a surveillance UAV to every Russian ship parked "without a good reason" over a cable ?

> It’s a message and hybrid warfare.

This post? Completely ignored. People just want war for some reason.

- [0]: https://news.ycombinator.com/item?id=42172565
> I think anyone who says democracy is good and the will of the people should be respected is implicitly saying that is not true. Implicitly saying voters are individual agents and not a mob.

Disagree. Democracy can basically be mob rule and still be “good” if mob rule is better than alternatives like “divine right of kings,” “rule by military despot” and so on.
Shrinking a PDF
see also: https://en.wikipedia.org/wiki/Whataboutism
This is not my experience, at least for major motion picture rips
Isn't selective enforcement in general within any law in the United States? There are plenty of laws that get broken all the time and it's up to police & prosecutors/AGs to decide which cases they actually want to enforce.
It's odd to me that people seem to be mostly viewing this as a free speech/democracy issue. To me it's more like if newspapers were printed with toxic ink or something. The negatives of TikTok have nothing to do with the speech expressed by the "creators" on the platform, but rather with the overall harmful effects of the algorithmic firehose.

It's true that this means all similar US-based things should be banned as well, but banning them isn't a matter of suppressing the speech and letting TikTok continue isn't a victory for free speech. It's just a victory for a gross sort of psychological pollution.
I recently discovered that the trick for regular steel pans is to just combine oil and butter to get a none stick coding.
I'm running smallstep CA in my homelab. While it's nicely done and clearly focuses to the containerized enterprise market, its defaults are very harsh.

Take for example the maximum certificate duration. While from a production/security perspective short-lived certificates are great, you don't want to renew certs in your homelab every 24-48hrs. Also, many things just don't support ACME but still benefit from a valid certificate, e.g. router/firewall/appliance web interfaces. Out of the box, the limit for traditionally issued certificates using the CLI is very low, too.

The default prevents expired certificates to be renewed. If your homelab does not offer a couple of nines behind the comma, you'll pretty much have to intervene on a regular basis UNLESS you adjust the defaults. You can't set the max duration to years, months or days but only hours:

"claims": {
"minTLSCertDuration": "24h",
"maxTLSCertDuration": "26400h",
"defaultTLSCertDuration": "9000h"
},

If the goal of hour homelab is to design/test/experiment with a fault-tolerant high availability k8s infra, e.g. for your job, it's great.

CAVE: macOS enforces duration limits even for trusted enterprise CAs, e.g. Safari won't accept your 1000 days certificate anymore.
I think many people are aware that Israel is the real reason behind the ban - the don't want the world to see how truly grotesque the apartheid state of Israel really is. I mean, some of what's happened is so utterly vile I'm not sure I'd have believed it if I hadn't seen/read/heard in on social media with my own eyes - especially when the MSM is so incredibly, overtly pro-Israel.

I think people who know about Israel's involvement in the ban don't mention it here on HN, because many Hasbara are here with the same tired lies, deflection, hatred, racism, and accusations of antisemitism.
Show HN: Reflect on Your Life Through a Visual Timeline
Hi HN, Ordinary journaling is great for remembering specific events and situations, but I always felt it fails to present the full picture. I noticed that I often struggle to grasp how long certain phases of my life lasted and how close together certain events occurred. To address this, I created a tool to help me see the bigger picture, and it revealed some surprising insights about my life. Give it a try! It is super simple.
> Also note: nobody is cracking down on libel and slander on social media because we consider internet publishers "common carriers" when infarct the should be held accountable for the things they promote.

The "common carrier" status of services which hold editorial control over the content that's pushed and promoted is highly dubious.
Donald Trump wants to buy TikTok
UNIX time ignores leap seconds, so every day is exactly 86400 seconds, and every year is either 365*86400 or 366*86400 seconds. This makes converting from yyyy-mm-dd to UNIX time quite easy, as you can just do `365*86400*(yyyy-1970) + leap_years*86400` to get to yyyy-01-01.
Pretty cool, i liked the touch controls on my phone. They weren’t perfect but were intuitive.
> You're constructing a straw man without being curious about the things you yourself are missing.

Could you point out the straw man in question? I feel like everything I posted above is a direct response to arguments I gleaned from your previous comment, and certainly didn't intentionally attribute any argument to you that I didn't think you were actually making.

> I suggest you read parent comment about balance and tradeoffs inherent in forward deployment again.

I've reread it a couple of times, and I'm afraid I'm not seeing any hidden propositions in it that I missed the first time around. Could you be more explicit about what you're getting at?

My comment about finding ways to enable internet access in a more controlled way was specifically targeting your argument about the security vs. morale tradeoff, and my point about the absurdity of trying to make that tradeoff for society as a whole in a scenario where you imply the military can't make it for its own operations still seems to apply here.
Several options already exist:

- HTTP management interfaces

- RPCs such as what’s used in the Microsoft Windows ecosystem

- Agent-based configuration management / IaC tools such as Puppet

Each has their own strengths and weaknesses. But for all the criticisms people make about the terminal, and many of the complaints are completely justified, it’s often those weird eccentricities that also make the terminal such a powerful interface.
Well, it’s not like anyone sued a Dutch university for finding security vulnerabilities in their NFC transport card solution…NXP would never rush their implementation to market and then try to sue their way out of any vulnerabilities.

https://freedom-to-tinker.com/2008/07/15/transit-card-maker-...
What you’re essentially saying about SpaceX is akin to arguing that if you’re free to choose not to carry a gun, you lose the ability to defend yourself against asassins, turning the victim into the responsible.
I don't disagree that there's a big problem with the way Black people are treated by police and the criminal justice system in the US. In fact I think the prison system we currently have is pretty terrible and I want to see it reformed, having had three close (white) family members who've been in prison/jailed. I'm just pointing out that there's a big difference between a justice system that's systemically biased against a certain race, and a system that's explicitly put in place to target a certain race.
GovBins
The guide looks well written and I can't see any major errors (just skimmed it.) But some of the diagrams are potentially misleading. E.g.

read <---- write

write ----> read

Implies that send/recv perfectly correlate to each other when they can be split up in stream sockets. Your code addresses that already with loops. So I know you know that. Just confusing diagrams I guess.
> aren't we really saying voters are not individual agents but rather a mob subject to manipulation by propaganda?

Yes, exactly.

A symbiotic view of life: we have never been individuals https://www.researchgate.net/publication/235518850_A_Symbiot...

I have it on personal experience that DARPA seems to be enthusiastically funding more digital twin and collective intelligence projects than ever. Simulated virtual publics are going to become more common in both war and politics. Collectives are going to be the driving force of the coming century, and the sooner the American public evolves beyond fetishizing the individual, the better.
McCaul's net worth is estimated $294 million. His positions are a rounding error. That he owns so little Meta is impressive.

Mullin's net worth is 20-75 million. So up to 0.25% of his net worth if we use the low estimate is a Meta acquisition? Who cares?
By "places" do you mean physical establishments like bars and restaurants?
The existence of democratic sociopolitical structures does not preclude the existence of targeted mass propaganda, or the weaknesses of the human psyche. Nor vice versa.
Yes, indubitably.

Whatever your political persuasion may be, the facts are that a felon, rapist, and insurrectionist who actively and very visibly tried to steal the last election just became president. And now oligarchs are falling over themselves to feed him money.

We are toast because our polity is brain-rotted. No sensible and educated society would vote these terrible people into power.

(Though to what extent democracy will unravel remains to be seen. Trump is stupid and ineffective and the country has been through worse.)
Yes, absolutely this. If I don’t want it to run, I will hit ctrl-c.
So you are saying Trump went against 87% of lawmakers?
This seems a bit strange to me considering the default behavior is to only show a suggested command if possible and do nothing else. That means they explicitly opted into the autocorrect feature and didn't bother to read the manual first and just guessed at how it's supposed to be used.

Even the original documentation for the feature back when it was introduced in 2008 (v1.6.1-rc1) is pretty clear what the supported values are and how they are interpreted.
I think it makes sense, if I typed something wrong, I often feel it before I can read it, but if I already pushed enter, being able to ctrl+c within 100 ms is enough to save me. I'm pretty sure I've also aborted git pushes before they touched anything before I put this on, but this makes it more reliable.
That's a great point, I'd agree with that.
The beauty is that you don't care what hardware you run on, all you're annotating are very useful but generic properties such as which threads are sharing a lot of memory, or perhaps that a thread should have highest performance priority so that internally it stays on p cores instead of the more scalable e cores. Very simple optional hints.
It is most definitely true for numeric programming (and Haskell is _somewhat_ dependently typed). For example, look at this finite bit width concatenation operation:

https://hackage.haskell.org/package/clash-prelude-1.8.2/docs...

How it compares to Ada though, I could not say.
This being raspberry pi absolves you from needing to buy a separate hardware noise generator: it has plenty of GPIO. For example, one can obtain entropy by sampling random noise generated by reverse-biasing a junction in a cheap pn transistor. Here is an example: http://holdenc.altervista.org/avalanche/. Bonus — maybe it will get you hooked on electrical engineering!

Btw, some versions of raspberry pi already have hardware random number number generator accessible at
/dev/hwrng.
Leaving aside that there was (and is) plentiful local demand [1], you're arguing a strawman - the poster never claimed Europeans weren't the cause/driver of the trans-Atlantic slave trade. Only that other's roles were omitted and falsely ascribed to Europeans.

[1] https://en.wikipedia.org/wiki/Slavery_in_Africa

> See? It’s so omitted there’s a lengthy, well-sourced Wiki entry on it!

Omitted from this study, as the parent poster was specifically talking about it, as would be clear to anyone not actively trying to misread my comment.
Falls squarely within the "They were too busy figuring out whether they could do it, to ask whether they SHOULD do it"
They're called issue labels, go read up because your complaint isn't valid.
> Also, F Dell for not putting power/sleep lights on their laptops anymore.

Yes! It makes me crazy that product designers continue removing helpful LED indicators users rely on - all to maybe a save couple pennies per unit. Other offenders are power supply bricks not having a small LED lit when it's receiving power and Ethernet switches not having RJ-45 sockets with the standard-forever dual orange/green indicators. Sometimes power bricks are on extension cords or power strips which get turned off or kicked loose. Yes, users could open the laptop, log in and finish some pending Windows update just to confirm it's still charging. But that's stupid.

Just this week I needed a cheap, generic 5-port unmanaged switch and almost clicked buy without noticing they'd used connectors without indicators. I quickly found another unit with all the same features and (probably) the same chip and board, which did have LEDs - and it was $5 less! Yes, I could walk to wherever the cable goes to check that the device is on, active and what speed it's at but that's stupid.

Relatedly, there is a lesser circle of hell reserved for product designers of consumer devices intended for daily desktop or nighttime bedside use, like wireless phone charging stands, who put an LED on it that is so fucking BRIGHT it could give a sunburn. Some of them go for extra credit by making the Lighthouse of the Gods BLINK like aircraft landing lights - when indicating normal use - not an exception state.
I am just relaying my experience. Bluesky and Mastodon together cover 90% of the intelligent discussion I used to get on Twitter, weighed more heavily towards Mastodon. To pretend it’s a dead platform is ridiculous.
at least fractions of a second, 250 would already be much more noticble.. 100 is a nice compromise between "can't react" and "have to wait", assuming you're already realizing you probably messed up
I'm not sure that it is. It goes to great lengths to explain how to get this particular card + says 'any transit card' in so many words.

It doesn't seem explicit.
better yet, encode the units into the variable/config name so people don't have to guess. You wouldn't believe how often I have to guess whether "10" means 10 seconds (sleep(3) in linux) or milliseconds (Sleep in win32).
My first thought when he was elected was the crypto bros were stupidly trusting. Why bother promoting BTC when you can just launch your own coin (as an "official act" of course) and then mandate its use.

Looks like someone around him realised the same thing.