skysight-inc/HackerNews huggingface dataset:
> TypeDB models are described by types, defined in a schema as templates for data instances, analogous to classes. Each user-defined type extends one of three root types: entity, relation, and attribute, or a previously user-defined type.

This sounds like an EAV table, which is generally a bad idea.

Re: types, Postgres allows you to define whatever kind of type you’d like. Also re: inheritance, again, Postgres tables can inherit a parent. Not just FK linking, but literally schema inheritance. It’s rare that you’d want to do this, but you can.

In general, my view is that the supposed impedance mismatch is a good thing, and if anything, it forces the dev to think about less complicated ways to model their data. The relational model has stuck around because it’s incredibly good, not because nothing better has come around.

EDIT: this came across as quite harsh, and I’m sorry for the tone. Making a new product is hard. I’m just very jaded about anything trying to replace SQL, because I love it, it’s near-universal, and it hasn’t (nor is likely to) gone anywhere for quite some time.
Well that’s exactly what happened to Facebook, and YouTube.

People don’t really tend to believe it but when I worked at Facebook inventing features for users, 100% of the time our discussions were based in “how do we improve community and happiness and squash divisiveness and hate?” and never about revenue. Until influencers took over the internet. Then more and more we started being told not to ship things that were fun or socially good because it would break viral loops or undermine the market dominance of Universal Music or some such shit. So I quit.
Who were you expecting to be on the yacht?
It's the same for me. It has to work 100%. I have 15+ years of coding experience, so I can code arguably fast. If I ask the LLM to code something, and it only partially works, then debugging and fixing the generated not-so-optimal code takes me more time than simply writing it from scratch.

There are also some more gotchas, like the generated code using a slightly different package versions than the installed ones.
I have some fine $300 bookshelf speakers and tpa3255 chipamps setup in the living room and office; it's great yeah. I tend to think most people will end up with sub-par gear if they try to go secondhand, won't fully appreciate what value you can just buy new just looking at online recommendations in your price range, but if you want to be persistent & picky & eventually eventually snap up a steal secondhand does come up with some buried treasure sometimes.

I do have to switch inputs between Chromecast Audio and the computer that's plugged in. That's annoying. And I'd rather have Chromecast alike built into the amp like Nexus Q showed. At the very least these chipamps could offer me a 5v1a for powering my Chromecast. There are a couple fancy semi-expensive amps that do have Google's audio casting, but they're big-ish fuller-sized receivers and honestly expensive.

This setup I have has been kind of portable, but mannnn I don't love it. I literally have a chipamps velcroed to the side of a speaker. There's a 6s lipo for the chipamps and a USB battery bank for the Chromecast, plus cables for both power supplies. Audio cables from Chromecast to chipamps to speakers. I've gone long on making this a portable useful anywhere system and it rocks.

The one simplification is using some powered speakers. Micca PB42 and Neumi BS5p both will self-power off the 6s lipo batteries, are ~$150.

But it's just absurd & wild that speakers with networked audio are so un-mainstream. That I had to velcro this package together myself is absurd. How has the ecosystem only narrowed and narrowed? (Meanwhile Sonos is busy committing deep-cut enshittification/de-networkization).
I’d like to see a system where you don’t review patches, you fix them, and then you send it back and have them review the improved patch. The game ends when someone accepts the patch as-is.

But maybe it would only work for peers on the same project.
The two seem isomorphic. Just sub R for \not P. Doesn't seem to change anything interesting about the proof structure.
You make it sound untenable to support email/password auth, but given that the vast majority of low tech and high tech online services manage it just fine, I think you might be exaggerating a bit. Since Midjourney is already outsourcing their auth flow, they could just as easily use a third party that supports the most common form of account creation.
Some (usually larger) boats can have movable keels - lifting or swing. It's usually controlled by hydraulics. If it's in rough weather you'd expect it to be fully extended to lower the centre of gravity.

They're lifted when going into shallower areas.
Are you a hospital admin? Kindly fuck off with your universal "facts" which contradict the lived experience of the people you are talking to here.

