skysight-inc/HackerNews huggingface dataset:
I'm an autodidact and a big fan of state machines (specifically mealy machines).

They can easily be expressed as plain data structures of three layers that map the name of a state to possible inputs/events to the appropriate name of the subsequent state. Then you only need code / functions for each transition (from state, to state) to generate effects. This data driven pattern is very straight forward to implement and easy to reason about.

I learned it from hobby game programming, especially its application and usefulness. It comes up in lectures/books, sure, but generally people tend to vastly underestimate its applicability and instead smear state control all over their code, regardless of their education.
This is a good step I think, the way of installing an PWA atm is very unclear.
Wait, so the royal family's assets are worth only 1.6 billion USD? That doesn't pass the smell test.
Something that I find very sad and is but discussed enough is using The Pile as training set (ok, for this one was will have to wait for the report). The Pile is a dataset of mostly English documents. So it won't have the multilingual capabilities of other models, like the ones by Open AI or even FlanT5. We are leaving a lot of people excluded from being benefited from open source models because of that...
Couple of things I learned from this:

1. Some birds go really high into the sky. Not sure how they evolved to tolerate such a hostile environment. But it seems that Duck-like birds are able to handle very high altitude.

2. There are lots of cool spaceships that man has made. But it seems most of these were made in the 1950-1990 era. It's a shame that we are no longer doing that.
Somewhat unrelated, but I think coding a state machine is a much better interview question than typical leetcode questions. I’ve suffered way too much from ad-hoc written code with state being distributed all over the place in several functions, where one or two state machines would’ve kept everything tidily.

I’m saying this as a self taught that tried to do his due diligence before looking for a job and fucking over all my colleagues work.
I don't know if any evidence exists anymore to properly back this up, but I've heard that the creator first went to Digg with the same claim about making it for them.
I'm not saying prolog is bad, I'm saying I struggled to learn the few things I learned about it, due to the lack of material, or it's bad indexation.
The Free Software Foundation has the following to say. [1]

> Many people believe that the spirit of the GNU Project is that you should not charge money for distributing copies of software, or that you should charge as little as possible—just enough to cover the cost. This is a misunderstanding.

> Actually, we encourage people who redistribute free software to charge as much as they wish or can.

So this “no selling” talk is defintely a diverging perspective and does not apply to all open source licenses. In fact I think it can’t apply to any, because commercial use is a freedom that would be restricted if it were true.

—-

[1] https://www.gnu.org/philosophy/selling.en.html
Yeah, i just read the proposal, there is a lot of holes, but, from general to specific:

First: even if you piss off a EU member state and they direct their watchdog to your product (i trust my country's watchdog wouldn't listen 99% of the time, but we are 28, so it could potentially happen), this has to go to the court. You won't have to pay for a lawyer and still have competent representation, and likely win because the ECJ dislike state entities going after small business. It's the same for GDPR btw. The watchdog would rather needle you to implement changes than go to court. And it's the same for trade laws (I know an irish business importing to France that have production facilities in Scotland, who kinda broke import laws multiple time since brexit and is still fine, even received a procedure on "how to fill you paperwork).

Second: Not sure how this will apply. From what i got, this can either go "internationnal treaty", and in this case it will apply to all europe the same way, or the "each country implement the idea however they want, this is the baseline" way. If its the second, the baseline will be much lower because...

Third: this isn't even the final proposition. Even if it was, it has to go through the parliement and will be changed. I would love having a diff tool to show people how much the parliement change the law from the initial proposition (either european or my country, sometime the final law can be on the opposite of the proposed law (or at least orthogonal)).
I think maybe it has the data of the bible (and some theology and religion knowledge) already during its training. And these are the background for it to handle other texts. We should test it with some unique information, preferably different from common sense.
I hate when I’m hovering my thumb on a comment for a millisecond when scrolling the comments sections and accidentally collapsing a thread I’m reading, how can they not test their app with users to catch these simple usability issues?
Were you asking him about what kind of db would be best suited for your project (i.e. relational, document based, graph, etc.), or were you asking about specific products, like Postgres vs. Mariadb?

