skysight-inc/HackerNews huggingface dataset:
That's a good point; roads can certainly have a strong glare.

I see an independent optician who is fairly old. Although they sell sunglasses, the optician has never suggested that I should wear them. Do you think this is perhaps newer guidance that is shared by more recently-graduated opticians, or maybe something promoted by a major chain of opticians?
Unity is currently redesigning their engine from the ground up using an ECS architecture. They're calling it DOTS or Entities.
Good metaphor. One does not get suddenly obese, it happens gradually and steadily and is well correlated with overeating. Your metaphor illustrates my point, not yours.
> Bandcamp is good, it’s profitable and sustainable and it basically works.

If they're profitable then why do we need to play these games? Why can't we keep a good thing going?
Wasn't a clip of that test shown as the in-flight movie in "Airplane!"?
Actual angle brackets look like this: 〈〉 A bracket should visually surround the text it's containing, otherwise it looks confusing. The less-than and greater-than signs are only used due to ASCII limitations, though I'm wondering why they didn't go for square brackets, which are available in ASCII.
What if the captive portal just had a link (or on an IFE screen, a QR code) that connected your phone to a different, WPA2/WPA3 protected, hidden WiFi SSID that was generated exclusively for you? Phones nowadays support joining a passphrase protected WiFi AP via a QR code, so I'd imagine that's doable. The hard part would be finding routers that support >300 different hidden SSIDs, but honestly I would hope that that is technically feasible nowadays.

That way you'd at least have the protection of the WPA GTK.
To use the cliché imagery, all empty vessels contain the same thing but not all are equally potent.
Let me translate for you:

"We know with certainty that IVF is gravely immoral." is essentially "I know I'm 100% right and everyone who disagrees is wrong."

Seriously, why even bother engaging with people like that who have made it exceedingly clear they are uninterested in listening. In the words of the always incisive Barney Frank, "I'd rather have a debate with a dining room table."
According to the discussion and brief browsing of code changes I don't see any intention or proof it's for promoting the cloud solution. The title is not justified. The report was made 13h ago after beta versions released. There's no response yet.

update : found response here:
https://github.com/Kong/insomnia/issues/6577#issuecomment-17...

I understand it's intentional
Impressive, he has legs.
Dropbox sacrifices user privacy for cost savings (2011)
I'm a PhD Candidate and was very disappointed to find out that my university no longer does printed copies of dissertations. I really wish they did.
They don't sit there and point the camera at you for the entire lunch. I don't know what kind of people you have lunch with, but nobody holds their phone vertically and in your face when texting unless they have a serious social skills deficit. They tend to hold it a few inches above the table at a 45 degree angle, or even under the table.
Perhaps for the reason proposed by you, the IBM typewriters had "*" but they did not have "× U+00D7;MULTIPLICATION SIGN".

This has forced the choice of "*" for multiplication in Fortran, in 1956. All the other languages that use "*" have taken it from Fortran. There are only a few exceptions, like Algol 60 and APL\360, which used "×", because they did not care about what the standard IBM printers supported.

The ASCII encoding is irrelevant, it was chosen more than a decade later and the earlier character sets had encoded "*" in completely other locations.
> Amtrak is the big interstate rail company.

This is true only if you consider passenger rail. In terms of freight rail, the US has 6: Canadian Pacific (which recently acquired the 7th), Canadian National, Union Pacific, BNSF, CSX, and Norfolk Southern. Note that the smallest of these has more track than all but ~13 other countries, and the largest would be #4.
Awesome visualization! Coincidentally, I just found the Amtrak "Train Watcher" https://www.amtrak.com/track-your-train.html a week ago.

My wife an I met in the Pacific Surfliner's dining car, and our 2 year old is obsessed with trains of any type, so you could say we're becoming a train family.

I'm currently building a raspberry-pi based "train coming!" / "ding-a-ling!" machine for my son which scrapes the real-time location of trains from the above site. The response to this thread is inspiring me to write about it!