There are many, many facets to how medical is "supposed" to work; what happens in reality is often much different.
I think text-to-SQL is quite cool and works reasonably well.
They had a god of "Art & Design" Ptah.

https://en.wikipedia.org/wiki/Ptah

I imagine that the creative class was revered and feared. Potters had very low status making a commodity product that everyone needed. Hard to say what was going on.
MJ coomers? The same MJ that bans accounts for coomer content?

Not sure that will change just because of a new frontend.
+1 to supporting Clarkesworld. His anthologies are great:

https://neil-clarke.com/the-best-science-fiction-of-the-year...
Ah, okay, I guess I was confused.
Sanatoriums, asylums, mental institutes, and retirement homes… all called Mount Pleasant.
I frequently pass cars that have signs of an impaired driver. Usually the driver is texting, but the signs are usually failure to maintain lane, frequent (unnecessary) brake tapping, and sporadic acceleration.

Something that impedes my ability to pass unsafe drivers is unsafe.
> Maybe this all changes when AI takes over, but AI seems to do fine without us defining ontologies, etc.

If you say "AI" in 2024, you are probably talking about an LLM. An LLM is a program that pretends to solve semantics by actually entirely avoiding semantics. You feed an LLM a semantically meaningful input, and it will generate a statistically meaningful output that just so happens to look like a semantically meaningful transformation. Just to really sell this facade, we go around calling this program a "transformer" and a "language model", even though it truthfully does nothing of the sort.

The entire goal of the semantic web was to dodge the exact same problem: ambiguous semantics. By asking everyone to rewrite their content as an ontology, you compel the writer to transform the semantics of their content into explicit unambiguous logic.

That's where the category error comes in: the writer can't do it. Interesting content can't just be trivially rewritten as a simple universally-compatible ontology that is actually rooted in meaningfully unambiguous axioms. That's precisely the hard problem we were trying to dodge in the first place!

So the writer does the next best thing: they write an ontology that isn't rooted. There are no really useful axioms at the root of this tree, but it's a tree, and that's good enough. Right?

What use is an ontology when it isn't rooted in useful axioms? Instead of dodging the problem of ambiguous semantics, the "semantic web" moves that problem right in front of the user. That's probably useful for something, just not what the user is expecting it to be useful for.

---

I have this big abstract idea I've been working on that might actually solve the problem of ambiguous semantics. The trouble is, I've been having a really hard time tying the idea itself down to reality. It's a deceptively challenging problem space.
That's a super neat idea- we should in fact be able to use this same system to support the orchestration of a 'system prompt caching' sort of thing (across deployments). I'll put this on my 'things to hack on' list :)
It is poorly specified but also pretty common with the obvious variations. Eg: the person you are trying to pass, passive-aggressively speeds up.
I actually scrolled up when reading the story to make sure if it wasn’t new content by Ted. The man is antiprolific!
I was mistaken in the prior version of my comment when I said Crystal uses structural typing. As a somewhat trivial C++20 example though:

template<typename T> concept CanDouble = requires(T t) {t + t; t * 2;};

template<CanDouble F> auto foo(F t) {return t + t;}
template<typename B> auto bar(B t) {return t + t;}

As I see it, the foo template function uses structural typing, because the required set of properties of F are explicitly specified (in this case with name "CanDouble"). Two operations, t + t and t * 2, must be defined for F. On the other hand, bar uses duck typing, because B can be any type that can be added to itself.

Note that in this example, foo(std::string{"abc"}) will not compile, because string doesn't satisfy all the properties of CanDouble, even though the property it doesn't satisfy isn't actually used by foo. In other words, strings don't have the structure described by CanDouble. However, bar(std::string{"abc"}) does compile, because strings can be added to strings in C++, and B is only restricted by how it's used in bar. In other words strings "walk like a duck", so they're a duck.
This is very outdated information. AV1 encoding with SVT-AV1, which is a high performance encoder written by Netflix and Intel, works faster than x265 (and other h.265 encoders), and is much closer to x264 IIRC. With lower quality presets it worked at 3-4× on my old Haswell i5. On higher ones that still make sense by their own recommendations, the speed was around 1×. That CPU is over 10 years old.