If it was the latter, then I doubt he could have answered that even if he had taken the db course at his college. And that's probably fine, I don't think the differences between specific db products counts as the sort of fundamental knowledge that should be taught at a university.
Agreed.

I personally reach for Makefiles in exactly one situation: in research, when I’d like to collect lots of results from many computational experiments to make some plots or tables. I might have the whole process of re-running the experiments and rebuilding the final manuscript driven by Make. But even for this task, it feels pretty awkward and painful. I did try using Scons for the same purpose but didn’t like it as much.
For context, it didn't become big in Germany. Most burger shops tried Philly cheesesteakes in the last 30 years, but most took it off their menu's since.

E.g. in my 500K city in the east, we had at least 5 burger shops/restaurants with Philly cheesesteakes on the menu, only 2 carry it still. None of has comparable quality to my beloved Philly cheesesteak from South-Texas.
Take https://p3rl.org/Language::Prolog::Yaswi and steal the ideas into python then, you can probably at least get close to sqlalchemy style in terms of surface syntax at the python level.

(the perl community has implemented and released many strange and wonderful things, often years before other languages' communities noticed they were there (because we're weird), and while it's entirely reasonable to dislike perl as a language it's well worth looking at the things we've perpetrated over the years and stealing the parts you like for your language of choice :)
> I've wondered, how enforceable is a EU court ruling on a company with no assets in the EU?

Article 27 GDPR.

If you are not established in the EU, you must designate, in writing, a representative in the EU:

The representative shall be mandated by the controller or processor to be addressed in addition to or instead of the controller or the processor by, in particular, supervisory authorities and data subjects, on all issues related to processing, for the purposes of ensuring compliance with this Regulation.
it just detracts a bit from the "wow so high! 10 miles! factor" for the luddites among us
I remember talking to my old boss, who was something of an "old money" type, about summer holiday plans, some time in the middle of last decade. My then-girlfriend and I were going by bus to Berlin, 600km or so, to hang out, see Archaeopteryx and eat cheap food. He was going skiing in Japan - half a world away - and staying in some futuristic hotel, going by helicopter every day to and from the "really good slopes".

I was a strict vegetarian at the time, but I wonder how many döners a helicopter ride is.
That was true at one point (The original Steel and Coal union) but I don't think that plays a major factor anymore in the day to day. After the giant bribe scandal that is still ongoing in the parliament I'm going to lean towards that it's mostly about grifting these days.

I just want more local rule and less mandate from the kingdom of heaven like this crap about open source.

Who stands to make money from this grift ?
this is a good point.
It's a great achievement. I wonder what toolchain they used for this.

Also, isn't this inviting a lawsuit from Nintendo?
Mistakes are not necessarily accidental or guilt-free. The CEO absolutely made a mistake.
Im a libre2 user myself, i have to use the dedicated hardware reader as i also cannot use the abbot app.

I was also recently informed that with future versions of the libre patch the hardware reader I depend on will stop working.

The solution given to me by everyone else as if it isnt an insane notion "why not just get a secondary phone"

This has 2 possible interpretations

1. I buy a budget smartphone to handle my sensitive private medical data which likely will not be treated well with security updates as time goes on.

2. I buy a used smartphone that might also have similar baggage on top of potential compromise from the previous owner.

I've been a type1 diabetic for about a year now and I am DISGUSTED with how user hostile these companies are who design these solutions.

I feel like the worlds going mad considering the fact Im faced with the dilemma that my life literally is somewhat dependant on google play services
Wow how am I seeing this for the first time. This is great hah
If you like this, you'll probably like some of the books published by Bitmap Books [1].

Commodore Amiga: a visual compendium, for example [2]

[1] https://www.bitmapbooks.com/
[2] https://www.bitmapbooks.com/collections/by-system/products/c...
Meaning it's not going to be trained as it's being used. It can respond to context but it's not going to be continuously improving itself.
I would take a CS degree with no experience over a boot camp or for profit school's fresh graduate.

