skysight-inc/HackerNews huggingface dataset:
That's good to know, thanks
SQLite functions for JSON are very useful, I built myself a NoSQL data store for Swift that works with Combine and SwiftUI to reactively update when data changes. The data storage itself is handled by SQLite through putting, extracting and changing JSON string in a schema of a table with a few columns and it works great.

Before building this I looked around for something embeddable like SQLite but to store and process JSON. It turns out, the best NoSQL alternative for SQLite is SQLite. Such a versatile pile of C code.
surely being able to construct a turing-complete computing device is a sufficient condition to qualify as general intelligence, and it seems like a reasonable bar for considering a purported intelligent agent as interesting.

> It seems foolish to me to search for something when we can't even define it.

This is backwards. The vast majority of concepts outside mathematics are pretty hard to rigorously define. The way we approach the problem of trying to find a sensible definition is by searching for examples and counterexamples and performing induction.
Nah, thanks to CompCert[1] C actually has one of the highest quality and most predictable compilers.

[1] https://compcert.org/
What kind of junior engineers are you hiring that prematurely rewrite a hot loop to use branchless assembly logic?

The junior employees I have had to deal with tended to build towering abstractions that no one really needed, rather than optimising hot loops.
On the contrary, I hated it. I just want to see the UI, I don't want to go offline! Give me an "I'm just playing around, I promise!" button I can click on to test it.
Thanks for listening @vishnuharidas! Any feedback always welcome and if you want more languages let us know which ones.
IANAL but I believe the BSL restrictions only apply to new upstream code versions. All HashiCorp repos can and always will be usable under MPL as they were up until the moment immediately before the license change.

In other words: if you hard fork now, you don't need to pay.
Calling Ken Shirriff ...
Don't. It's been acquired. Use the community fork: https://addons.mozilla.org/en-US/firefox/addon/istilldontcar...
And what about ARM architectures? (Apple Silicon etc.)
Tailwind Component System
a tiny and powerful package that allows the styling of components to be controlled by props using tailwindcss classes
Paradoxically, AWS CDK License is still Apache-licensed:

https://github.com/aws/aws-cdk/blob/main/LICENSE

So I lived to see when Amazon's offering is more open than Hashicorp's...
I love Shen and highly recommend the Book of Shen and Tarver's other book on Logic and Computation.

The crazy thing about Shen is that its type system is sequent calculus, which means when you define your types, you are literally writing the same language that mathematicians use when they prove things about type theories.

Why would you use it? Because you can leverage a crazy amount of power by writing your own type theories in your programs.

Is it practical in today's corporate world? Probably not, but there is at least one case study in the real world https://www.youtube.com/watch?v=lMcRBdSdO_U
Most, is the key word.

The 3 examples you picked are performance-centric vehicles. Performance vehicles tend to be rear-wheel or equal. You simply can't get the performance characteristics out of a front-wheel biased car.

Most AWD systems are doing a 60/40. Many of those are even further biasing towards the front wheels during cruising conditions. It's far safer for the average driver to have a FWD-biased car.
To me, seems to create incentives to donate effort to competing open source products. So it goes.
https://blog.mozilla.org/en/

Just read their blog. Latest three:
- EU's AI Act
- Fakespot school supplies?
- Making trustworthy chatbots to support women plagued by violence and abuse

The first one might make sense? Second one WTF? And third is disgusting (I know people effected and the LAST thing they want is some chatbot).

None of these are related strongly to Firefox. I quit donating to them years ago after it was obvious they have their priorities messed up.
That wasn't the only change. There was an alternate computational scheme that didn't depend on electron-positron experiments that gave results consistent with the Muon g-2 experiment.
The built-in doesn't provide misprediction information to the compiler.
First of all, as is probably clear if you read my comments on this, I personally think it would be better if the definition of "open source" did not exclude this kind of re-sale limitation. I don't think it's intuitive at all that this is required to fit the definition of "open source". It seems to me like a tacked on ideological stance from the gatekeeper of the definition, that isn't present in or implied by the words themselves.

