skysight-inc/HackerNews huggingface dataset:
The idea is quite old -- See for instance https://en.wikipedia.org/wiki/Formal_methods

For an example see https://en.wikipedia.org/wiki/Vienna_Development_Method#Bank...

The idea is to model the key aspects as mathematically rigorously as possible while ignoring lower level details. But even if you are not as rigorous, the process of creating such a model can help clarify things. As an example, if you are developing a file system you can abstractly define operations on it (read, write, create file, dir, etc.) and one can come up with a huge number of implementations satisfying this but as you add other requirements or constraints, quite a few choices are no longer meaningful. For example you want to implement a FS that takes advantage of NVMe SSDs, they put certain constraints. So then you need a model for an SSD (erase blocks are multiples of data blocks, write must be preceded by erase, etc. etc.). The idea is to model all this using a few abstract data types and state. You need not strive to programmatically derive an implementation from such a spec for it to be useful.
I love history like this. History books are so full of battles and conflict and always imply cultures were divided by huge chasms. I love to see the connections and wish we highlighted it more.

<Super Ignorant Take Ahead...>
I remember being taught in American History class that Franklin, John Adams, and Thomas Jefferson studied and admired Native American systems of government when drafting the Constitution but my kids weren't taught this (though to be fair American History was removed as a separate subject and no longer covered in depth in their schooling). Most 'mericans would say it comes out of enlightened Europe when John Adams cited the Mohawks, who he argued enjoyed “complete individual independence,” while tribal leaders brought major decisions like declarations of war to “a national assembly.” and Thomas Jefferson said “the only condition on earth to be compared with ours is that of the Indians, where they still have less law than we. The Europeans are governments of kites over pidgeons [sic].”

To me it seems today Persian history is so artificially removed from Greek popular history, but when my son and I explored Alexander the Great's history it lead to us exploring Persian history and feeling the popular narrative was manipulated from the reality with so much missing connections.

I responded negatively to a previous post on here about 'Islamic Golden Age History' because it artificially divides us when huge portions of that golden age thought was coming from Christians and recently conquered lands only tangentially 'Islamic' and again popular history Pigeon holing and artificially separating us all.

'Islamic Golden Age' thought is also much Christian mindset thought (though not Germanic western European post Roman Christian thought which somehow becomes all Christian according to historians). Persia IS one of the progenitors of Western thought alongside Greece (Alexander the Great adopted much from Persia along with lots and lots of other cross pollination). But we sure aren't given that impression from popular history.

Now today I learned Indian spices were influential in Roman food. But I was taught Europeans didn't covet Indian spices until way later. Why? What use does that narrative have? Over eighty percent of the 478 recipes in the fifth century Roman cookbook of Apicius included pepper and that cookbook was widely known about since the 1800s apparently.

OK too many words, and hopefully I didn't offend with my Islamic Golden Age stuff. I'm not trying to lesson the Importance of the Islamic world, but expand it. I just hate that today we self isolate and apply that isolating viewpoint to the past when it doesn't appear to have been the case.
Exactly. My contact in CalTrans tells me that because public roads are built to handle the big trucks, the wear caused by any vehicle under 10,000 lbs is effectively zero.
Silhouette – FOSS and public to use function signature sharing client and server
Aw i was hoping it was gonna go to Gregg Turkington's Deck of Cards project

https://www.heinetwork.tv/episode/deck-of-cards-teaser/
Who owns the trademark for Thinking Machines Corp.? I think `think.com` is parked.
How do you deal with the decay of the rubber bands? Or do they not stay in there that long?
Parents Drain Retirement Funds to Support Adult Children
I'm working on spinning up a startup in this space, starting with a focus on memory/context retention in agents at first. If you or anyone else wants to talk, let me know. I hear 5 founders walk into a SV bar and mention "AI" and you get your choice of VCs and Angels to go home with. So far, my team has 2 solid players.
AMQP (the protocol) basically requires this kind of behavior. Whenever anything "bad" happens, the state of the session becomes unknown (was the last message actually sent? was the last ack actually received? etc), and the only way to correct it is to kill the connection, create a new session, and start over.

Fixing that really needs to be at the protocol level, like a way to re-establish a previous session, or rollback the session state, or something. It's definitely hard mode for library authors to fix this in any kind of transparent way.

The qpid client libraries supported automatic transparent reconnection attempts, but in the end I usually had to disable them in order to add logic for what to do after reconnecting. IE, I needed to know the connection was lost in order to handle it anyways.
Oh my word.

2018, I was on Medi-Cal (Medic-aid) and had a stress ECG, right heart catheterization, and 12-lead EKG when admitted to their cardiac unit for 3 days. Cost $0.

Like a third-world country: in America, you're better off being either totally penniless or a billionaire. If you don't have a balance sheet of $5 megabucks, your life will be miserable.