At least I know the CS degree has standards and academic rigor, with mathematics and some problem solving, which to me means they can think and adapt.

Once both groups get experience though they are pretty much the same resume wise. Then it is up to the interview process and probation period to shake them out
> I can't touch them anymore.

In my experience: while learning Dvorak, I found it difficult to type with QWERTY.

However, now that I'm used to split and ortholinear keyboards, I can type at the same speeds with either.
Hmm I don't think I dare. But thanks.
I was just saying that no matter what, all your eggs are in one basket. K8s is program that can fail like any other program. If it does fail (like etcd getting corrupt or even the process itself crashing for some reason) you can end up with a collection of servers that can’t do anything (I’m actually in this position right now). It’s exceedingly rare that this can happen, but it’s also exceedingly rare with regular servers. The difference is cost, right?

If a single server fails, you may be offline but there are well-tread paths to come back online. Your material cost is the cost of that single server. If k8s goes down, oh boy. Not only is it very complex, requiring knowledge of how it works to diagnose and recover from, but there can be zero documentation on how to recover. You are now also paying for a cloud of bricks.
I think there is a distinction between his private fortune and the holdings of the royal family.

> King Charles has no shortage of palaces, castles and residences to enjoy, but most of them are not technically his. Buckingham Palace and Kensington Palace are, for example, owned by the sovereign in right of the crown
I haven't followed this specific launch in much detail, but part of why SpaceX has been so successful is they expect a certain amount of failure and don't pin the failure of the program on the failure of any one test. This allows them to iterate faster than other programs that might have less test launches and thus rely more on the success of the launches they do perform. I've heard for example that this rocket is already out-of-date and the next planned rockets already have a bunch of improvements.
There are better ways to study that will last you a lifetime
I’m sure Snapchat is foaming at the mouth to get this Metaverse SnapVR sexting chat app ready to go to dominate the market fueled by raging hormones.
This will be the first ever launch of "Starship" SpaceX's next generation rocket.

Starship (and more specifically the Super Heavy booster that carries Starship) is the most powerful rocket in history and is designed for the purpose of carrying humans to Mars. SpaceX's new Starlink satellites are much bigger than the old ones and really require a larger rocket - this will be Starship.

This is also the first ever orbital flight test of a "Full Flow Staged Combustion Engine" [0], making the Raptor Engine the most advanced rocket engine in the world. Many people didn't think that full flow staged combustion would work so this is a great vindication of the concept.

Starship will also be the lunar lander for the upcoming NASA Artemis moon landings.

[0] https://everydayastronaut.com/rocket-engine-cycles/
The last time they did that they managed to wreck it so badly in six weeks that it's userbase imploded.

Reddit's management simply have awful UI instincts.
They currently send up Starlink satellites in batches of about 50 on the Falcon 9. On a more or less weekly cadence or 4 times/200 satellites a month.

When Starship gets going it might carry as many as 400+ per launch. In other words eventually they'll be able to throw more stuff into orbit in 1 month than they currently can in 1 year.

It literally means their bottle neck will be producing enough starlinks, and other payloads, per day. Incidentally, those things are also used by the military and in Ukraine.

Having this much payload capacity at this moment in time is very important. Without SpaceX people who want to put satellites into orbit would be somewhat at the mercy of Russia and China as capacity elsewhere is extremely limited.
There seem to be two camps: those who think k8s is a godsend, and those who think it's the devil incarnate. We fall into the former.

We run Rancher across a couple of bare metal clusters and it's been mostly an amazing experience (ca. 3 years). The only issues we had were with Rancher specific bugs, but those have been resolved and for the most part our infra is pretty autonomous. We do all HA at the application layer, so local NVME as opposed to network storage. This means Patroni, Redis Sentinel/Cluster, etc. But it broadly just works. Maybe we're not big enough to bump into issues, but I couldn't imagine migrating to the labyrinth of vendor lockin masquerading as cloud services.