But while that's what I think, it isn't at all the view espoused here by Hashicorp. They aren't claiming this is open source. They are accepting the OSI definition and not claiming their new license falls within it.

They aren't being disingenuous. You're putting words in their mouth, and then getting mad at them about those words they didn't say.
Community doesn't cut it. Communities judge you, they gossip about you, and they contain people who rightly or wrongly feel a sense of rivalry with you, feeling ambiguous or even opposed to you thriving. Even among your friends, some will unwisely share information in ways that turn out to hurt you, despite their best intentions.

A therapist is more like a grandparent, in a way that most grandparents can't be any longer. Once upon a time, your grandparents understood the world you lived in, or at least understood how people in your world related to each other. They understood how survival and respect and love worked for you and the people you dealt with. Virtually none of my friends could say that about their grandparents now, or even their aunts and uncles. None of my aunts, uncles, or grandparents ever lived in a world resembling mine. Everything about my life, including my emotional concerns, is alien to them.

Now, instead of talking to a relative who can't relate to your life and your concerns, or talking to friends who can't be trusted with secrets or aren't comfortable discussing the topics that are upsetting you, you can pick a therapist who understands the place and social milieu you inhabit, is bound to confidentiality, and on top of that has professional training and experience.
Work from home augmented with in-person meetings (lunches, dinners, zoom calls) to expand one’s business network should be just fine. Nobody gets anywhere in business without social networking, but it doesn’t require working at an office to accomplish this task.
Simply look at the career of Van Gogh or any "Bohemian starving artist". Listing only the most popular, most influential artists proves my point: for most people art is an untenable career. In that regard AI, has virtually no impact on those who want to create. They will find a way to make something unique and valuable or they will fail like millions of artists already do in the world we have today.

There are many artists in my family and all of them have day jobs to support their creative passions. Mosts artists fail to make money; it really should go without saying that not everyone can be Helen Mirren or Paul McCartney. If requiring a day job makes you give up art, you probably didn't have the drive to create anything people really wanted. For most artists creation is a need, not something that is pursued for monetary reasons. Everyone tries to make money on their art, but again, even without AI the vast majority of artists fail to do so.
Author is calling for applying fuzzy logic in law? Or I missed the point?
I’m curious on the studies that show loneliness has increased. How was that tracked?

I’m certainly not arguing that people were more determined to be social in the past and that lonely people should just bootstrap up a community, but people met their neighbors in the past the same way you meet them now, when someone moves in you introduce yourself and invite them over for an activity.

If someone wants to go to church there is certainly nothing stopping them, I’m not religious but my brother is a pastor in a very well attended church.

Sports seem to be more popular than ever!

And Americans are moving less than ever not more.

https://www.rubyhome.com/blog/moving-stats/#:~:text=Current%....
Visualize the 105T Global Economy
And, if those projects had been licensed using AGPL, then Hashicorp would not be able to relicense this without negotiating a non-GPL license for themselves, first.

I don't understand why GPL gets so much hate on HN.
The general public view of the supreme court for a long time has been of a uniquely noble and incorrupt institution. Now people are realizing, or it is becoming politically viable to point out, that it is merely another political institution, prone to the same biases, influences, and constraints as any other.

I don't think it's sinister to attempt to align others towards this "political realism" view of the court. Attempting to maintain its mythology of being the sole realm of apolitical reason in the government in fact is pretty nefarious though.
As far as I know Chrome doesn't use every possible opportunity to nag you about self-righteous BS on how they're better and more private than everyone else?

It's one thing to make a mistake or do user-hostile decisions inline with your business model. But it's another to loudly shout about how "good" you are (and everyone else is bad) and then do the exact same thing.