The advantage most European and other countries have under socialism is it means there's a minimum average quality of life everyone. Pay more in taxes but get a lot more in terms of a more dignified, healthier, and longer life free from the slavery of "gotcha!" gangster capitalism.
W.r.t. the first bullet point, I don't think NY was any different - AFAIK the governor didn't "mess" with it (despite the reporting making it look that way); she just didn't sign it until the legislature revised it.

The second one is nice to hear though.
Tumbling Money Supply Alarms Economists Who Foresaw Inflation
True but I must insist you are remiss for not pointing out that the "tech industry" is founded on the military industrial complex and has been rooted in defense contracts throughout its history, including and especially silicon valley itself.

https://en.wikipedia.org/wiki/Silicon_Valley#History
I was able to use Google twice today so was able to offset your dent.
I think maybe you misunderstood; nobody in this thread is claiming the US has backed Russian rebel groups.
I despise JS clients because I hate waiting for the entire thing to download and initialize every time I visit a site to make a quick change. Looking at you, Hello Fresh.
You only start planning staying online when your database is down if you have some very rare and impactful requirements.

For way more than 99% of the people, all of that should be irrelevant.
> People need work to feel that their lives have meaning.

I don't think that follows at all. People need to accomplish things, yes. Those things don't have to be work in the sense we mean it today.
It's complicated. In some ways, the new occupants seemed like they propped things up artificially.

I remember going for one of my regular walks around there one afternoon a few years ago and noticing that either block of Market surrounding Twitter had a lot of people sitting on the sidewalk. The block with Twitter was devoid of this. Then I saw a nonviolent-looking homeless guy looking tired, attempting to sit on the "wrong" block. Without a beat, private security comes in to protect the techie outpost, maybe he tells them to move one block over. I was kind of disgusted. Like human misery is ok so long as no techies need to see it.

But I also think it was good they they were revitalizing those old buildings. It is unfortunate that the decline of office work has been pretty hard on SF's downtown. I hope it'll be back some day.
Wikipedia says it's free for foreigners and nationals, so I'm curious why they require the ID.
> higher quality accounts have been interacting less

any source / concrete examples of this? I've asked for this before but all I ever hear are general, sweeping claims without any actual data.
> where non-free is defined by the GNU project, i.e. the GPL compatible license.

The CDDL is GPL incompatible yet the FSF considers it a free software license: https://www.gnu.org/licenses/license-list.html#CDDL
You literally did. The rebel paramilitaries are the Russian-backed separatists.

The Ukrainian-backed paramilitaries aren't rebels because they support the government.
Saying he prioritized engineering results is VERY generous with respect to their autonomy efforts. I think they've prioritized hype and cost and part of the cost priority was not setting up guardrails or culture to protect the data.
The LLM doesn't have a goal. But ChatGPT is not just an LLM - it's an LLM + a loop + a prompt that sets the context. And it's that prompt that tells the entire combination that "it is a helpful assistant" etc, thereby giving the whole combination a goal, which it then observably follows.
I think we're talking past each other here.

I live in SF and it is not at all clear to me how expanding access to guns would either help or hurt the homelessness challenges in the city.
I think something important to note is that SF does not have jurisdiction over the Federal Building's plaza/steps.

I say that because it's a reminder of two things:

1) This isn't really a policing issue (if it were, wouldn't you expect the Feds to police their plaza better?)

2)This isn't really an SF-specific issue, since America has freedom of movement. People go to SF because they don't have better alternatives. I think everyone in this thread who lives in a jurisdiction that would either jail or forcibly remove these people should remember that as they discuss SF policies, since their government (The US Federal Government) is just as capable of solving these problems as SF's is, and can't actually do anything about it with the current toolkit (even in a 10,000 sqft area).

I also send this as a warning to those people, since SF is famous for experiencing social issues a decade or two before the rest of the country - Enjoy feeling like this is a foreign SF-specific thing while it lasts.
Nvidia! Fuck you!
This is an example of "a lie can get half way around the world before the truth gets its pants on".

I'm no fan of Musk these days, but there is plainly no evidence in the repo that Ukraine is being suppressed - the linked code is very obviously a model dispatch from an initial classification system, and it makes perfect sense Ukraine would need a call out there since a major war most likely would normally run afoul of profanity, violence, and calls to violence filters without actually violating them.
Not a direct response, but: adaptive toolpath (included in CAM programs like Fusion360) will make feed paths that aim for constant load on the tool, whereas more naive toolpaths will go from almost no load to extremely high load. On my crappy CNC machine it made a big difference in time/effort/money/waste.
https://www.youtube.com/watch?v=cv0EmWhd24Y
> Literally nothing last forever.