What am I missing? Why do we have such a wildly different experience to others?
The shuttle was hamstrung by DoD and senate requirements.
To put together a basic question/answer demo that didn't quite fit their templates, I had to hunt a bunch of doc pages and and cobble together snippets from multiple notebooks. Sure, the final result was under 30 lines of code, BUT:

It uses fns/classes like `load_qa_with_sources_chain` and `ConversationalRetrievalChain`, and to know what these do under the hood, I tried stepping into the debugger, and it was a nightmare of call after call up and down the object hierarchy. They have verbose mode so you can see what prompts are being generated, but there is more to it than just the prompts. I had to spend several hours piecing together a simple flat recipe based on this object hierarchy hunting.

It very much feels like what happened with PyTorch Lightning -- sure, you can accomplish things with "just a few lines of code", but now everything is in one giant function, and you have to understand all the settings. If you ever want to do something different, good luck digging into their code -- I've been there, for example trying to implement a version of k-fold cross-validation: again, an object-hierarchy mess.
easy fix: switch to Android, a platform that allows users to chose what they want to do with the hardware they bought.
11:30, not midnight
It would range from unfortunate to a non-issue. The entire flight is not expected to be successful, the purpose is data gathering. The worst case scenario is that it fails on the pad and damages the launch infrastructure, which would be a huge setback to the project. If it fails anywhere else it's probably fine.
The mission plaque as a message for Earth habitants of the future is also cool!
I wonder how they estimated the flying altitude of pterodactyls.
Original law proposal at https://eur-lex.europa.eu/legal-content/EN/TXT/HTML/?uri=CEL... if you don't want to rely on secondary sources.
> I want a good notation for state machines that is similar to EBNF.

If this isn't a firm requirement, perhaps you can dig into the venerable state machine notations of yesteryear. For instance ARGOS [1] and StateCharts [2]. The latter got incorporated into UML somehow [3] IIRC. Esterel [4] is a bit mind blowing.

Other people prefer dataflow, in which case Lustre [5] might be worth a look.

These make a strong synchrony hypothesis which may or may not apply to your situation. But if it does you're in clover. And if you're not you can still try to use this stuff in a GALS [6] architecture.

[1] https://dl.acm.org/doi/10.1016/S0096-0551%2801%2900016-9 (and google some more)
[2] https://statecharts.dev/
[3] https://en.wikipedia.org/wiki/UML_state_machine
[4] https://en.wikipedia.org/wiki/Esterel
[5] https://en.wikipedia.org/wiki/Lustre_(programming_language)
[6] https://en.wikipedia.org/wiki/Globally_asynchronous_locally_...
Recently we analyzed the Hardkernel offer in light of OpenSecurityTraining2, and it looks pretty good but is more expensive than UP2. For example, the UP Squared Pro 7000 Series [1] is fascinating.

The pros of Hardkernel are open schematics (same as PC Engines), which is crucial if one would like to have open-source firmware like coreboot. Quite good testing documentation, transparency, and community. UP2 does not provide schematics, and their support could be better, which can be proven by reading their forums. There needs to be a sense of transparency and community building for UP2.

Of course, UP2 and Hardkernel products have other drawbacks compared to PC Engines, namely, no D-RTM, fewer NICs, higher TDP, no ECC, etc.

[1]: https://up-shop.org/ups-pro-7000-series.html
Vegetables aren't as great as ice cream, but you need vegetables, even if they aren't "palatable". Let's end the notion that everything in computer science is easy and hip and fun. No, recurrence relations probably aren't the most exciting, but they're important fundamentals. I expect developers to be adults and learn difficult things, even if they're not "palatable".