Same reason why a policeman or some law-enforcement figure gets more outrage for committing a crime than a normal citizen.
It's honestly kind of nice for trivial decision-making. The d2 displays H/t instead of 1 and 2, so it's an actual coin flip. Other than that, I just wanted it for the novelty, pulling it out during D&D was hilarious.
Runtime type checks usually decrease the performance.
The maximum age constraint on the birthdate is problematic, since it becomes more restrictive over time. So if you store a user and their birthdate, you won't be able to load them again if they crossed the threshold in the mean time.

I'd just pick some reasonable cutoff (say 1907) and keep it at that value forever.
https://rucio.cern.ch/
He’s explicitly saying that it is not embarrassing in this sense and that it is rather that the discrepancy is ‘awkward’
Impounding is what they would do for regular joe's car. So why not for these "full" self driving ones?

Is someone simply telling them to be "lenient?"
First responders already deal with a lot of bullshit. Especially in San Francisco and Lo Angeles right now. Adding more to the least is peachy...
That sounds really familiar tbh. Basically the argument was "this is insecure" vs "Yeah, its supposed to be like that".
Is it okay to feel smug about not converting anything and everything infrastructure to Terraform right about now, like all the cloud gurus recommended?
...quoted from the co-founders of a closed-source company running previously open-source software. Pot calling the kettle black. Their company wouldn't exist either, this is a ridiculous statement.
Most of the available addressable market of websites that want a chat widget already have intercom, drift, crisp installed. All these companies have AI-features either deployed or on the horizon. You're going to have differentiate considerably to get someone to rip and replace. I'd say you should look at app stores on website builders like Shopify or wordpress, but they have AI chat apps as well. It's just a crowded space.
If these observations are confirmed, then Newton is wrong (which we already knew), GR is wrong, and MOND is wrong. I don't think the solution is going to be tweaking GR - it's going to be something radically different. This could be so big we might even uncover something causing us to re-think QFT and then put all the forces on equal footing. That would be huge, because where we are now we're stuck. We've been looking for hints for how to move forward, this could be it.
> I argue the window is moving as to what “open source” means

perhaps according to Hashicorp's marketing team, otherwise I haven't seen any evidence this is the case
1hr and 5hr is not long enough
That's similar to what some faithful say when you criticize stock market technical analysis. That it only predicts when participants haven't seen the chart.
Adleman is clearly the R, or you're breaking the scheme.
Ok, so reading a lot does not automatically make one a stellar writer.

(though not a bad one either)
We cannot trust humans to tell the Truth.

Better yet, can we ourselves deduce Truth?

So separately is LLM capable of discerning and manipulating Truth? No, not alone.

Humans are not innately truthful. However we may learn and embody principles, of which may be those of truthfulness.

Our technology must undergo this same process of self deception as we ourselves have not (collectively) figured out.

The Truth is the perturbation of Objective Reality (state’s collapse in the moment of now.) the “truth” is a figment of minds. Integrity is the measure in between.

As certainty is truly impossible, determination must come by the least uncertain resolve.

Consider that there are plausibly four representations of truthieness.

- pro-presumptive-truth

- a-presumptive-truth

- actualized-truth

- falsified-truth

The two former might be considered non-terminal yet representative (actuating bias explicitly), and the latter as terminal (mappings to discrete state resolutions.)

Now, ask yourself, can you tell the difference when you hear bullshit or important shit from another human?
I'm curious if Pulumi is interested in this.
So, earthform? :)
Yes, I would say that is the other half.
Cadence 1.0 Released
> The flaw in the thinking is that there will be "fair" competition.

Why does what OP concludes require fairness? Wouldn't the same logic apply if every player defects, in game theory terms?
I commend them for doing the test; this is an excellent idea.

Sadly, the test is no good in an environment where most drivers are very undisciplined and also confused about the tests (e.g., mistaking "minimum" for "maximum"), and there is insufficient time for retraining and habituation.