Getting the actual data from Amtrak's api isn't super straight forward, but a nice hacker beat me to it and published some hints: https://gist.github.com/chriswhong/aa4a2911883904310b3c342e7...
I'm actually really high on the metaverse. Not in the short term (next 5-ish years) but in the long term (15-20+ years).

Oddly enough, it was the Unreal 5 Matrix demo that swayed me. I think super realistic graphics is the missing piece (over the current cartoony graphics that we see today). Once you get a Quest like device capable of Unreal 5 level graphics then I think it starts to take off.

I also think younger generations (who will be young adults in the 2030s and 40s) that grew up on games like Roblox (which now has a VR version) and Fortnite will be more amenable to spending time in virtual worlds.

I suspect that the metaverse of the 2040s will be more of a stationary experience. Sort of like the internet of the 1990s. The metaverse of the 2060s becomes much more mobile with very, tiny and light AR devices.
Persian Rug, Part 2 – Other ways to make object soups in Rust
Demystifying Database Transcations
To manage a remote computer I'd much rather use SSH than any desktop sharing protocol. IMO the CLI over SSH is much better suited to the task.
Japan does have a demographic problem down the road, and the only thing politicians really do care about is that taxes aren't going to get paid by themselves, you need taxpayers for that. So it's Servants from your list.
Fair points, I was just trying to give an alternative perspective, especially since my needs are likely different than others on here. I appreciate the feedback.

I tend to agree that storage is not a bad option, but so many libraries just cannot be bothered and would rather discard or sell materials.

Fair point about the "browse shelf" feature of online catalogs, but I was talking about the ability to just open an adjacent book and just browse through the book itself. Instant access in other words. This is much more difficult if requesting things from storage, though the trick is to request several dozen books at once from storage. That is reasonable at some libraries but others will be greatly annoyed if you do that, due to limited shelf space for holds/requests.

You are right that I do not need to be shown how to use a microfilm machine, but often different libraries or archives have different practices and conventions about how to use their machines, especially for the purpose of preserving the microfilm. Being shown how to use it is more about learning their conventions and practices so that you can continue to have access to their collections later, and also to learn any issues with the machines themselves. For example, some institutions like the Smithsonian require you to wear special gloves when handling microfilm and limits where you can save any scans. Other places are completely free-form, but different machines have different quirks or could be down at the moment. Quirks include blurry images, need to wind the reels in a certain way, slow fast-forward (problem for longer reels), missing parts, susceptibility to nearby vibration, etc. If the undergrad helping you doesn't even know what a microfilm machine is, I doubt they can truly help you figure out how to get this particular machine working right. I ended up figuring this stuff out myself, but I would have preferred some assistance from a professional to be honest.
Have you use git or git lfs to store the large files?
Oh, right - sorry for any confusion. I find it difficult to work out who owns who nowadays :D
"High Density Polyethylene (HDPE) is an ethylene-based polymer plastic which is created by exposing petroleum to extreme heat and pressure. It’s among the most commonly used plastics worldwide, and in addition to UV resistance
..."

https://protoplastics.com/uv-resistant-plastics/
> we kind of know that e.g. the founders of the U.S. had some sort of guilty conscience going on with regards to slavery

From where did that secret sense of guilt come?

Maybe there was no sense of guilt at all and it was all performative, cynically done for the sake of his reputation. But perhaps the arguments from contemporary abolitionists were secretly eating away at him from the inside, inspiring a real sense of guilt. I think that is congruent with the theory that some small kernel of universal morality exists in all humans capable of feeling empathy, derived from that innate empathy instinct. People can be conditioned to ignore it, and this explains much of the variability in human morality across cultures. A slave owner can ignore that part of his mind that empathizes with the slaves because ignoring it is socially and financially convenient. Some can be needled and prodded into acknowledging it, while many go their entire lives with this empathy buried and ignored. But however ignored, that kernel of universal morality still exists in them. It's universal to humans because we're all the same species of social ape evolved to have instincts which facilitate social cooperation, particularly empathy. This morality is universal in the sense that all humans have the theoretical ability to access it within themselves, but actually doing so obviously isn't universal.

