skysight-inc/HackerNews huggingface dataset:
Thanks for the reply! I wasn't at all expecting one from you.

If I'm understanding the difference correctly, it's that the constructive data modeling approach can be proven entirely in the type system without any trust in the library code, while the Java approach I recommended depends on there being no other way to construct an instance of the class, which can be tricky to guarantee. Is that accurate?
I'll concede - Queen knows what a soul is.
avoid proliferation risks

Proliferation risks seem like something we pretend to care about much more than we actually do. India, Israel, Pakistan, and North Korea all developed nuclear weapons with little more than complaining from the US.
It's entirely routine in the natural gas world;

https://www.businesswire.com/news/home/20170518005288/en/Pan...

> After the installation of 1.4 million linear feet of electrical cable, 113,161 feet of pipe, 890 tons of steel and expending more than 1.6 million man hours, Panda Power Funds’ 778-megawatt “Stonewall” generating station has achieved commercial operations. The Loudoun County, Virginia power facility was finished ahead of schedule and under budget, and initial tests show the plant is exceeding performance guarantees for both power output and efficiency. The plant is capable of continuously supplying the power needs of up to 778,000 homes in the Northern Virginia/District of Columbia metropolitan area.

Lest you believe the PR page after the fact -- They fundraised in 2013/2014, started site prep in November 2014, broke ground in August 2015 with a target commercial launch date of June 1, 2017 and Bechtel finished commissioning in May 2017.

https://web.archive.org/web/20151015014525/http://www.power-...

https://www.power-technology.com/projects/stonewall-power-pr...
Ownership can mean many things, including monetary ownership, passive stock, or part ownership in strategic direction. To the latter point, every team I've worked on that had a shared strategic vision was more productive, had higher morale, and was overall a more satisfying experience. I'm not sure anyone can quantify should in terms of compensation, but ownership of purpose and direction seems to fit.
> we keep finding serious bugs in code that is decades-old

I'm sure of one thing: we will find many and different bugs in decades old rust code one day, too. The problem with software is that it has code in it ;-)
I didn’t take a deep dive, but I’m interested in how you keep the binary size small. Is it simply that LLVM, etc., all have too much function overhead and don’t take advantage of routines over subroutines (function calls)? Or is your back-end just specialized enough to take advantage of architecture-specific features the larger compiler suites don’t have the time to care about?

Anyway, this looks dope. Truthfully, we could use more hyper-specific languages like this in all sorts of areas.
They do try, it's just the way the ticket sellers do it make it a little more in their favor, especially when they can show you signed something. Bought a ticket to EDC and they made me write my signature with my mouse and then used that when I charged back after they cancelled half the event (this was many years ago now).
Just to disambiguate, here machine learning = linear regression. So no auto-grad needed as gradients are explicit and simple.
Still interesting though.
I wanted to try it, but the pdf i tried just got an error with no info so ¯\_(ツ)_/¯
For that I had to make a custom service that periodically runs rclone. Duplicati does cloud backups, but it has a record of being a bit sus
FCC nominee withdraws her nomination after Manchin opposition
This is why I (and many others) I think still have some fond memories of Snow Leopard, marketed as 'bug fix' release. That feels like the last time there was a united push to polish up existing stuff without throwing in 'new' things.
Scott McNealy, co-founder and former CEO of Sun Microsystems, famously told a group of reporters, “You have zero privacy anyway… Get over it!” The year was 1999. The Internet as we know it was barely five years old.

Here we are in 2023 with huge commercial global data mills ingesting everything about everyone, with many people actually filing details of their private lives on Meta, tiktok etc every day...and yet edri is using a peashooter versus the EU and earnestly acting like it is still 1999..

EDRi are located in Brussels Belgium along with the EU HQ (the 'Tower of Babel' EU 'parliament' is in Strasbourg).
https://en.wikipedia.org/wiki/European_Digital_Rights
Coming up next on a content-farm near you, “Engineering Technician vs Technical Engineer: What’s the difference?”
>most recently for CDMA in the US and 3G in Germany for example, but also for non-VoLTE-capable devices on some networks in the US