Not even the heat death of the Universe? That's great news!
I think I want to do the same. Can you describe your stack please? How much downtime do you get and how do you deal with app updates and system updates to the vps machine itself? What about monitoring?
Exactly.

Come in unconscious and bleeding out from a car wreck: "No, no, no.. take me to the other hospital with lower prices. And I don't want $100 acetaminophen."
> “other people” means: corporate stooges

Yes, every other person in the Free Software movement that isn’t currently on the FSF board of directors is a corporate stooge, obviously, so were he to ever leave, that’s the only possible replacement.

:eyeroll:
I needed rabies shots before I went to South America. The NHS doesn't cover the vaccine but they will stick it in your arm for free. So I spent £50 at a pharmacist for the three phials and the nurse at my doctor's surgery administered the first two. The last dose was due the day before I left but the nurse was off sick. So I rang another local surgery and the nurse there was happy to do the job. The American system baffles me.
Who needs a DSL when you can just have a massively nested undocumented yaml file?
No, they won't make any real attempt to slow down. No, they won't do more than make incremental advances. To the extent that large benchmark gains occur, they will be shown to have little practical value.
It’s not an old number, it’s a new number reported every quarter.

But you’re right that comparing largely highway miles vs all miles isn’t completely fair. FSD on the other hand can be activated and used in most scenarios and has 3.2 million miles between accidents vs the US average of 500,000 miles. So still quite a bit safer but less so than autopilot.

As for autopilot deactivating right before an accident, if autopilot was active within 5 seconds of the accident it is still attributed to autopilot, not the human driver.
I think you're missing the point. I understand that you value that. There is no question of that.

The majority of people however don't value it or actively desire it because no wants to live in a pigsty. There is a reason apps like Truth Social don't take off, and that 4chan never gained the mainstream popularity of other social sites.

There have been multiple reddit clones, multiple twitter clones, multiple social media clones all based on the false pretense that there is demand for a freeze peach social site, and they all fall flat. Mastodon is doing better than most and its gaining users because of Twitter catering to the alt-right and refusing to censor offensive or dangerous speech.
Glock 43X
I dunno why there's such an inordinate focus on changing the FSF. The FSF is what it is. It feels like instead of going another ten rounds with the leadership, it'd be more productive for the detractors of the FSF to simply make the organization they want.

Unless, of course, the goal isn't actually about organizing at all and is actually about using the FSF's brand for clout and tapping on its already established network of donors.
Did you miss the wave of people complaining about Indian call centers?
3%, 12% Potato, potato. It’s a small spec performance difference for a huge price difference.

Meanwhile, for actual real-world workloads, not spilling to swap (because you have enough memory) will result in real-world performance that is many times (even an order of magnitude) better. Even with Apples blazing fast SSDs.

Oh, and you can also spec a cheaper SSD because you don’t need one that can take a bajillion writes (because you aren’t treating your SSD as memory). AND the cheaper SSD will last longer too.

In short, Apple could spec cheaper components AND get better real world performance by simply shipping computers that have enough memory.

Edit: also 3% comes from shipping the absolute fasted DDR5 modules vs the second fasted DDR5.
Are we 100% certain it was due to a patent troll, not quietly fixing a feature that could do damage to the ear?
There are waaaay too many comments here hung up on the border example. This book changed the game for me, I consider myself a much more talented UX/UI designer. I can actually make stuff that doesn't suck now. highly recommend.
Very interesting, any chance you've got a citation for this? I'd like have some sort of proof next time I tell someone that they will happily plagiarize from single sources.
This will be my final reason to drop Fitbit for good.

Any recommendations for sleep tracking on Android? That's what I still use my Fitbit for.
I once dropped in to a hospital near Vacaville, maybe the same one.

There was a security guard at the front with a grey keypad. The would not speak to you unless you entered your Social Security Number. I made the mistake of entering it but thought nothing would happen because I didn't see any live human. Guess what? $800 bill for the pleasure of seeing exactly no service provider. This is how they work.
Not really. That's the famous difference between Boeing and Airbus autopilots. In Boeing planes the pilot is in command and can override the autopilot by applying sufficient force against the autopilot's suggestions. You can still override the Airbus autopilot, but it is a detailed procedure designed to make the pilot reconsider whether that's the right thing to do. And it's unclear which is the right perspective.
Reading the manual it looks like it automatically pulls the electrode back away from the workpiece after the arc is struck.
I was about to say the same. It appears the NY bill was ineffective from the jump and wouldn't have amounted to more than pageantry for the companies refusing to give such rights. It was a good thing that is was killed at the last minute.
Why is it slow? For example in https://htmx.org/examples/click-to-edit/ and https://htmx.org/examples/edit-row/ when I click the edit button, there is a noticeable delay between click and appearance of editable boxes.