(Actual psychopaths, if such people even exist, may be the exception. If they truly lack the ability to empathize they would be unable to tap into this otherwise universal morality. Furthermore, the empathy instinct is not as perfect as might be wished; in almost all people empathy is felt more strongly for people who are close (socially and geographically.) Less empathy is felt for people who are distant or "other". Innate empathy has limits, and therefore universal morality is woefully flawed and incomplete.)
My anatomy evidently favors Type-II (fast-twitch) muscle fibers for cycling, so large cross-sections kill me in general. I can't spin through the kilometers in low gears like some can. So aerodynamics is more of a concern for me (and others with similar anatomy). The jugs in TFA are lower profile than kitty litter buckets or other square things. However, tailwinds could make up for the drag on good days!
Show HN: Prxmpt – A JSX Framework for Prompt Engineering
Hi everyone, super excited to release Prxmpt!

After writing a few too many prompts with nested ternaries in string templates I tried writing prompts in JSX instead, and discovered the DX was far better.

Prxmpt is sort of like "TailwindCSS for Prompt Engineering" - it comes with a bunch of utility elements that remove the headache of composing complex prompts.

Prxmpt also includes a few more advanced elements such as <priority>, which is sort of like a CSS media query for text. It allows you to easily set policies for which content is dropped once you hit your token limit.

Prxmpt is still v0.1, but I've put included several examples in the repo. If you use TS/JS and work with LLMs I'd appreciate any ideas or feedback - I'm sure there are a bunch of useful features that I haven't thought of yet.
I mean, your consumption is on the scale of people’s whole livelihoods, as soon as you leave a developed country. Are you just addicted to having people grovel? Or is it possible that people with a different baseline and experience have a different baseline and experience?

I don’t understand, especially on an SV-dominant board, this “anyone who has more than me is necessarily evil” mentality.
HTML+, Building Web3 into the Web
ah, so what we need are another self serving set of capitalists to convince Congress to create taxpayer funded insurance to cover mismanaged businesses, just like in 1933, to give LambdaComplex the assurance they need to move the goal post further

haven't seen that proposed yet, but stranger things have happened regarding what the FDIC covers
I Did Not Hit Her. I Did Not.
No, that would be personifying it too much. It's trained on tokens, and on the scale of the web, it has seen all kinds of patterns, including random garbage. It's seen "aaaaaaaaaaaaaaaaaaaaaa" and "abcdefghijklmnop" too, and that's already as good as PNG filters can do. If you feed it pixel-derived nonsense, it will mimic more of such nonsense.
https://en.wikipedia.org/wiki/Ship_Self-Defense_System

I agree with your premise. A lot of our weapons already are killer robots, they just don't walk on two or four legs.
Crypto speed running every financial crisis of the previous century in about three years should be studied at some point.

We already have laws regulating a lot of this stuff...

All my Apes gone.
Secretly? Did they sneak through the backdoor?
Honestly though he handled that extremely well and made it backfire.

Congressional hearings are purely for political grandstanding. The low height seat countered with a cushion, the dumb questions answered with direct unemotional answers. 'we sell ads senator'. The entire process had nothing come out of it except a few politicians had egg on their face.
What makes it so that you can only resolve the host wifi.delta.com during a flight?
A lot of math symbols are accidental and owe their existence to circumstances of writing, book publishing, typewriter or later computer keyboard. Very few have any kind of history that helps understand their meaning.

Just a few examples: "lambda" in "lambda calculus" was originally the caret sign, which, by convention was used on typewriters because those didn't have Greek letters. Whether Alonzo Church actually wanted the Greek letter or the caret symbol is not known (and he, himself, probably wouldn't care), but if you look at the manuscript, it uses "^".