Agreed, though. We need to stop pretending 12 weeks of JavaScript is at all equivalent to four years of rigorous theory and practice.
If you're curious, I believe this is the song: https://www.youtube.com/watch?v=tNExdztAtWU
Just found this now. Working on something with a large JS 'backend to the frontend' codebase and wanted to avoid React's complexity on the Android/iOS versions.
How to Stay Safe Online: Tips for Personal Security
How I learned to "start worrying" and love the illusion of feeling safe.
Only $1.800 USD to watch it, lol
> Rightfully so

who cares if some nameless guy in a shack contributed to your third-party libraries? anon people contribute to open source software all the time, its irrelevant, as is their living situation.
I’m quite jealous. How big is your cluster? I’ve got several hundred cpus, nodes just for storage, and multi-region services. It’s quite a beast.
The Open Source Initiative doesn’t and never did, and its founder (ESR) invented the phrase, having forked the Open Source Definition from the Debian Free Software Guidelines. (Before that, the common term was “sourceware”, and it was in fact somewhat vague as to what counts or not. It’s all but forgotten now, except for the website formerly maintained by Cygnus Support.)

Even the 2000s “Linux is a cancer” Microsoft chose to invent the term “shared source” rather than attempt to dilute “open source” when they publicly released some source code for academic and noncommercial use. (They still faced accusations of terminology confusion, which might well have been true.) In that respect, the recent attempts at redefinition by Mongo, Elastic, et al. are a truly novel strategy.
Typos that omit security features and how to test for them
I think the problem (for humanity) is that there are some users who don’t care about the price and will pay $100 (or $200 or whatever) a year for a diffchecker. And this makes up for that hundred a who might pay $1/year or the thousands where 1% May tip $10 or whatever.

This means that the wealthy few will get tools and everyone else doesn’t use it. Not the end of the world on a case by case basis, but in aggregate leads to a world that doesn’t live up to the digital promise of zero marginal cost, post scarcity digital copies of everything.

People have to eat and creators get to set their prices.

I think the solution is incentivizing more volunteer based development and contribution of open source tools so creators can choose to build stuff and give it away (thanks gnu devs, etc etc).

This is harder for saas stuff so I’m thinking about something where there’s like a cloud commons to donate grid space for things that really need to run remotely but aren’t very computationally intensive so I don’t mind donating 1% of my hosting compute to run the saas equivalent curl to let strangers use it (for good purposes). For example, I’d gladly pitch in compute and disk to run an OSS-version of GitHub but will not donate a recurring monthly amount. This is part philosophy and part because I have unused disk and compute that I can donate without any loss to my own functions.
Connecting the Unbanked: How Internet of Things Can Expand Financial Services
Not a big setback at all. They would have to analyze reasons for failure and make changes. There are no serious "reusability" competitors, especially at Starship size.

SpaceX is trying to iterate quickly on this rocket so they have several already assembled. Next two launches will also be fully expendable.
> Honestly for pure programming don't focus on typing speed, as bulk of the work happens in the mind.

It's worth being nuanced here.

I think nobody is spending hours typing out code without interruption. So, roughly (and imprecisely), if you spend 90% of your time thinking/reading, and 10% typing; then having half the typing speed would only make you 10% slower overall.

That said, even if we say that typing is a low-intensity part of programming, then it's still good to reduce the time you spend typing things out. (Though, surely there's a point of diminishing returns).
This seems totally outrageous and retaliatory -- especially for the friend? Can you get some media attention on this? Is this not a violation of some kind of TOS? It seems wildly thuggish. Did your google authenticator also get nailed? Please answer, because if it's "yes" I'm moving to authy IMMEDIATELY.
Huge vote for Just from me as well.

It has revolutionised how I build my projects, particularly with monorepos and is a massive productivity booster when compared to manual task running.
That's an interesting question, but kind of hard to answer. Programming is inherently constructive so approaching a non-constructive proof as a programming problem tends to be problematic.

I don't think you run into any problems if you let the axiom of choice pick the same numbers every time. It would be a bit problematic if you were to add that as an extra axiom (suddenly every proof let x,y in X then ... therefore x=y would become trivial).
So you have to constantly rename it with each commit or what?