https://gitlab.com/AOMediaCodec/SVT-AV1
I have one of the cars with this system and I believe it is dangerous, as the car is beeping for your attention, it causes regular split second distractions from your situational awareness. The main issue is that these aren’t the only beeps the car does, it has many other beeps, including one for when it notices the speed limit has changed. So you have to spend some mental power figuring out which beep you’re getting. It’s very distracting. Not to mention the fact that the system is wrong just as often as it is right. It often mistakes speed bump speeds for whole street speeds and beeps at you for not going 20 the full length of the street. It also has about 33% accuracy with school zones. Sometimes it knows it’s a school zone but mostly it will beep if you go over 40 in a school zone even at times when the limit is not 40. I do think it is a dangerous system as it aggressively draws your attention away from the road. Also for what it’s worth I’m actually on the slightly slow side of driving! I don’t push the limit, and this system is still an issue.
Fabric plans to make advanced cryptography ubiquitous
I guess the old 80/20 Rule or Pareto Principle somewhat applies to the support distribution for many products. That is, 80% of the support resources are taken up by 20% of the clients. (incredibly-vaguely-speaking, naturally)

The variable is "20% of what type of client?". 20% of Taylor Swift concert attendees, or 20% of assembly coders? Each comes with its own unique challenges!
There are other types of motors that rely neither on magnetic fields nor electrostatic fields, for example the ultrasonic motor which is commonly used as a focusing actuator in high end camera lenses. They use the piezoelectric effect to cause a semiconductor material to physically deflect and "push" the rotating part around in circles... or in a line in the case of a linear USM.

https://www.piezo-motor.net/

https://www.meddeviceonline.com/doc/what-are-canon-s-linear-...
That is a nice explanation. However, it fails to answer the question posed to the assertion regarding gravity:

>> The gravity of the Earth absolutely changes the speed of the probe.

> Wait! Wouldn't Earth's gravity take away when departing just as much as given when arriving?

As I understand your contribution, it is congruent with Earth's velocity altering the speed of the probe, not Earth's gravity.

The flyby of Earth reduced Juice’s speed by 4.8 km/s relative to the Sun, guiding Juice onto a new trajectory towards Venus. Overall, the lunar-Earth flyby deflected Juice by an angle of 100° compared to its pre-flyby path.

I can see how your characterization of "goes shooting back" doesn't mean 180° change, but a change relative to where Venus will be as the probe interacts with Earth and arrives back to Venus.

I have a hard time understanding how the flyby fits in the overall plan however. This is the first Earth flyby, right? "Flybys en route: August 2024 Lunar-Earth, August 2025 Venus, September 2026 Earth, January 2029 Earth" [0] If so, the probe is not going "back" to Venus, because it hasn't been there yet. It has been on an orbit of a different ellipse than Earth and so this flyby is where it takes a left turn to head towards Venus for the first time.

As JUICE starts its first elliptical solar orbit, its distance to the Sun decreases. This results in an increase in speed—according to Kepler's second law of planetary motion—and the spacecraft overtakes Earth. [1]

0. https://www.esa.int/Science_Exploration/Space_Science/Juice

1. https://sci.esa.int/web/juice/-/58815-juices-journey-to-jupi...
People defending the system: are you presupposing it is perfect?

Because let me tell you:

- Start-stop when it first came out was not perfect, still isn't *

- Automatic headlights were and still are pretty abysmal

- Crash detection systems are horrendously bad

- My car thinks it knows the speed limits of the road I'm on but it's often wrong

I'd love to know what new modern cars you drive with perfect 'safety' systems (I've driven a lot of modern cars)