Minus sign was an attempt to create a sign "opposite to plus", whereas the plus sign was a contraction of Latin "at" (ampersand is another way in which Latin "at" made it into modern typesetting). Multiplication was also an attempt to manipulate the plus sign. And so was division (the horizontal line between two dots, and subsequent mutation into just two dots making a ":" sign).

Asterisk, which used plenty in different mathematical contexts was actually a punctuation sign. Early Roman writing didn't use spaces between words, instead they put dots between them. It was the only punctuation sign they used, so no commas, periods, question marks etc. All that stuff came almost a thousand years later.

A bunch of logical signs were invented by Frege and later popularized / amended by Wittgenstein. These were completely artificial and didn't derive from anything. I don't think the authors ever explained why they chose any specific shapes, but my guess would be that they were looking for something visually distinct enough for a small alphabet they created and arbitrarily assigned symbols to operations.
The last couple of hotels I stayed in had free "basic" wifi for guests. Elite status could get higher speeds for free or anyone else could pay something like $10/day/device to get higher speeds.

I just switched to my cell phone data if the wifi was too slow.
Very bleak.
GPIO is now connected to the RP1 I/O controller which is on a 40nm process, so that should actually be an improvement
Most of my technical books are from a University press. Random examples:

* SICP: MIT Press

* Modern Compiler Implementation in ML: Cambridge University Press