I'm sure it could work, but it probably requires a far more educated and disciplined approach to driving.
Even worse is that some of our predictive theories about the nature of the universe can not be tested. Unlike string-theory that has no predictive power, these theories make predictions on such extreme scales that are just impossible - with our current knowledge and tech - to verify, such as exotic forms of matter like strange matter [1].

[1] https://en.wikipedia.org/wiki/Strange_matter
Having been on the upstream side of things, it's very he-said-she-said. HashiCorp code could be a PITA to contribute to, or maybe this particular provider was bad at contributing.

The only way to know for sure is to dive into the merged and unmerged PRs and see how they were handled.
My hype for Zig died the day Andrew decided to push for that nonsense.
> Our judgements are based on narrow experiences and highly affected by the PR generated around them.

When it comes to Firefox, a lot of users' judgements might be from actual experience using the product back in its heyday (before it was lobotomized), as opposed to PR?

However, bringing PR into the discussion is a good point. Mozilla turned from a browser/web tools maker into a PR agency with unclear profit motives that happens to make an increasingly-lackluster browser.
What he’s basically saying here is “I’d rather let my personal opinion prevail than responsibly disclose and get some vulnerabilities fixed.”

Even if, at their worst, Apple is as petty as he’s “heard” (given the FUD surrounding quite a lot of engineer’s), the proper response is responding with less pettiness, not more. It’s reflective of the author’s character no matter how he expressed the tantrum.
“I on the other hand will never die. Aluminum picolinate: every orifice, every day.” - Dale Gribble
> In fact, it is advisable to read several more recent works on Roman history first,

I think that's the wrong way around. Start with reading the canon, and then delve into its refinements (schools get that all twisted too, only introducing cannon at the graduate level). Reading Gibbon will give you a deep appreciation of his influence. In the process, you'll get a genuine step closer to experience the Enlightenment (imagine yourself in your salon, by candlelight, a gaggle of kids playing in the room next to you) as well.

_Especially_ so if you are reading out of a dilettante interest, rather than professionally.
Oil looks pretty incredible and I think both the work done and the dedication to backwards compatibility are admirable.

That being said it seems like Oil is polishing the shiniest turd. I never liked Unix shells or shells much in general and strongly prefer to type out commands in a script (usually Python or Perl) and then run that script. It takes longer but I actually trust the result to work and I’ll understand it two months from now. Also when you do that you get all the benefits of using your riced-out, LSP-enabled editor. Ofc I still use a terminal for apt and other such programs, but not munging data.

It seems like if you wanted to make a modern shell you would work on improving the interface and not so much the internals. Like in the SerenityOS terminal emulator, how everything is clickable. I’ve always wanted an easy way to “export” a shell session to a script, including env variables and whatnot. Maybe types in YSH will enable better terminal emulators, I don’t know.
Your statement was "Nomad is a dead product" without knowing anything about the product. That's something to consider next time you make such statements.
The easy way: download koboldcpp. Otherwise you have to compile llama.cpp (or kobold.cpp) with opencl or cuda support. There are instructions for this on the git page.

Then offload as many layers as you can to the gpu with the gpu layers flag. You will have to play with this and observe your gpu's vram.
I think the license change is a pretty bad reason to feel smug - unless you are building a competitor to or platform on top of Terraform. Spacelift is stuck in a weird place because of this, but most users won't be.
That is a really good insight.

George Hotz was making a good similar point of modeling self contained systems vs. open systems - a very different thing.
> Passenger safety is the same myopic view that allows car companies to build vehicles that are increasingly dangerous-for-pedestrians.

Car companies do this by making bigger cars, so passenger safety and pedestrian safety are, to some degree, a zero sum game. Autonomous car safety doesn't seem to be the same.

> It seems blindingly obvious to me that vehicular safety should include its effects on non-passengers.

Seems fair.

> What a disingenuous way to frame the issue. Driverless car companies should be bending over backwards to work with public safety departments, not this “move fast and break things” shit.

