skysight-inc/HackerNews huggingface dataset:
> Perfect your sleep schedule. I used 10mg EXTENDED RELEASE melatonin about 1 hour before bedtime.

Why are so many Americans reliant on melatonin? I don't know anyone who has significant sleeping issues, and no one who takes melatonin.
However it comes up quite often in conversations with folks from the US.

Are people there more likely to be stressed because work doesn't let them switch off?
imagine applying the same medicine to other situations.

- you're two minutes late, your appointment has been canceled

- but I am here for the chemio. I drove 100 miles to be here.

- Get your shit together or fuck off for the sake of everyone else. Nobody cares about all the layers of bureaucracy between you and being on time. That's your fucking problem
I found the opposite. Less of a hassle to install ublock origin in Firefox on PC, Mac, and Android that support it, or Brave browser on iOS or the others for a chromium browser.

Rather than keeping a separate device on the network, having to keep it updated, it was also unstable on a rpi when I tried a couple of years ago.

I guess my TV shows YouTube ads, but that's kinda it. Netflix, HBO, Disney+ do not have ads and my LGTV Web OS seems Ad free in the menus without me doing anything.
Interesting problems!

It’s not hard to intuit the truth values of the conjectures in the first two questions. I don’t have proofs, though.

No idea about the third one.
Laser turntable, 1970s - https://en.wikipedia.org/wiki/Laser_turntable , which goes on:

> The [1980s production] prototype revealed an interesting flaw of laser turntables: they are so accurate that they "play" every particle of dirt and dust on the record, instead of pushing them aside as a conventional stylus would.

In the same Wikipedia entry:

> A similar technology is to scan or photograph the grooves of the record, and then reconstruct the sound from the modulation of the groove revealed by the image. Research groups that developed this technology include:

IRENE is the one used by the Smithsonian. https://irene.lbl.gov/links/audio-files-for-june-24-2021-pre... has some of the recordings recovered by IRENE.

I've wondered if regular cameras would get good enough that you could take a picture of a record with your phone and have it play the sound. IRENE and VisualAudio links show that a microscope is needed, so no, it doesn't seem "phone"-o-graphic playback will be any time soon.
Firefox 109 Released with Manifest V3 Extensions Support
She gave you a moment of joy as she didn't wanna ride with someone who would be scared and wouldn't knock on the only window.
This seems like a last resort API. I would much rather have the information in a more convenient form than a screenshot... Also, some apps (e.g. banking apps), do not allow you to take screenshots on certain devices.
I didn't read it as hateful, but as legitimate curiosity. Ruby is at a disadvantage because the analytics ecosystem is primarily Python based.
You can run any command in the shell by prefixing them with ! In the jupyter cell. However I don‘t think jupyter notebooks are super useful for that usecase as you can’t simply double click to open them
I wonder if cars from 50 years ago came with two wooden ramps that you could place next to the rear wheels and back up onto them before turning the ignition off.
You have no drift issues? After ~6months of using it on my new Thinkpad, it starts to drift almost immediately. Its a pity because it liked it a lot.
Good point! No encryption shows zero issue.

Your mention of us all using LetsEncrypt and similar is beyond my understanding of cryptography but why do they need to be signed by a central authority exactly?
Yep, in now. Will play with it tomorrow. Thanks, looks like a great project.
Wouldn’t all the Claudes be incentivized to simply trash each other constantly in that case?
Legal weed is wreaking havoc on return to office: ‘all of NY is wake and baking’
Let them talk to each other, to battle out who is the best.
No, they will see this message and understand that you're not genuinely nice but instead out of fear.
> It's unfortunate that you've mentioned this - now whenever I see a youtube doco along these lines I'm going to check and be put off by this fact :/.

Don't be, there's a lot of art in the presentation style. This particular channel puts a lot of effort into being very respectful and presenting a certain tone and speech register which I find rather charming. Of course not all channels do add this kind of value, but just ignore the ones that don't! :)
Understanding the Linux TTY Subsystem
A deep dive into the history, legacy, and inner workings of the Linux TTY Subsystem.
As others have pointed outed out, casting is often done with wooden blanks, sand and ceramic crucibles even today.

If you can chip stone tools you can use them to shape and finish soft metal.

Metal has the wonderful property that you can change it's properies with just heat, chemicals and a hammer. So you can work it when soft and then harden it to take an edge sharp enough to cut other metal.

With basic metal working in a forge, casting, filing, hammering, riveting or grinding with stone, you can make a lathe.

The lathe is known as at the king of machine tools for a reason. With a lathe you can you can do turning, facing, boring, threading and milling operations on metal.

Et voilà! You have a machine that can make other more specialised machines from "nothing".
I have a weirder utility for it: occupancy sensing in rooms.

