skysight-inc/HackerNews huggingface dataset:
No questions. But I just want to say congrats on getting another SKU out. I'm a very happy customer of an AMD FW13. The product has been pretty excellent and I absolutely love owning a notebook that I feel like I really "own".
Checkout Terry Tao's 'Distance Ladder' slides and video:

https://terrytao.files.wordpress.com/2017/11/cosmic-distance...

https://www.youtube.com/playlist?list=PLldN_DpkXL3ZQWmwmwIze...
Interesting, but paywall.
What I’m about to say is purely anecdotal. Posture, in my experience, is vastly overrated in preventing back pain. No amount of high-quality equipment will prevent issues because we’re simply not meant to remain static for extended periods of time. All of my back and hip pains went away the moment I started weightlifting, resistance training will do wonders to your body assuming you’re not injuring yourself in your practice.

You need to keep your body moving, and even mild resistance training is much better than any standing desk.
> The web-flow signing system is for users’ convenience in places where it’s not feasible to sign the commit with their own private key:

Who signs all their commits? Joey Hess maybe? There are certainly others. But I’ve never seen anyone make a case for this. In fact only negative cases since it just encourages you to automate your signing process, which many are not comfortable with.[1]

I’m not important enough to sign anything.

On Bitbucket we push the big merge button and out comes a commit with the correct person attributed to it.[2] Even Atlassian manages to do this the correct way.

> For the latter, you are free to send your own private key to your codespace so you can sign your own commits but

Yeah GPG/SSH sign commits... who cares. Most people don’t.

> Defaults matter and signed commits are important.

I don’t care about your opinion.

I wouldn’t mind if this was an option that I could opt out of. (I’m wondering out loud, not asking you or anyone else.) I just haven’t heard of it yet.

I’m a Git user after all so I’m used to changing bad defaults.

> As a sibling notes, this use case and similar ones is the reason the committer field exists as distinct from the author field.

Quite a leap to go from attributing emailed-around patches to the correct author while also maintaining the committer (like the maintainer) to what looks equivalent to Norton Antivirus junk output stuffed 40 lines into someone’s email signature.

> I think a $10K bounty for this bug speaks to how seriously they stand behind the fact that they will only sign and mark as verified commits whose author field matches an authenticated user.

“I think the price they put on this SPOOFING vulnerability speaks to how serious they are about verified commits”, they said without irony.

“Sent from my GitHub”, ah they all felt at-ease immediately... wait the same platform that had a spoofing vulnerability?

[1] Well, allegedly. I have never signed anything so I don’t know.

[2] They committed it too. Or wait. Was that the merge button?
>But for some reason most people are blind to this and don't get aggressive with drivers.

I'm not sure if this is serious, but it's one of the more obviously false claims I've seen on Hacker News:

https://everytownresearch.org/reports-of-road-rage-shootings...

>Experiencing aggressive driving on the road is not uncommon—roughly eight in 10 drivers surveyed by the AAA Foundation for Traffic Safety reported having at least one incident in the month before the survey.

In response to your other comment:

>angry about cyclists just existing.

I don't think these people are angry at cyclists per se at all, they're angry about a perceived anti-car sociopolitical shift, and cyclists are just a visible artifact of that.
Aviation, with the annoying exception of feet as unit, largely eradicates such problematic "local standards" from professional usage. At some point you find yourself simply using the "standard" ways even when you don't have to.

Yours sincerely, guilty of using ICAO phonetic alphabet with poor random office workers over the phone.
> I just don't see any unambiguous way to verify that another being even experiences qualia, to say nothing of actual consciousness

That's actually one of the core parts of Wittgenstein's "Private Language Argument"[0]. The problem isn't so much that verification is "difficult", it's that certainty in the specific sense of intelligibly private is a logical impossibility. The implication is that "experiential qualia" have a specific intelligible meaning in language (or even more broadly in behaviour), which is to say that our "subjectivity" is personal but not private. Further implications tumble outward. For instance, Wittgenstein spends a lot of time discussing the "qualia" of pain. It was (and still is, obviously considering the rise of "AI" discussions lately) an enormously consequential argument in philosophy.