This is quickly turning into all networks. I'm seeing a lot more people running into VoLTE issues now in dumbphone and digital wellbeing groups that are picking up old/cheap LTE capable phones to try out the lifestyle. T-Mobile was the last to fold and start whitelisting even in the MVNO space where usually we don't run into problems. There are cheap VoLTE capable phones that are available, but its become an easy way for carriers to thin out older devices from the networks.
Actually in C++ you are allowed to strip const and modify the value as long as the original object (not necessarily object in an OO sense) isn't const [1].

[1] https://en.cppreference.com/w/cpp/language/const_cast
There is also Ghostscript which is a postscript/pdf library, and since the site is operating on PDF content, my initial thought were that they were somehow related.
I've never had a doctor tell me what drugs are safe or unsafe to take with others, almost never had a doctor ask what drugs I already take.

You grossly overestimate healthcare providers, and there are many things much more dangerous that people are just freely allowed to risk their lives doing.
Taste is a constantly evolving thing. I am sure we are actually already in the midst of a shift away from flat design in certain more advanced design circles. Crucifying old styles can be helpful, especially when a new design flavor is explicitly reactionary, but is it not obvious that the trend from a decade ago is no longer trendy?

I am also somewhat doubtful that flat style was tied to specifically iOS 7, as opposed to the general zeitgeist of 2013.
> France isn't like the US were people are incentized to build equity for their retirement.

This is true but puzzling for one reason: the US pension system (Social Security) pays retirees the same amount of money as the French one. US pensions are not ungenerous compared to Europe. Americans are incentivized by the government to build equity in addition to their government pension, so that they are not wholly dependent on the government pension -- this has been a consistent part of the messaging.

I think this takes some pressure off the US pension system, since it creates a joint responsibility between the individual and the government, rather than putting it all on the government to unilaterally solve this problem to everyone's satisfaction. I do understand that it is easier to build equity in the US than Europe, so that probably is a factor in how the population views it.
> probably phpbb forums