* I still find that start-stop incredibly annoying on automatic cars. At least on manuals you can keep the clutch pressed to pause it. Need to pull away quickly? Sorry, wait a second for the engine to turn back on...
The inevitable "find out" phase that always follows the "fuck around" phase.
I have found the subset of humans who use nothingburger in their vocabulary to overlap highly with sad sacks that are no fun.
None of those checklist things are done out of an interest in care - it is about avoiding liability.
Top result for me is https://en.wikipedia.org/wiki/Coca-Cola_Cherry
Or when a car behind you tries to double dip on the overtake so you are forced to commit with them barreling up behind you.
Here's a good explainer on the need for specialised hardware for zk-proof & encryption algos: https://www.paradigm.xyz/2022/04/zk-hardware#hardware-matter...
A version of this already exists (for awhile). It is a mine that sits at the bottom of the ocean and then launches a torpedo.
Yes, this is accurate. You often end up with many solutions and human judgement is sometimes required in the end to pick the right strategy. However, what I have found in practice is that heuristics and hinting can rapidly cut through that complexity. E.g. "always pick the shortest path between tables, and never use this set of tables as intermediate nodes on any path" rules out a ton of options, and usually will leave you with one or two, and usually those are the natural choices.

In this way you can use polynomially-many constraints or rules to avoid exponentially-many weird or exceptional routes through the schema. I am optimistic that you can build a system where by default, the autojoin solution is the natural one maybe 90% of the time. There will certainly be exceptions where you have to express the join conditions explicitly. But I think you can dramatically reduce the amount of code required.

I would also hazard the suggestion that this might produce productive backpressure on the system. If the autojoiner is struggling to find a good route through the schema, it's possible that the schema is not properly normalized or otherwise messed up.
I feel as if the fundamental issue with speed limits is that they often feel arbitrary and infantilizing. If the roads are designed properly then you don't really need them except perhaps as a warning (e.g. the German autobahn isn't unlimited on sections that have tight corners).

My residential street in London is a 20mph limit. But it doesn't need a limit because it has speed bumps frequently enough that if you care about your suspension at all your max speed is average 15ish anyway.

Then there's the main roads leading into town which are also 20mph limits, but are double lane roads with fairly wide lanes. Some of them even have metal dividers.

It fundamentally makes no sense for the limit to be the same on both of those roads. One of them is a proper thoroughfare with a high design limit that was 30 until very recently (probably 40 or higher "back in the day"). The other is a neighbourhood that only really the residents and visitors have any business driving on.
I was about to say, after so many years doing Go, I have never seen this and would love to read blog post about why interface literal is useful.
every year i think, damn this linux desktop has been great for a while now! oops now i am getting full computer lockups worse than i have ever seen on windows even:

i dont know if this is : some recent intel microcode affecting 11gen somehow? wayland gnome? tracker-miner-fs3 3500 sql errors per second... is this the problem or symptom? ubuntu delaying 24.04 updates from 22.04... guess i just wait a month in case that helps, did upgrading my framework bios make it worse or better? it happens to be more common when opening youtube tabs... is this some kind of malicious youtube vs uBlock war bullshit? NO idea how to troubleshoot this kind of low level full lockup that i haven't learned in 20 years of linux experience (not enough desktop experience i guess)

On the plus, i did learn about alt+print-screen+ (R E I S U B ) which is a horrifying thing to remember, let alone need to use it
Yeah, I think most times it isn't the drawing but the calculations I'm doing in the background, I'll have to try this out.
The transaction fee comes into picture only once during the entire project. Here’s the breakdown.

1. Users start a project and send it for review
2.Client, signs up, approves and pre-funds its (escrow-like). These funds sit in an escrow like account with us.
3.The user creates tasks and assign budget from the funds.
4.When the work is done, the user moves the task for review (approval workflow)
5.If the client approves, the funds assigned to the task move to your account. If he doesn’t, he can request/specify modifications. (Payment workflow)

Hope I made sense.
you: A patient discharged in the middle of the night is not going to be literally kicked to the curb in the middle of the night.

the post you were responding to: [the hospital] made him leave. In a quite rough downtown area he was not familiar with. While clearly not in his right mind. At 2am. With no wallet, no phone, no nothing.
As I said, according to the three sources above, which are the first sources I clicked on which didn't seem like blogspam, the phrase "proof by contradiction" is a term of art which means "uses the law of excluded middle to conclude the truth of a statement given a proof that its negation is false". It may be unfortunate that the mathematical world has standardised on the phrase "proof by contradiction" for this, but it has standardised on that phrase!
Navy thought the same thing. And they already have this (e.g., mine that has a torpedo).
> Are they suing the hospital and care team for many millions of dollars?