If it can detect breathing of humans reliably, then it solves a huge problem in having home automation with automatic lighting - particularly in bathrooms. I've never had a decent bathroom occupancy sensor (they all end up wanting to detect fairly large motions) - the obvious solution is AI with a camera but for obvious reasons no, but if a couple of base stations can localize person positions to rooms in the house (and provide other services) then that kind of solves the whole issue!
A Robust Theory of Series Parallel Graphs
I have thought about doing that, would you mind sharing your starting prompt so that I can get some ideas?
Liking dinosaurs and Jurassic park is not the same as liking archeology, especially as a job. Most children have no idea what they’d be getting into, and if they like something, it probably has little to nothing to do with the actual work/job/goals.
https://rewind.ai right?
I’m looking for your thoughts on the following:

It should be somewhat easy to teach these types of models to reach for a particular tool at times where they need it, yes?

I can instruct ChatGPT for example to tell me when it should use a calculator during a session. If instead I allow it to fall back to an external calc process, then suddenly, I have a chatbot that has reasoning AND better mathematical accuracy.

Also: I’ve also been entertaining the idea of having multiple layers of GPT interact with one another. So you feed back some interaction into another GPT instance without context, and ask it for example how it would verify the accuracy of certain statements (and you can ask it for machine readable code, even).

Finally, I know a lot of people who start playing a lot with GPT and get disheartened because they see the quality of responses isn’t there. But the fact ChatGPT has the capacity to reason, has chain of thought, has given me a newfound appreciation for how close to AGI we might be. It has also given me an appreciation for how much simpler humans are than we like to think. I’ve introspected a lot in the past months and often ask myself: is my speech any different than “predicting the next few words”? And I feel like it’s just text prediction with some more layers on top.
Mechanised mills existed in Roman times, but they didn't use them to mass produce textiles, they used them to grind flour for the local people. Similarly coal mining was around in Roman times (and they did transport that internationally) but Roman coal mines weren't deep pits pumped by steam engines. (The invention of the Newcomen engine is a good candidate for an early start date to the Industrial Revolution)

On a similar note, the Romans built quite a few canals, but "Canal Mania" in the UK involving a lot of capitalist ventures building extended transit networks across the UK is an arguable starting point for the Industrial Revolution
I use Bitwarden to generate a username. Previously, I was using the same username across different accounts. I realized that I needed to use different username. People can identify me if I have the same username. This actually depends on the site I am going into. For example, it's better to use random username if the website is containing explicit contents. I guess being anonymous on the internet is hard.

> I've always wanted the username to mean something or be special in a way

As others mentioned, you can use a passphrase word generator. It contains common words even though they don't make real meaning. Why does the username have to have meaning?

https://bitwarden.com/help/generator/#generate-a-username
I have read in a Deepmind Blog post, that language model AIs gives more reliable and correct answers, if it is forced into some Chain-of-thought prompt. Especially for questions, which involve math.

Something like "Think about it first, before you give the answer".
Could it be that ChatGPT is being forced in this direction?
>$999 for 4 packs of non-playable cards is just a huge turn off to basically everyone, so nobody was excited about this to start

Didn't they sell out instantly? I found the price point dumb as well, but clearly people liked it. Their target was always middle aged members of the middle class, going for rarity made sense.

I doubt the set devalued the restricted list much.

I guess I knew everything about it and don't see it as a debacle.
Manage Serverless APIs with Apache Apisix
I'm showing my age, but the first thing I thought of when reading the headline was the Commodore Datasette.

https://en.m.wikipedia.org/wiki/Commodore_Datasette
There was a... campaign promise to bring an un-passable bill on how the federal government should run its HR? Really? By the party? Really?