* Creating Symmetry: Princeton University Press (https://press.princeton.edu/books/hardcover/9780691161730/cr...)

It really depends on the nature of the book. If it's a first-year undergrad text that is likely to be purchased by thousands of students, a publisher like Addison-Wesley will be interested. If it's solidly mass market applied tech, like "Master Javascript in 32 Seconds" or something, someone like O'Reilly or Manning will probably take it. If it's more niche and technical it's likely to be a University press.

University presses do publish some absolute bangers. Creating Symmetry, for example, is an absolutely beautiful book combining maths and art. MIT has a great series on game design. Cambridge is very strong in machine learning and maths.
They discuss this at some point in the podcast, Zuck specifically saying he is interested in whether the future is photorealistic or more abstract and commenting on some interesting tests they have run that have mixed the two together.
Which search engine did you use during the occupation of Iraq? Should we stop using American products if Trump gets elected again?

And don't forget Freedom fries...
> 11 hour drive from Chicago to Washington, DC.

Having done that drive a few times, it's closer to 14 hours in practice, taking into account pit stops.
The biggest, would be waiting too long to attempt procreation. No one should be having kids in highschool, but if you're in your late 40s and only getting around to it at that point... waited too long.

Questionable lifestyles with all their ill health implications would be a close second.

I don't know that I could give you dozens of distinct reasons, but I bet I could fill out a top 5 pretty easy.

> and what/who gets to evaluate or define a "true need"?

Let's be objective here. If, through no fault of your own, you are sterile and childless and if technology makes it possible to effectively reverse that, then though it may not be ideal it is acceptable. Though far too late for the victims, those who were forcibly sterilized decades ago would have qualifed. Someone with some congenital issue maybe. Possibly those who have suffered peculiar accidents (more likely for men than women?).

> It's rare to see a truly and honestly non-religious opposition to reproductive aids,

If we're talking about people I care about, relatives of mine or not, I would want those children to have a true and genuine human experience. "Mommy couldn't bother to get around to making you before her ovaries shriveled up, and so Dr. Frankenbaby cooked you up in a test tube and gestated you inside GMO-gestation livestock" isn't that.

The only thing that gives me pause is that, generally speaking, I don't care about any of you. This will make it easier to think of the vast bulk of humanity as things, rather than people.
It's nice to see the new Pi processor being somewhat competitive with the RK3588
Epic bought Bandcamp less than 2 years ago. No one had any idea why at the time and now they are already selling it, almost certainly at a loss. This is the type of situation that would cause senior leadership heads to roll if there was any justice in the world, instead 16% of employees get laid off.
You can in theory hold such belief without being religious, but yes of course it is. The problem is -- you need to draw a line somewhere, otherwise sacred act of creation isn't sacred anymore, it's just a bunch of phenomena you can apply science to and reason about separetely. Which is of course bad.
Hahaha. It'd be pretty ironic if Firefox eventually dies solely because no one bothers to support it because single digits on StatCounter which Firefox itself blocks.

Someone should fix this. Don't block whatever trackers StatCounter use.
Couldn't you bind localhost.yourdomain.com to a public IP, get a certificate, install that certificate locally, then change localhost.yourdomain.com to resolve to 127.0.0.1?
It's frequently used in when talking about incomes specifically. [0]

> For example, the average personal income is often given as the median—the number below which are 50% of personal incomes and above which are 50% of personal incomes—because the mean would be higher by including personal incomes from a few billionaires. For this reason, it is recommended to avoid using the word "average" when discussing measures of central tendency and specifically specify which type of measure of average is being used.

[0] https://en.wikipedia.org/wiki/Average
Closure Compiler was way ahead of its time. I used it extensively at my first job. It was the only way to stay sane pre-ES5. It's still great for people who want to write JavaScript applications as if they were Java applications. But it lost because people hate writing Java applications.
It's funny, I read "universal" and think about the universe. Would an alien intelligence recognize our morals? Even Star Trek pushed this limit with races like Klingons that honor a good death that earthlings find abhorrent.

Here's a though experiment, if I blew up the entire planet and left no trace of the existence of humans, did I violate anyone's ethics if there's no one around to be upset? In theory I destroyed ethics too.
Lots of bad information in this thread, let me help clear it up:

- Gemini is based in New York and is regulated by the New York State Department of Financial Services. Gemini was granted a charter to operate a trust under the NYSDFS.

- Gemini is still alive and operating, regular crypto and cash in the Gemini exchange can still be withdrawn by users. Users that were participating in Gemini's Earn program lent their money to Genesis, which went belly-up, and they are now creditors of Genesis.

Users opted-in to loan their money out. Sometimes you loan money and it doesn't get paid back, that's life. The real question of Gemini's legal trouble comes down to two things:

- Did Gemini make it clear to customers that money they put in Earn was lent to counterparties that may not pay them back?

- Did Gemini do proper due diligence on behalf of customers, and did they continue to allow deposits into Earn even if they had reason to believe Genesis was insolvent?

The reason the 280M withdrawal is news is that it may indicate they knew Genesis was insolvent before they closed the Earn program. However, the twins claim it was Earn customer money that they withdrew, in which case it may be a good thing (managing risk if they suspected Genesis insolvency). We don't know for certain whose money it was at this point, all we know is that 280M was withdrawn, everything else is speculation.
Kagi doesn't use bing anymore because microsoft wanted more money, and kagi also has it's own index (teclis) and smallweb.
https://help.kagi.com/kagi/search-details/search-sources.htm...
yeah sorry I really should have said "big interstate passenger rail company."
Fridman is a rabbit hole, you'll find detractors and defenders and slanderers.

The debate has already been had so i'll just link it

https://news.ycombinator.com/item?id=32348302
Yea a lot of game theory is built on the arbitrary axioms like that people will follow a given strategy with given information, or that there’s common knowledge. In reality people don’t necessarily follow the axioms of the theory.
> Is there a source for that narrative?

Girard mentions the connection with categories all the time.

For example in "Proofs and Types"
he proves various theorems along the lines of: the sub-category of coherence spaces and stable maps (one of the main models that LL was developed for) induced by some LL fragment is
cartesian closed category (IIRC). I think he developed LL in parts by fine-tuning it, until all the categories induced as models of fragments of LL have nice categorical properties. (To the extent that is possible.)
When I was a PhD student, my supervisor suggested that I learn category theory to understand linear logic. (Not sure, in retrospect, that was the best course of action, but that was my trajectory)