This is only a disingenuous framing if you assume that increased passenger safety is coming at the expense of pedestrian safety, which seems like a stretch. It's just as easy to assume that, in the absence of a zero-sum element, increased passenger safety implies increased pedestrian safety. Is there any data that suggest otherwise?

> Driverless car companies should be bending over backwards to work with public safety departments, not this “move fast and break things” shit.

Postponing safer travel because of tiny edge cases might feel like the moral, cautious path, but it may well end up costing many, many lives.
If I’m really into a book I have to change posture often, from sitting, to standing up, and even pacing while reading.
Wait - sqlite can register python functions to be used from sqlite
https://simonwillison.net/2021/Aug/6/sqlite-utils-convert/

So you could, presumably, write a python function to process json using jq, i.e make a jq-from-sqlite function?

Presumably you can do the same in C directly with libjq + sqlite directly, with more effort but better performance.
Rethinking the Game: Competing with Substitute Products
This doesn't affect day to day operations for the vast majority of users, though. Unless you're these guys (and maybe Pulumi and a handful of others), one's ability to use Terraform as the way you manage your cloud infrastructure is unaffected.
Community is also creating its problems.

The past wasn't better in terms of mental health, as the evolution in alcohol consumption between now and then demonstrate.
It's hard to argue for building a product on top of another product that offers commercial support, at this point, since this is hardly the first company to do this.

I'm not going to argue about the ethical considerations, but in terms of your engineering a product that may have the floor drop out from under it, _that_ doesn't ethically seem right.
Thanks for the heads up, I will tell my coworkers. This seems to be the most popular terminal emulator at my company currently.
Compute to get this quality of text to speech is still quite expensive. Prices will drop as models become smaller. If you need more for now, we do offer Enterprise plans.
This is basically an SDK for their proprietary CloudFormation product, though, right? It’s not like CloudFormation is open source.
HashiCorp is successful because it solved problems for enterprise companies who were willing to pay for support.

To claim it solely exists because of open source is a falsehood. Companies that can’t make money don’t exist.
What do you use crypto for?
I don't believe sheer reading volume is the key here. I speak from some experience.

A long, long time ago, I did a degree in English literature. This was a bad name for it as a lot of it wasn't English. Or literature for that matter. But over the course of three years I must have read in the order of 300 seriously sized books / texts and a bunch of other secondary material.

Only a handful of memories stand out, out of a small swimming pool of ink. The Greek tragedies, some 20th century drama, and Chaucer.

What I really memorised though was what I _wrote_. My _essays_ are still easy to recall: parentheses in Thomas More; control of space in Ben Jonson; body integrity in Greek tragedy. I can still remember them 15 years on.

I didn't really like my English degree, and I probably shouldn't have done it, but I did gain a lot through the process of writing. I synthesised knowledge and developed my skill for spotting patterns. I forced myself to write original observations week in week out. I made myself start with an intimidating blank page and end with an artefact I could call my own.

(These things became part of my make-up as a software engineer, which is a job that rewards those willing to start from blank pages)

My advice is to match time spent reading with time spent writing. There's a reason why traditional pedagogy entails writing essays, not just sheer volume of reading. You are as smart as what you can write, not what books are on your shelf.
I'm curious if HashiCorp changed their licenses to GPL/AGPL, will everyone be as frustrated?
The young guy was fairly skilled at technical stuff, but his story about arguing with Bram was an insight into his interpersonal skills. It wasn't what lost him the spot though. I personally liked him but he didn't really perform on the nuts and bolts challenges we present to candidates.

They're not particularly difficult challenges, just things to see how a candidate approaches a problem. I don't remember what exactly was disconcerting about his approach but I feel like he took a lot of short cuts via google searching and didn't exactly understand what he was doing. This was years ago back when we did in-person interviews though, so my memory isn't 100% on it.

We have a lot of extremely intelligent people with small egos at my company and cockyness like that doesn't really fit super well with our group.