(Also I assume this would meet at least some _internal_ resistance; I can't see hardcore libertarians being particularly onboard with the idea of the legislature micromanaging the federal government...)
Datasette is such a neat project & tool. Simon, its developer, has built an entire ecosystem of tools around sqlite [1], Datasette [2], and automation through GH Actions, like git-scraping [3]. Also, he has been actively blogging for 20+ years [4]. I particularly enjoy his short TIL posts [5].

[1] https://github.com/simonw?tab=repositories&q=sqlite&sort=sta...

[2] https://github.com/simonw?tab=repositories&q=datasette&sort=...

[3] https://simonwillison.net/2020/Oct/9/git-scraping/

[4] https://simonwillison.net/

[5] https://til.simonwillison.net/
>or reading a menu.

I have a smartphone and this annoys me to no end. No I don't want to zoom through your menu in some PDF format which doesn't render nicely on my phone.

I have left restaurants because of this, and told them why.
One trick you can do is to copy a text you like the style and ask him to describe it.

You can then use the response as a request.
You think it is called something, but state it with authority and ask for an apology when corrected. You should work on your communications skills.
Start living on the smaller salary now - see how it feels to cut the luxuries, squirrel away the rest into savings.

I’ve been to a colleague’s ‘demotion party’ from team lead to IC in another office - they had no regrets.

Be prepared for employers to be nervous about employing you - some will be worried about you being too big a flight risk because you might still have an open door to senior PM roles. So plan to manage that fear on their side.
That was beautiful, and ugly, and hurtful, and sweet. And it was weighted more in feelings than the breadth of its words. Damn. Thanks.
> A LISP machine reads instructions in the form of LISP code and modifies its state accordingly.

They don't; they still read a linear sequence of instructions.
Formalizing the H-Principle and Sphere Eversion
This paper uses the Lean 3 language to formalize the proof of an important theorem in differential topology.

Geometric arguments are notoriously difficult to formalize due to their non-symbolic nature and sometimes vague exposition; this work demonstrates (among other things) that even topics involving infinitesimal geometric reasoning in high dimensions with imprecise language can be formalized.

Fascinatingly, the paper further provides humanly usable elaboration of many vague arguments geometers and analysts use (for instance, using filters to formalize nearness arguments). To me this is an under-rated aspect of formalization: it has the potential to clarify our own, human to human communication of human proofs.
Addendum: One possible challenge is that so far large lanuage models are trained on a large sample of all text that has been published, while what we have of cuniform is a decent sample of all text that has been written. Meaning most cuniform tablets are inventories, invoices, requests for payment, contracts, tablets from students practicing writing etc. Types of documents that are underrepresented in traditional training data.
I am constantly impressed by what your team shares and the practical application of XR concepts. I find myself pointing people to your demos frequently and hope to see one or two implemented through to a purchase experience I can try at home. Thanks so much for all the output !!
brexit was - from an economic suprarational viewpoint - obviously a non-forced error. the resentment that eventually got channeled into this populist surge is very real and stems from the same deepening inequality that plagues the US and other globalizing economies.

people scraping by outside London see the decades going by and their lot not improving, and eventually the busy beavers crafting messages found the right ones ("the UK is paying so and so much pounds every day to the EU instead of funding the NHS more")

this solved nothing, people scraping by still have low economic productivity. infrastructure development outside London is late by decades (because every time there was a cost increase it slowed down basically, and there were a lot of cost increases - every recession, interest rate cut, Baumol effect, etc meant costs going up)

similarly development inside big cities is stunted because of cost increases.

because a lot of globalization made local services relatively more expensive (this is the Baumol effect basically) and all the affected areas are very labor heavy: NHS (healthcare), education, construction.

then all this recently culminated in idiots getting elected (Boris Johnson, etc) who then made things worse by not doing anything.

https://noahpinion.substack.com/p/why-the-uk-is-having-an-ec... - in this paywalled post Noah argues that the UK is going through a mild version of the emerging economy crisis (like Sri Lanka), because its import dependent, trade deficit, capital flight, pegged currency (basically for price stability the Bank of England has to), and lots of borrowing in foreign currency (USD, EUR), and accelerating inflation
How to use “Solomon’s paradox” to give yourself good life advice
I live in NZ. Haven't lived in the US but spent lots of time there for work which included TV in various hotel rooms.

One of the biggest and starkest differences I noted was the drug advertising on US TV, both in quantity and content. I feel in NZ there's minimal drug advertising and when there is it's restricted to things like panadol and acid reflux stuff. US would advertise for just about everything ( lots of depression/mental health drug ads), all with the refrain of "ask your Dr about xxx".

It was so jarring that I often joke with my American friends that "in NZ, our Dr tells us what to take" rather than the other way round
You're getting some flack for this comment, but others have said similar things:
https://www.google.com.au/books/edition/_/__CnDwAAQBAJ?hl=en...

"I took six undergraduate mathematics courses. Until my junior year I encountered no one who seemed to have a greater aptitude for mathematics than mine. It had always been my easiest subject in high school, and I had been chided there by a classmate for writing my final exam with a fountain pen. Before I discovered physics, trigonometry and differential and integral calculus were my greatest intellectual pleasures. But my final mathematics course as an undergraduate was differential equations and the instructor gave me only a B. I'm sure he recognized that I was competent — I had worked every problem in the book — but he had to give the A's to the obviously brilliant students, who were now closing in on me. If I had decided to become a professional mathematician, as I easily could have, I would have made the traumatic discovery that there were many people my age who were far more talented mathematically than I could ever be.

The world of mathematics and theoretical physics is hierarchical. That was my first exposure to it. There's a limit beyond which one cannot progress. The differences between the limiting abilities of those on successively higher steps of the pyramid are enormous. I have not seen described anywhere the shock a talented man experiences when he finds, late in his academic life, that there are others enormously more talented than he. I have personally seen more tears shed by grown men and women over this discovery than I would have believed possible. Most of those men and women shift to fields where they can compete on more equal terms. The few who choose not to face reality have a difficult time."

Adventures of a Physicist, Luis W Alvarez
Sometimes stochastic parrots are what's needed. More often than people sometimes realize.
> It just means searching over the human-edited metadata instead of free-for-all free text fields that were scraped from who knows where?

Not quite. Rather than the free text search being over products, it's over combinations of filters. These filters can then be applied to produce "exact" results, rather than "fuzzy" results based on textual matches.

> why not just use Solr or ElasticSearch instead of reinventing the wheel

A few reasons. Firstly, the faceted search in these took a fair bit of effort to expose to users in a way that wouldn't result in bad results (like "blue shirt" returning blue non-shirts, and non-blue shirts)

Secondly, these are new infrastructure components that take a lot of work to run. ElasticSearch is notorious for being a pain to operate. We were a small engineering team, only 3-5 backend engineers in the company at the time (depending on how you count), running the whole stack, infra, everything.
Ultimately every cert is signed by a Certificate Authority. This is a "Trust Anchor". An authority that you trust implicitly. Your web browser maintains a list of these trusted parties, which are measured in the dozens and only change occasionally after careful scrutiny by Browser vendors.
If your cert is not signed by one of these CAs, there is no way to verify it's veracity. That is why the browser gives a scary warning. I could issue a cert claiming to be google.com without any deterance.
Until recently all such authorities charged a fee to issue you a verified certificate. Also the process was usually not fully automated and required human intervention to renew a cert.
LetsEncrypt was a major innovation for two reasons:

1. They provided the certificates for free, no strings attached
2. They provided a fully automated and optimized process to issue/renew/deploy the cert

This had the effect of making HTTPS accessible to everyone, and is the reason that HTTPS has become the default rather than only being used for a small fraction of websites (e-commerce etc...).

Overall this has been a positive development and has raised the bar against mass-surveillance across the world. However, the downside as mentioned, is that much of the world's infrastructure now relies on this small company. Since the certs are only valid for 3 months, any blockage in that renewal process means rapidly failing services.
Not to mention that most of these services run on compromised systems or leverage amplification attacks. There is no way that can be legal.
Well, I can't find the email now and none of the other spam I checked did that. I swear I triple checked, but maybe it was just my imagination.
That analogy is a bit off because the certificate problem is on the supplier's side, not the customer's. A more apt analogy would be "no you can't see the doctor today, because their passport expired yesterday".
Thanks for the very long detailed comment.

I'm interested how this compares to the second phase of our search implementation. I realise that searching filters was a somewhat limited implementation and not a general solution to search, but it seems like it was pretty much an implementation of what you've described. Certainly, my understanding of our problem was essentially what you've described.
It seems to have a hand-written ad hoc parser, handling untrusted input. A very rich source of exploits. (Luckily it's at least using a memory safe language so what you can do is likely limited to DoSing yourself or using up all memory as in this case.)
Yep. That's why WP has always prioritized backwards compatibility.
The thing is used to write code ...
That's correct! The second step therefore doesn't have any "fuzziness" to it, it's a strict inclusion/exclusion filter across products based on their attributes.
I may have an unpopular opinion of the trackpoint, but never managed to like or even adapt to it. I find the trackpad a lot more practical, also for very small movements: if I need to move just by a few pixels, all I have to do is just slowly rotating my finger in the desired direction while keeping it in contact with the trackpad surface.

A trackpoint-ish input device may however be interesting if for example mounted on the side of the index finger of a half-glove-like haptic interface device so that it leaves most of the hand free but can be operated by the thumb when needed.
I would argue that "applying lessons" ignores not just local geology, but - more importantly - local / regional culture, politics, socio-economics, etc. as well. It assumes that, throughout history, the rest of the world subconsciously has had - and still has - a need for Western-European frameworks of thinking about their place in the world. Which is very eurocentrist perception of the world.

A hallmark of post-modern historiography is exactly discarding this history can only be perceived through a western-european lens, and acknowledging that there are as many valid ways of looking at the past as there are cultures and people around the world.

> Japan, Singapore, Korea, and of course China

Neither Japan, Korea nor China were "third world" countries before WWII. Or even ever.

On the contrary. Japan was very much an industrialized nation in the 1930s. Before then, it has a long history as a advanced, albeit, regional power. The same is true about Korea. Chinese history itself is rife with empires and kingdoms - having trade networks, technological advances and so on - some of which being as large and influential - if not more - then the Roman Empire during its heyday.

Singapore already was a bustling trade port long before WWII, and has a history of being part of powerful local sultanates before the arrival of the British.

If anything, the examples you gave are quite ambivalent about the historical dynamics that led to their integration in today's modern global economic, geo-political, cultural structures and global power balances which were borne out of post-WWII victors creating a new order for peace and development.