[0]: https://en.wikipedia.org/wiki/Private_language_argument#:~:t....
There remain the trappings of what was designed to be static IPv6 addresses that would dynamically route to the network that device was - https://en.wikipedia.org/wiki/Mobile_IP

I don't know if it's actually being used. IIRC since then everything has moved to a higher layer.
From the article:

"Working in a retail environment, when things are busy, managers will step in and cover a desk while someone goes to a bathroom—things that, if you wanted to be a stickler about it, should be done by union labor, ..."

Started out making sure you didn't have to work 7 days a week, 14 hours a day with dangerous equipment - now has become, if you work in a bookstore and you need to use a bathroom for 10 minutes, the only person 'allowed' to cover for you is another union member...good grief.

Highlights perfectly why an ever increasing number of folks are anti-union and union enrollment continues to fall in this country.
At Pomona College, there’s a bit of folklore around a talk a math professor gave in which he “proved” that all numbers are equal to 47.¹ Consequently, students started noticing 47 everywhere since psychologically, it’s a popular number to choose as a “random” number between 1 and 100,² although some of the coincidences (the number of trees on the quad, the exit number on the 10 to get to Claremont) don’t fit into that schema.

⸻

1. Spoiler: there was a divide by zero in his proof.

2. Why? Because it’s near the middle of the interval and is prime, two things that will happen if you unthinkingly just grab for a number.
If your company is subject to the GDPR, I think you have to list subprocessors and where they're located.

Also ping times will probably be an issue.
Open discussions like this should give them a hint what to do. Supporting DRM is just less ethical than pirating.
That requires every device to be given a LAN-unique name...

...which a local IP address is, conveniently
I wonder if we couldn't use an oxygen concentrator as a first stage instead of relying on stored oxygen. This would obviously increase the cost of the appliance (probably by a significant amount) but it would be safer and less disruptive (no need for a new distribution mechanism and you can just upgrade existing appliances).
Maybe when they are not used for their main purpose in full capacity.
I wish they deliver good keyboard as well, like Thinkpads X201 or similar have. I am happy owner of modded X201 with updated screen, motherboard, and so on. It's not on a cheap side, but I'm happy to pay that price _only_ for the keyboard option. It's so cool. Folks back then knew what was important.
What do you mean by open door? In the sense of the "revolving door" through which people move between politics and industry?
Theoretically possible? Yes: https://chown.me/blog/getting-my-own-asn

A good idea? No.

IP addresses are used for routing. Every provider-independent block of addresses needs its own entry in the global routing tables, which are stored on basically every BGP router in the world. There's a limit to the size of these tables, as they need to be stored in special TCAM memory.

Note that IPv4 currently has many more routes than IPv6 not only due to higher adoption, but also due to higher fragmentation: some providers are obtaining many small non-consecutive blocks from different sources (buying addresses wherever they are cheapest), which results in a large number of routing entries. The increase in the overall table size means all other ISPs have to buy new hardware sooner than they would have without the increase caused by fragmentation. Everyone having their own personal address block would cause even worse fragmentation issues.
Are you planning to add blank keycaps or colemak/dvorak keycaps?
is there any benefit from using zig in this project

i see that Pharo is implemented 99.5% in smalltalk, which seem like a more reasonable target, implementing a language in itself is usually desirable

or is zig used just to bootstrap this implementation, and if so, how will this be better than Pharo
Lessons from launching our devtool 14 times on product hunt
darcs [0] patch theory was a predecessor to OTs/CRDTs (and a predecessor to git as well; in some ways it is the "smart" to which git was named "dumb"). When it works and performs well it is still sometimes version control magic.