I loved phpbb forums! I felt in control. Sadly, every community I was part of has moved on from there. One private community (I'm talking fewer than 15 members) I belong to moved to Discord.

It went like this:

"Hey, let's have a Discord"

(me) "But I don't wanna."

"Yesss... it's optional, the forum won't cease to exist and you can opt-out of Discord".

Current situation: the phpbb forum is all but dead. All of the activity happens in Discord. For no good reason, except that people who are online and chatting 24/7 like it. I don't. The forum has died for me.

Rinse and repeat for many other communities I used to enjoy (sometimes it's not Discord but facebook groups, with their absolutely aweful usability which is miles worse than phpbb, but you get the idea).
You need to explain the question further.

Should employees have some equity in the company? Of course. That’s the single biggest driving force behind the growth of the tech sector over the last few decades. It’s pretty hard for employees - especially at startups - to be fully bought in if they are getting a paycheck and nothing else.

Should every tech company be some kind of cooperative? That’s a harder one to answer, but this model hasn’t really been proven in the real world so until that happens it’s safe to say no, that won’t work.
Do you have some data/resources on this? I'm a total snowflake at this, but I'm willing to learn.
The way I was told the story, was that there were two exemptions, one for sports cars, and one for utility vehicles. So, just to be sure, the new cars were baptised "Sport Utility Vehicles", which is obviously non-sense, a vehicle cannot be at the same time both sports and utility.
In some areas, like Houston, .NET definitely dominates.
Well, Flexibits shot themselves in the foot and shifted significantly around then. I wouldn't go near that developers software ever again due to their hostility towards their longest users/fans.
simple logic would tell you to use a search engine for the query of "most popular X" where X = programming languages or programming frameworks

also, check out: https://roadmap.sh/
I meant foods with HFCS in it. I have never had it in its own, although I imagine it tasted disgustingly sweet. But I do like aspartame soft drinks more than HFCS/cane sugar soft drinks, and other “sugar free” options compared to the added sugar options (like popsicles).
Oh wow, you conveniently know the exact people doing those exact things at Walmart but instead first made up that I expressed a negative sentiment. Yeah, okay.
Yeah modern democracies are worthless. Take the Republican form of Government outlined in the constitution and make it where you have to be a stakeholder to vote. That means you're voting because you have an interest, not because you have a heartbeat.
Projects like these (using embeddings) are great, but what I'm looking for is something that can ingest an entire book (let's say a fiction book) then answer questions about the entire content (and not just by effectively doing a text search over your input, but actually "understanding" the entire contents of the book); I presume such a thing is not possible with ChatGPT (without fine-tuning), correct?
If we're going to use interesting in the sense in the article, that just means it has some attribute. We could formalize keyboard smash and this number would have that. If it's interesting in the common sense, then it's subjective. I found this number interesting enough to spend a few minutes on it, which is more than I give most numbers!
Perhaps you are interested in the "Mittelstand" model? It is hard to execute in America though, our business culture doesn't really align with it in recent decades. But that is probably changing.

https://en.wikipedia.org/wiki/Mittelstand
> Every book and movie out there has already pinned down the future as being one of a single, corrupt, world-wide government run by a psycho.

I'd take that as a mix of internalized propaganda (democracy is Da Best, therefore the dystopia must be the opposite - a psycho dictator at the top), mass-market appeal (most people seem to like basic character stories best, therefore let's' do a character-focused good vs evil story) and tendency to follow established tropes.

And if you feel that fiction "has already pinned down the future", I feel like I should warn about generalizing from fictional evidence, but I guess at this volume it's more of a self-fulfilling prophecy now. Everyone dreading but also expecting a dystopia is a sure way to walk straight into one.

> America's time is coming to an end. Crowds just aren't able to combat propaganda and other tactics from focused groups.

Could this be a maintenance issue? Most citizens - in the US or elsewhere - are just users of democracy, understanding it even worse than they understand phones and computers. It's not an easy system to grok - it's unstable on its own, and requires feedback control to function long-term. Most people never learn a good mental framework to understand such concepts - so perhaps putting more effort into teaching people not just history and political sciences, but actual control theory (or some handwavy simplification) would enable more people to both appreciate the system and help resist its subversion?

I'd like to think it would, but then the last few years have dispelled the illusion I had, that broad knowledge, proficiency with complex mental models, and good epistemic hygiene, are qualities that make people less likely to spew obvious bullshit in favor of their preferred political ideology. I suppose you can't easily teach people to treat intellectual honesty as a virtue.
I enjoy reading pieces like this because I try to imagine myself as the antagonist – the evil designer who is intentionally trying to remove depth and make color contrast worse

The antagonist doesn't exist. What this post is lacking is any sort of coherent theory on why we created and deployed the uniformly "worse" designs over the last decade since iOS 7[1]. Someone thought it was a good idea. Actually, it is a rather large number of people. Why do we have the design we do?

[1] People like to use mark as a "turning point"
This might be true for any other brand but Apple. Their marketing is second to none, that extends to their users understanding their products and capabilities extremely well. The cable will tell you it charges slowly because it’s not certified. It’s not something anyone has to “search out why”.
This was one of the first things I disabled with Continuity. As for why, it's not that complicated.

1) It's a distraction. I am also one of those people who turned on "Silence unknown callers" to send everyone I don't know to voicemail. If it's important, you'll get a message there. My phone either lives in my pocket or is on the desk next to me, so it's very unlikely I'd miss something.

2) At least with AirPods, although I have "connect automatically" turned on, I will never intentionally connect them to more than one source at a time.

Therin lies madness and bugs.
Thanks. Details from the article:

> A Pure Storage DFM contains NAND chips combined with the company's proprietary FlashArray and FlashBlade OS called Purity
Yes he's looking for a payday, i.e. the day you get paid for the work you did. He's not looking for extra special bonus dollars, but the dollars he's contractually obligated to get paid for the work he performed while employed. Im honestly struggling to see the issue here.

>> Elon isn't mocking him.

He literally posted a meme joking about how he cant feel his legs

>> It's interesting how Halli doesn't actually defend that he did any work.

Halli needed multiple tweets to fit in the list of major projects he worked on while at the company
Beeper Is Now Free
Car sellers will advertise it, and in the worst case, the government can keep jacking up fossil fuel taxes so that if people did not learn arithmetic in elementary school, they will learn it within a couple years of owning the car.
Secret Service and ICE conducted illegal surveillance through fake cell towers
It just doesn't happen

Depends on the datacenter. I work in a large testing environment, so equipment is being moved and parts are being swapped out all the time. The cabling needs to be nice enough that you have good airflow, can see all of the components, and to make swapping parts easier. Perfection isn't necessary but cleanliness makes life easier.
Well, the original was on the Atari 400/800 in 1984, but ok.
It's not even an Alexa.

But you can get text to speech libraries pretty easily to try it for yourself.
I think multi-currency systems can be used to juice microtransactions pretty hard still. For example League of
Legends gives players free "chests" and free "keys" as a slow-drip, and you can open any chest with a key to get some random loot. If your chest count doesn't match your keys you can buy more of either using real cash. So basically multi currency systems can be used to keep players intentionally in a state of imbalance. It also makes it so their money doesn't go as far in the game if you have to buy separate blue yellow and red coins instead of just yellow coins like it sounds like in your Hades example (just having 9).
Interesting. Is there a good consise page detailing the main differences between this and older standards? Stuff like cost and ease of maintenance comparisons?
I don't see much that looks like true lacing there, mostly a metric shitton of kapton with some ties at intervals to keep things from shifting around. Which is totally a valid way to do it but not really lacing
"settings" was vague. I looked in system settings - nothing there. Apparently, it's a 'facetime' setting? Will this make switching 'audio from mac via airpods' to 'audio from iphone via airpods' any faster?
Oh so you agree that US should stop meddling in Taiwan.
I use other messaging platforms, but when I'm sitting at my desk. If I'm relying on my phone then most of those communications are less important and I don't need to be fully connected/notified/tracked.
I used to have a can of coke for breakfast every day. I improved my diet a few years ago. I still enjoy the first few sips, bit I can't drink a whole can anymore.
12 years for a ban on ICE is not an impossible deadline on the order of "rewriting a linux kernel from scratch in 2 weeks." This is more akin to getting to the moon by the end of the decade.

ICE bans are already taking effect in cities across Europe. Viable transportation alternatives already exist for people in these cities. As the bans become more common place, the pain points will be identified and resolved.

Twelve years is a long time. The world has changed a lot since 2011.
Exactly. I think people want to be treated like owners more than they want an obtuse legal status of being an owner. In other words, a seat at the table when strategic objectives are being defined is what will make them act like owners, not a RSPA document.
Are they meant for querying data?
That is one of the downsides of fiber: you need to figure out your distances before hand and order the right length. One more reason to use copper in the house most of the time. Maybe some ~2ft lengths of fiber for use on your server rack where you need speed between the server and the switch.
Can I ask you where you sell your books? I’m also looking for authoring programming ebooks and looking for platforms where I can market them..
Am I the only one who likes sugar? You know that is substracted from fruits and vegetables. The one that all my 2^n ancestors consumed for billions of years. It gives me calories, so I can do stuff. (So do carbs, fats and protein.)

I don't like artificial sweeteners ( I don't really like sweet stuff ), as they are not proven to be safe. (Even when natural, they are substracted from weird stuff, not from carrots or grapes or whatever.)
> Google's automation systems mitigated this failure by pushing a complete topology snapshot during the next programming cycle. The proper sites were restored and the network converged by 05:05 US/Pacific.