I don't see any network requests being sent.
Thank you! I got your email and will reply soon. Definitely happy to chat.
And if that doesn't work just repeat "bird deaths" over and over.
> “If I went through and only passed the students I knew had put in a sincere ongoing effort I might have passed [about 2%].”

The only reason I went to university is so I can apply for entry level jobs that require a university degree. As long as the job market is structured this way it's cruel to fail student for not putting in "sincere ongoing effort". Nothing about university is sincere.
>throw someone else's money

Aha!
What I find especially amusing with Baltic and Slavic languages is that they also preserved much of the original corpora for bodily parts and associated activities, just as swear / taboo words.

https://en.wiktionary.org/wiki/Reconstruction:Proto-Indo-Eur...

https://en.wiktionary.org/wiki/Reconstruction:Proto-Indo-Eur...
Oh yes. This entire venture is something only the most foolish of geniuses thinks will end well. Almost every prior invention in the history of humanity was supposed to improve things. Some people got major quality of life boosts and other people still live in squalor, because people don't quit being human, but we can automate the humanity out of them, or "rise above" humanity via computer code embedded with human values, even the evil ones, and not just math. This will end horribly. Hopefully horribly enough that this idiotic worldview gets burned out of the collective consciousness of whatever survivors remain, so that no one makes that mistake again, but I doubt we'll be so lucky. Best hope to hit energy limits, and soon.
most intelligent according to your IQ metrics
I don't mind powershell as such but the windows ecosystem it is in kills any desire I have to learn powershell. The "python" command in powershell triggering an app store popup even with python installed is the one that pushed me over the edge. I'll just remote into a *nix machine...
> My question would be why you're in the business of writing a job manager in the first place.

Most often, because it's easier than configuring a ready made one.
Ask HN: Which websites sold your email the most
I always wished I started my journey on the internet by using one of those techniques to register on each website using a different email address. Some of them are:

- Using Gmail plus sign trick (username+facebook@gmail.com)

- Using subdomain on personally hosted email server (facebook@userdns.com)

- Using a provider that allows you to generate infinite random email addresses (protonmail aliases, Firefox relay....)

That way when you receive spam you know who sold your information.

What I'm asking you guys is if you know of somebody who wrote a blog post or a report analyzing their personal experience on this topic, and their conclusions.

Regards!
Will this hurt the reputation of Australian universities? If so, won’t it deter future international students from enrolling?
IMO an important lesson that freelancing teaches you is that some % of your clients will always be hopelessly stupid (in the Carlo Cipolla sense[0], but also to some degree in the literal sense) and that it's in your best interest to cut ties with them ASAP.

[0] https://qz.com/967554/the-five-universal-laws-of-human-stupi...
But will John Deere do what Apple did? Here’s one example:

“Apple shipped me a 79-pound iPhone repair kit to fix a 1.1-ounce battery”

https://www.theverge.com/2022/5/21/23079058/apple-self-servi...

“I’m starting to think Apple doesn’t want us to repair them”
It’s Django.. request data in, html response out. That’s all what you need :)
Nicely polished, I like it.

EDIT: Turns out the following behavior is intentional, but I'll leave the statement here so the child comments make sense.

I wanted to point out what may be a bug .. if I quickly drag a face-down card off the deck and release the LMB right away, it flips face-up, however if I leave the mouse button depressed for ~0.5s, it stays face-down. Maybe this is intentional, but I feel like it's a bit of a weird behavior either way.

Chrome 111/Windows.

Anyway, thanks for sharing :)
> We've gone from: - Uncertainty exceeding signal in satellite data is "simply not the case" ...

Not sure I can help someone who willfully misreads my comments! Give chapter 9 of the AR6 a read and then we can talk.
New York's chapter amendment process is totally novel in my legislative experience, haven't come across it anywhere else. Gives the governor a lot of power.
Also necessary:

- The ability to shuffle the cards without the jokers.
The paramilitaries I was referring to are these: https://en.wikipedia.org/wiki/Category:Paramilitary_forces_o...

Many of these are right-wing militias that have been fighting in the Donbas since 2014. Some have been absorbed into the UA national guard.

I have never mentioned pro-Russia paramilitary groups; I think you and the other commenter got confused because I didn’t explicitly say Ukrainian paramilitary groups. (Thought it was obvious from context which side I was referring; obviously the CIA would not be supporting pro-Russian militias)
Wow, beautiful and polished looking on Firefox.

It would be cool if when I clicked and dragged a card and let go of the mouse button, the cards slid a bit, to simulate them sliding them across the table.

I could see some people not liking that though, best to make it configurable.
Sure, but I wouldn't characterize that as 'being left behind.'

Just 'being delusional.'

And if we agree there, then yes I agree that people are less self-critical and more delusional now than ever before (since we have a much bigger toolkit to manicure our image, both internally and externally).