pijul [1] is an interesting experiment to watch, trying to keep the patch theory flag flying and also trying to bring in updates from OTs and CRDTs as it can.

[0] https://darcs.net

[1] https://pijul.org/
When I want to be random enough I pick a large number than mod by another random number that is bigger then the max option. (mod again in the max number if needed) This seems unpredictable enough I've been unable to see any patterns in it.

lets say you need to pick a number from 1 to 20, if you take 1235 and mod 22.
mod is easy to do in your head as you can just subtract in steps until you get there. so 50 times 22 is 1100, we are left with 135. 5 * 22 is 110 so we are left with 25. 25 - 22 is 3.

I picked 3 and I would be hard pressed to guess it would end up 3.
The whole topic of logic is largely absent at my University - can anyone recommend some literature or a path to follow?

I'd like to understand the relationship to RDF / SHACL / OWL and Datalog - additionally what about first order logic with relations like it's used in model checkers like smtlib and temporal logics?

Could I build a system based on miniKaren that implements RDF and OWL? Can I do that with Datalog (i.e. cozodb?)

How would you implement something like validation / SHACL with a logic language? Datamotic / XTDB seem to use some idea like a record and offer bitemporality - is this somehwere in the literature described on a theoretical level?

How is the relationship to Hoare-Logic (we had a brief stunt into that for prooving correctness for loops)

Is it a feasable idea to implement something like Apache Jena in a Datalog database like cozodb or is it a conceptually a fools errand?

I only find very theory heavy works and venture capital backed websites that implement some part but I'm missing the bigger picture.

How to make a fast implementation would also be interesting. I just don't seem to see the forest for the trees.

I'm thankful for any hints!
Though the title is copied from the article, the title is needlessly inflammatory. Given the replication, practical application and self-admitted quantum physics vs. standard model crisis/failures of modern particle physics, astronomy, and cosmic theory, declaring victory around the Big Bang Theory is, and may always be premature, despite the surrounding dogma.

Would anyone who knew him personally agree that he claimed to have "confirmed the big bang theory", and that he would want to be remembered in that way?
Tarbell to Cromemco
I use mine constantly, swapping between standing and sitting 3-4 times a day.
All of that is doable with JSON Schema, though, noy so sonething that we’re still figuring out how to so.
Never heard of this before. Got any more information on getting that credit? Can't seem to find anything online about it.
I was really turned off by the mention of Kant at first, but reading on it's relevant to the discussion. This is a real scientist applying Kant's idea to real phenomena in a useful way. Please read the paper in detail.
WWE's 'Raw' is moving to Netflix next year in a major streaming deal
“B company” ;) Similar story: Bombardier trains in Switzerland. The defects required Bombardier to not only fix, but deliver several extra trains for free.
The only important thing is to get a really good one that is not wobbly.
I don't have a suggestion but at my workplace there is a really good one but I'm sure it must be very heavy too.
Nobody is going to hire you if you can't follow basic instructions.
We currently have a blank keyboard module available in both ANSI and ISO! For other keyboard layouts like Dvorak, it is technically possible, but we don't have a timeline for it.
> If this results in a 500% markup, customers should rightly be outraged.

No, it just means that the economics are different than what you think and that you should adjust your expectations accordingly.