I think this is the most understated part of the whole report. The bad thing happened due to "automated clever thing" and then the system "automagically" mitigated it in ~7 minutes. Likely before a human had even figured out what had gone wrong.
Would you mind explaining this and maybe dumbing it down? Sounds useful
Saturated fat and added sugar are both bad. I think the issue with "added" sugar is that basically all everyone eats all the time contains "added" sugar. It's a tough pill to swallow to be told that your entire diet is shit. Now you aren't just up against the sugar lobby but all processed foods.
I get strep every 2-3 years and go through 4-5 days of misery before paying to see a doctor, paying >$50 for a strep test, waiting another day for that to come back, just so I can finally get antibiotics from which I'm feeling much better (not "well", but much better) in under 8 hours.

The system sucks and strep is a bacterial infection. And big ag will hire whatever vet that says their cows need more antibiotics so it's not like my super expensive human system is really impacting the rate of superbugs.
No, I'm not saying that because that would make me an imbecile.
> It's not even an Alexa.

It's far smarter than Alexa. What do you mean?
I played something similar called Felix,
https://archive.org/details/msdos_Felix_1991

I'd be curious if anyone else had played it
IA link to Office of Inspector General report entitled Secret Service and ICE Did Not Always Adhere to Statute and Policies Governing Use of Cell-Site Simulators (REDACTED)

https://web.archive.org/web/20230307201306/https://docs.recl...
The only reason there is a debacle is because US is interfering in internal affairs of a country half way across the world.
And don’t forget, this was the “revolutionary” AP1 design that was supposed to fix all the bad things about the previous revolutionary designs.
Rust - Add RFC on Governance, Establishing the Leadership Council
Show HN: Xpano – a simple photo stitching tool
Open source, cross-platform, C++ gui app for stitching photos into panoramas.

Not nearly as many features as the competitors, but it remains simple to use.

My inspiration for creating this was the great Image Composite Editor (which is no longer maintained unfortunately):
https://www.microsoft.com/en-us/research/project/image-compo...
You're misunderstanding. Validation looks like

validateEmail : String -> String -- post-condition: String contains valid email

whereas parse looks like:

parseEmail : String -> Either EmailError ValidEmail

There is no problem using `ValidEmail` abstraction. The problem is type stability, when your program enters a stronger state at runtime (i.e. certain validations are performed at runtime) it's best to enter a strong state at compile time (stronger types) so that compiler can verify these conditions. If you remain at String, these validations (that a string is valid email) have no compile-time counterpart so there is no way for compiler to verify. So use `ValidEmail` instead.
How does that work? The 401(k) providers are lending out the securities that their customers own?
That's the biggest killer feature for me vs. C/C++. Any time I write C++, I avoid libraries like the plague unless they do a ton of stuff because it's such a hassle.
Love skeuomorphism! But do system preferences, buttons, switches need personality? The examples in the article are clearly cherry-picked. I think flat design is fine as a minial and accessible way to design important interfaces.
Nope. The only "cost-competitive" solar+storage installations I've seen lack sufficient storage to maintain their advertised overnight--even after a perfect, sunny day! For solar with sufficient storage to handle consecutive cloudy days (when panel production is <30% of max), the cost would be many times higher than natural gas. And solar that can't handle consecutive cloudy days requires redundant backup capacity... which, oddly, is never priced in!

In 20 years I think we'll look back on this idea that cheap solar could be the cornerstone of our electricity production as a goofy idea which was about as realistic as the ethanol fuel schemes of the early 2000s.
There have been a bunch of Linux kernel privesc vulns that can be converted to container breakouts from standard Linux containers, just look at bounties from Google's kCTF (AFAIK they've had 10 different kernel vulns in 2 years)

It's possible to mitigate/reduce them for sure, with appropriate hardening, but the Linux kernel is still quite a big attack surface.