Did you try clicking the link? They are. 5 million dollars. I expect they will win, and that still won't make them whole.
Warrenton is a beautiful little town. I'd move there, but Amazon's presence isn't helping the already inflated property prices.
AV1 is already faster and has been for around three years — if you're not using the reference encoder, which is dog slow, and that will probably not change. Have a gander at SVT-AV1.
That was my first thought when I read about that.

What are the odds that both defendants die on the same day in "accidents"?
"People" says nothing about how common it will be, only that it will happen. It's happened to me and I'm confident I'm not the only one.
There is a fee that gets piled up during ‘payout’ though - when we send money to users bank. As you mentioned, this can be made to do batch wise daily or weekly or manually :)
Tell HN: Looks Like Google Has Updated Search with Relevant Results at Top
Looks like Google has updated Search with Relevant Results at Top and moved the sponsored search results at the bottom of the page. It is a nice, welcome experiment.
They originally suspected that the mast broke in the storm, but they found the boat intact.
All but one of the crew survived. None of the passengers did.
Los Angeles area hospitals routinely dumped patients until a lawsuit settlement a few years ago. I wouldn't be surprised if other hospitals are still kicking patients out today.

https://abc7.com/good-samaritan-hospital-patient-dumping-hom...
Somewhere there is a doco about the guys who lay these cables, I’ve forgotten the name, does anyone know it? It has a focus on the guy who has his hand on the lever that controls the speed of the spool the cable is rolling off. This guy needs to have mastered the mysterious art of ‘slack control’, the intuitive understanding of exactly how much cable to drop down to the depths of the Atlantic. In my memory of the doco there are only a handful of people who do this professionally, and it’s not worth the hundreds of millions it would cost you to figure out what they know not to just hire them at eye watering rates to lift and lower the control lever guided by the secrets they know which you don’t

I feel like I saw it at imax, but it seems an odd topic for an imax movie?
I have taken several undergraduate courses in physics. If you have some clue what they are saying with:

> In some applications, these motors could offer an overall boost in efficiency ranging from 30 percent to close to 100 percent

please illuminate. Brushless DC motors across a wide variety of applications already exceed 50% efficiency. Perhaps there are applications in which they cannot reach 50% efficiency, so a 100% boost in efficiency would be possible.
Yes, and its rapid rise means that it’s due to the environment/lifestyle not genetic predisposition. Therefore the collective remedy is also environmental/lifestyle related.
Seconded; while the occasional legacy program might have issues, I'm happily doing 4K with scaling in KDE with Wayland.
Are 'Human-AI Breakups' as Painful as Real Ones? A Psychologist Answers
slightly related but mathsisfun is a goated website. one of the all time greats. myself and many other people only got through maths because of this site.
Depends. Does HP stand for Harry Potter?

Interesting question!
from his wife Bess Stillman - https://bessstillman.substack.com/p/in-memory-of-jake
and they didn't even know she was dead - the death certificate was not completed until her body had been rotting in their facility for a year.
A bash script to set a config value…?

I’ve been blocking ads in Firefox since you used CSS to do it [0] but let’s face it, advertising isn’t going away.

Advertising is annoying, but tracking is evil and I hope initiatives like this can pave the way to having ads while not compromising user privacy.

I’ll still block them, though.

[0] https://www.gozer.org/mozilla/ad_blocking/css/ad_blocking.cs... (love it that site is still up!)
How Synthetic Biology Could Destabilize the World
Maybe they saw the storm coming towards them and they panicked and committed suicide.
In Sweden -- or at least in Uppsala, that is, which is the only university I have attended -- it was (and probably still is?) called "akademisk kvart", the "academic quarter" (of an hour). Everything was said to begin at <<some hour>>, but that was understood to mean at quarter past <<the hour>>.
I write them in a text file, if it's software that text file becomes a readme over iterations and development. For stuff that isn't software I just keep a directory of text notes.