For example, we can expect most electric car owners to charge at home with public chargers predominantly being placed on or near long distance routes. Public chargers elsewhere may struggle to be viable, except perhaps where home charging is impractical (eg. in areas where people don't have off-street parking).
Police forces are grossly under-educated.

FTFY.
Make the game available on the Switch store for like $5. 450/5 ~= 100, so after 100 purchases you've made back the money.

Sure, you'd have to spend extra time to polish stuff, and that would probably not be super easy, but afterwards you have a fully published game the daughter and all her friends could install.
Would your spouse leave you if you lost your job?
> If you don’t follow basic research and knowledge that largely undermines your hypothesis

That's not consensus though, that's existing prior results, eg things that actually happened.
This depends on your hardware. Choose a laptop designed to run Linux, not Windows.
I've seen one that had a glass lid that allowed you to view inside the top.

You knew it was working when the glass fogged up.
US customary units and formats are often used in US homes, but other units and formats are frequently used, particularly in industries that do business internationally. Even the US military actually uses DD/month/YY
We certainly hope so! We handed some early adapter boards to the community members who were working on it, so we hope that they'll be able to show some initial prototypes quickly.
In most households noone is going to pick up a screwdriver and start opening devices and appliances to try to fix them. When people have screwdrivers, usually it's in case they need to change a battery or a fuse, or maybe tighten something loose.

The HN community is massively biased.
It's closer to cezve/ibrik than to espresso in a sense that it cooks coffee at 100 degrees whereas the standard temperature for espresso is around 93, which results in more finer flavours in the coffee comparing to the basically burnt one.
> Too many IoT devices don't support it.

Huh? My thermostats are IPv6 only… (they're on Thread/Zigbee/whatever they call it now)

I mean, yeah, sure, there are old IPv4-only devices around. But we're now in a situation where a significant part is in fact IPv6-only. So,

> what a mess that would be

whatever mess that would be, we are already in it, and the way to fix it is forward.
Not in any very important sense no. The existing big bang theory made a big headline prediction and that prediction turned out to be correct, the theory is confirmed in this respect.

Later experiments might see some details in the measured result the theory didn't get right, but this doesn't invalidate the theory at the coarse level because at that precision the new measurements still agree with the old predictions: the theory is still confirmed in the sense that its predictions roughly match measurements.

Occasionally it happens that a new measurement of some detail comes up with a result that the existing theory cannot be easily modified to accommodate: only this represents a true challenge in the sense that if some competing theory easily explains the new result along with all the old ones that will then become the "correct" one.

Without this other competitor, a theory found to not accommodate the latest experimental results will be kept on indefinitely as the correct and confirmed one, but only used within clearly delimited context.
Heyyyy, that's not fair. The average indie game takes 7 years to develop... he should be releasing... soon.
> JSON with a schema is strictly better than XML with a schema.

I am baffled by this assertion. XML Schema (XSD) is much more expressive than JSON Schema.
Engineering needs to be embedded in a system that can handle the fact that engineers fail and still produce reliable and effective outputs. The primary purpose of management is making sure such as system exists and functions. Managers are the engineers of the entire meta-system, basically.
[1] might explain it, if it were so. But the fault would be of the MBAs...

Anyhow it was a management decision to not tell about the MCAS changes (not to mention what led to requiring it), management kind of does affect the engineering choices, and is it really over complicated to require 4 rivets?

https://www.airliners.net/forum/viewtopic.php?t=213075
If you can write Python,
Perl, Ruby, etc. Hell even yq in the shell. Then you have a full programming language that can output YAML or JSON in any way you want. No weird DSL, no twisting yourself into knots.

Just write normal code, make any data structure, print it as any data format. Call the code, output to temp file, use file, delete file.

Is it clunky? Yes. But it works, and you can't get any simpler.

Keep it simple, silly.
> Would anyone who knew him personally agree that he claimed to have "confirmed the big bang theory", and that he would want to be remembered in that way?

Almost certainly not, at least not the scientists who knew him. The scientific method does not involve proving (or "confirming") theories; it only involves falsifiable theories and attempts to falsify them.
Depending on the chair and your work.

I do like to stand sometimes when on meetings or presentations. I have a chair that promotes movent on it, which is good for changing the position and should be healthly. But i have never stood without any support (chair or stool) for a longer time on a table.

When i'm writing or coding i must sit, standing or leaning are really bad for me when i need to concentrate.
Maybe that'd at least be better than the replies lamenting the "decline of HN" or whatever you'd call the category of your comment.
> Ask HN: What happened to normal-sized smartphones?

Long story short: they're practically dead.

The iPhone SE from 2022 is the last generally ok phone, along with the 13 mini.

It seems that the iPhone SE is the last of its kind, mainly so that apple can profit off a lower-budget market segment.

The android world has been ignoring the small phone area for many years now. There are some smaller android phones, as long as you are okay with dubious updates assurance and/or generally lower quality.

I have the iPhone SE from 2022. I get your being annoyed. I'm annoyed too.
Allowing a credit card company to have a /16 is one way to do it. Do that 65,535 more times and IPv6 is exhausted.
> ask 100 random people

I don't think it should be left to the opinion of 100 "random" people.

I'll quote Wikipedia[0] again:
"Self-hosting is the practice of running and maintaining a website or service using a private web server..."

Embrasure is built on a Virtual Private Cloud instance.

https://en.wikipedia.org/wiki/Self-hosting_(web_services)
You get your IPv6 addresses the same way you get IPv4 addresses - from your RIR.
Whats the point of that without having arguments against each excuse or offering solutions?

or is this just and "you're an idiot for thinking that" sign?
Even with that though, home-brew games are almost nonexistent on the Switch, or extremely minimal. Having the ability to launch a game with a modded Switch, doesn't mean you have access to the SDK, or the documentation. Without those things, you really can't write any useful programs. It's like gaining access to the cockpit of a plane, and having no manual or labels on what all the buttons do.

If you truly want to develop a Switch game, you need the SDK, and dev hardware is basically necessary as well. That's only coming from a deal with Nintendo.
Us old folks remember the days when reformatting was a computationally expensive action that required a special program to “pretty print” the code. And heaven forbid your code used some language feature your pretty printer didn’t understand and mangled the output making your code uncompilable.
As with many ferries, the Superferry could let you bring your vehicle with you on the trip. The rental car companies would care because that would reduce their business as many locations in Hawaii are best accessible via private vehicle.
Definitely not ready for that just yet. I've just started making the project public, it's still a little far from a usable state. I love the energy though! I'll post about my progress along the way.
When you didn't know how this worked, CoffeScript's fat arrow functions became a life saver when attaching callbacks from inside some object you were writing that probably had an init() method to set up the handlers:

// Doesn't work, <this> is <window>.
document.body.addEventListener("click", function(event) { this.handleClick(event) })

vs.

document.body.addEventListener "click", (event) => @handleClick(event)

You only needed a .bind(this) in the plain JS version, but it felt like surprisingly few people knew this back then.

Interestingly enough, the current version of CoffeeScript compiles this code into a ES6 arrow function itself, but I think back then they used bind() in the transpiled JS.
Any plans for a keyboard with a trackpoint-like device?

Is it possible to remove the trackpad?
>Solved to the point that squeezing a bit more recall out of vector retrieval isn't the problem anymore.

I think this is a bit of a strawman.
I don't think recall is the main point these systems are trying to sell us on, it's more about robustness and ease of use compared to building something inhouse or using a lower level library to build a system on top of it just for this small part of your overall project/product (be it RAG, search, whatever).

I guess Lucene-based solutions, while very mature overall in terms of engineering, lagged behind this functionality (out of caution, trying to build what's going to be long term useful) and are also perceived a bit too cumbersome. So these stores do make sense, I think. The core functionality is nothing too complex (at least HNSW), but hiding it behind a stable black box with just a few inputs and levers, has value for people that are likely to use these stores.
Thank you for writing this tool. It cheers me up every time I see a green 6.
> the experts out there on committees

The IETF does not have a committee process.
> Won't anyone think of the giant multinational corporations instead of the kids learning to program for once.

It's not a binary choice. Kids can learn to program in 1000 different ways. Getting social Brownie points for pointing out someone else isn't being incredibly generous is pretty poor behaviour, I think.
Sometimes a skyscraper with balls is just a skyscraper with balls.