skysight-inc/HackerNews huggingface dataset:
I thought event sourcing as a data storage strategy and queues as an execution model were orthogonal concepts?
Weird. I posted almost the same question yesterday.

Here is the thread with a few replies: https://news.ycombinator.com/item?id=39173383
Still reading but this is an interesting position to juxtapose with the repeated axiom that thou shalt not roll thine own crypto.

Instead, the claim here is that you cannot trust crypto that you didn't roll yourself. Indeed, maybe you should compute it by hand!

Ha! I love having my beliefs challenged.

Completely impractical but very fun.
FYI, Kindle has supported ePUBs for a while now. You can even send them to your Kindle over email.
From that link:

Programming in this context does not refer to computer programming, but comes from the use of program by the United States military to refer to proposed training and logistics schedules, which were the problems Dantzig studied at that time

Is that also true of 'dynamic programming'?
You can try forum-dl, a forum scraping tool I've been writing for this purpose: https://github.com/mikwielgus/forum-dl

It's single-threaded, alpha-quality software, and still isn't compatible with many forums and themes. But it can export WARCs and may just happen to work for you.
This finding definitely supports a brain protein hypothesis, but it could just as easily point to tau protein as amyloid.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3399531/
Autocomplete Selections Should Confirm with User
It's basically like a dumb flight recorder. It saves the http request and the response, including all headers, cookies, and the full query string, with additional metadata on top.
Basically to avoid distraction and get inspired about new topics i.e. AI, Coding tools etc...
I don’t think it penetrates, no. But the yogurt preparation leaves a very flavorful crust as you don’t completely remove it before grilling. You definitely get the full effect of the spices that way.
Click the red PDF button. Or click the "view all formats" button to select your prefered option.
We probably could, but only after we'd figure out what exactly is causing it.
[dupe]

More: https://news.ycombinator.com/item?id=39178142
Thank you!

I remember seeing in the Tao book a Fourier operator that looks something like the “integral” of exp(ik^2 x).. (or exp(ik x^2), haha)

As a followup, is it possible to ELI5 roughly what Tao meant by “higher-order”?
I thought the beta ameloid theory was largely debunked since the publisher had manipulated data. Now it's attached again? I'm so confused
Congratulations on the launch!

However, as a developer, the pricing seems a bit steep for me to give it a try. Any plans for more affordable options or perhaps a developer-friendly tier in the future?
Unfortunately, the Twitter algorithm heavily penalizes the visibility of posts containing a URL.
They're transitioning from Extender to Extinguisher.
The part that confused me was your leaving Haskell for Rust and then leaving Rust for Lisp. Were both of those transitions aimed at some common goal?

I mean, if I left Haskell, I think the main reason would be to to shed the load of thinking simultaneously about laziness and how it interacts with optimization. OK, almost any non-Haskell language gets you out of that. But choosing to leave Haskell specifically for Rust would be about efficiency first and foremost, especially improving on the size and complexity of the RTS (and its limited platform support). I could also see wanting the concurrent programming benefits of Rust's ownership system. And it's nice to be able to write embedded or kernel code. And there's a bandwagon to jump on.

Lisp, on the other hand, doesn't really seem like an improvement over Haskell in any of those ways. It solves different problems. Lisp feels like it's on the "opposite side" of Haskell from Rust. So why did you "reverse" and try Lisp to begin with?

I agree that Rust is ugly, by the way. Honestly I think it started with keeping the C syntax and went from there.
ServBay update – the new year with a brand-new dashboard
Introduction
We are excited to announce the release of ServBay version 1.2.1, the first update since the new year. This version introduces a redesigned dashboard, which provides developers with an intuitive view of system resource consumption. The goal is to enable developers to assess the efficiency of their code more effectively and manage services with greater agility.

Image description

What’s New
Redesigned Dashboard
Enhanced Visibility: The new dashboard is structured to give a clear and concise overview of the system’s performance at a glance.
Resource Monitoring: It now includes detailed graphs and statistics for CPU Load, CPU Usage History, Memory Pressure, Application Memory, Wired and Compressed Memory, Storage, and Network activities.
Service Control: A streamlined interface for controlling services, including quick start and stop options for each service, has been implemented.

System Resource Insights
CPU Load Indicator: A real-time CPU load gauge helps identify the current state of processor usage.
Memory Usage: A breakdown of memory allocation, including Pressure, App, Wired, and Compressed memory, is now displayed.
Storage Overview: Visual representation of storage use, indicating used and available space.
Network Speeds: Current upload and download speeds are now visible directly on the dashboard.

Service Management
Services Overview: An updated list of services with version numbers, status, and process IDs.
Quick Actions: New controls have been added for each service to quickly restart or stop as needed.

Version Support
PHP Versions: The dashboard shows the status of various PHP versions, from 5.6 to 8.3, highlighting any stopped services for attention.

Bug Fixes and Performance Improvements
We've squashed several bugs, enhancing stability and performance.
Various minor features have been updated to improve user experience.

Upgrade Guidance
All users are recommended to update to the latest version to take advantage of the new features and improvements. Just download the new version and drag it to the Application folder to replace the old App, you're all set.

Acknowledgments
We thank our community for their continuous support and feedback, which has been invaluable in this release.Visit our website for more details.
On reading the specs, you’re using 2.91TiB U.2 drives. On the list of “oh my gosh too much engineering and too many stock keeping units,” allowing them to be swapped for the much larger U.2 devices one can buy now seems fairly easy. In case there’s a potential thermal issue, most NVMe drives I’ve checked have active power states that are a bit slower but have reduced power consumption.

But Oxide is small and shouldn’t listen to me unless a customer asks for this.
Ontario plans to refurbish Canada's oldest nuclear power plant
新しい扉が開き

が makes the subject the door, not JAXA. Plus it would be very uncharacteristic of a Japanese person in that position making such a bold claim. It goes against Japanese society norms.
Some use cases for revert-layer
Really important to note, this isn’t react native, its NativeScript.

The two have some fundamental differences — React Native is complex because the React ecosystem is full of complexity. NativeScripts biggest problem is more ecosystem size.
I don't think anyone is saying Clojure is better than Python in the abstract. Clojure has a different style from Python and that style can be more fun and is better for some specific tasks like application programming and anything that wants to use multiple CPU cores. Tends to have better long term prospects too, old Python code doesn't work in my experience but things on the JVM have cockroach powers.

As for why things are and aren't popular, who knows? It is quite possible that people just don't like the look of the parenthesis, or there are a couple of key libraries that aren't good but nobody vocal has put there finger on which ones. The error messaging isn't quite up to a standard that people want to deal with. Or maybe popularity is really just about pure random chance, at most 4 languages get to have >20% market share, by definition.
I always do a manual migration, going thought the files and folders, and setting files, I want to move over. I find it nice to start with a clean slate. If there is old junk from old programs I don’t use anymore, I don’t want them making their way to the new system.

I’m pretty selective and don’t do much “just incase” migrating. If I don’t know what it is, it’s not getting moved.

I can usually do it in an afternoon, but will sometimes take a week or so, just to make sure I didn’t forget anything. I’ll usually start making a list a while in advance, so it’s in my mind and I can add things as I think of them over the course of a few weeks.
People target AWS and GCP and Azure, and they write actual code that interacts with them, do test deployments there, and do real deployments there.
what does tail-call optimization have to do with higher-order functions? I thought the former pertains to iterative procedures written with recursive syntax, where the recursive call is at the very end of the function and called by itself, so stack size is O(1). Higher-order functions means passing functions to things like map, filter, etc.
Fwiw, HTTP is a stateless synchronous at-least-once many-to-one request-reply message queue with metadata.
> that has nothing to do with

Based on the evidence made public [1], the boyfriend was alternating romantic relationships between the two women.

[1] https://www.cnn.com/2022/05/24/us/mo-wilson-death-suspect-se...
Why HN still only comes in white without these extensions is crazy. Theming is a day of work unless you use Lisp I guess. This site barely changes.

Pretty sure dark mode is much easier on the eyes at night at least.
Sadly this is shifting, I see many young programmers nowadays buying into smart lights, VR, AI, and the whole shebang.
Or just tiny little potential pathogens being aerosolized very efficiently.

If you take a plastic container and keep it wet for a while, it will grow biofilm.
Here we go again with the Ruby isn't suitable for large projects nonsense. Github, Shopify and Stripe seem to be managing perfectly fine with Ruby, thank you very much.
For Python, https://sh.readthedocs.io/ is very nice, but unfortunately no Windows support.
The province of Ontario in Canada is planning major refurbishments and expansions to their nuclear power generation. They want to nearly double the capacity of what is already the largest nuclear generating station in the world.
Why would it need to replace them? From the article, they claim they have found a way to reduce the upperbound faster when searching large Integer problems. I don't see how that effects the current searching process. All of these solvers you can enter in an upperbound yourself if you have knowledge of the problem and know a previous solution. So it seems if this is just a programmatic way of reducing the upper bound, it should fit right in with current approaches. What am I missing?
Yeah, "influenced" would have been a better word choice.
Right, but if a reporter is trying to write a story why all your t-shirts turned pink, and after you explain that system to them, they write:

"When the clocks went back at the end of daylight savings, pests' organization system became inaccurate and misdirected a red sock into the whites wash,"

... they might have misunderstood what you were trying to say. They certainly aren't doing a good job of explaining to their reader how your clothing organization system works.
This is more like if Google made a big announcement about making Bing available in chrome (and never even had Google search) then the next week said that they’re launching their own search that makes it so you never need to use search in Chrome
Comprehensible Input
Thanks! That nicely dovetails with my understnding. BTW, the two case studies at the end of the book I found to be helpful in analyzing the main ideas!
Service status page [0] at apple support indicates no current outages and the three resolved from today are purchase/itunes related. Do you have an indicator showing stuff is down?

[0] https://www.apple.com/support/systemstatus/
Polite disagreement and i saw that it's acknowledged in the article but in my opinion Euler is clear cut more prolific by almost any measure apart from number of academic papers published and that's mainly due to the era where publication in academic articles simply wasn't as common as simply writing books.

Euler's literally an entire shelf in a library. https://en.wikipedia.org/wiki/Opera_Omnia_Leonhard_Euler
you can argue that lists are fundamentally recursive too: they are a car and and cdr, where the cdr itself is another list.
With CLR assemblies, you get rich embedded metadata including UDTs like structs and unions, and architecture-portable JIT-compiled bytecode to boot - both sufficient to map the entirety of C data and execution model.
The chimp troupe hasn't su4vived as long as it has, with out discovering a whole bunch of tricks to prevent Schismogenesis. We do it unconsciously. Next gen will do it consciously.
Everybody knows trucks come with room service and daily housekeeping.
AI spam already starting to ruin internet
They will be ghost cities in 2100.
Unify: Turning BLE/FSK SoC into WiFi SoC
One of the most exciting areas of research in recent years is Cross-technology communication (CTC), which allows heterogeneous systems to directly communicate with each other. Clever hacks allows commercial wifi devices to emulate bluetooth signals with software, and vice versa: vanilla bluetooth devices can also communicate natively with wifi access points without any hardware modification.
Reminds me of a scene in the South Park episode The Scoots where they needed a credit card for those e-scooters.

All the kids had memorized several of their parents CC numbers, including backups if someone didn't accept AmEx
Death by Numbers
Mitchell and Webb have that scenario wonderfully covered (2 min sketch)

https://youtu.be/xsYoeoEE3ww?si=ZMhfesAPXNFb_hnS
No, Python is much less expressive at the pure language level. Ruby is better designed for composability. It's the Lisp influence. Python completely lacks the Lisp, Smalltalk & Perl heritage which makes Ruby a really great language. Python lacks culture.
It's funny that you choose to die on a hill that I can't even see.

What is wrong withg the phrase? Seems normal and correct to me.
The most intensive work spacecraft used to have to do would be to apply a (lossless, hopefully) compression algorithm to send more data over a limited high latency link. I wonder how much forward error correction capacity they allow for.
If the dollar bill itself is the reward, it is a worthless reward. I may as well give you a piece of paper that says "reward" on it. The dollar is a reward because it can be exchanged for something.
My experience with propaganda bots is that the really nasty hate stuff will usually be posted by actual, real people (perhaps as a result of being prodded by bot-provided outrage), and bots will rather have all kinds of more subtle hinting and agenda-pushing - because bots are managed by semi-professionals who care about bots not being blocked and (often) don't really care about the agenda they're pushing, while there also is a substantial minority of semi-crazy people who just don't care and will escalate from zero to Hitler in a few minutes.
Created Linkwarden exactly for this:

https://linkwarden.app
Go after advertising and data collection and the problem solves itself.
Apple might have sold up to 180k Vision Pro headsets over pre-order weekend
[2023] The paper was uploaded first in March https://arxiv.org/abs/2303.14605
Not for everybody.

Dark themes make me dizzy and tired, be it either day or night, and I believe it's because I have high degree of astigmatism and myopia in both eyes.
You missed the either in GP's comment. i.e. they know you did one of those things because you requested an over-18 token, but not which one. The more covered activities there are, the more uncertainty they have about why you might have asked for a token.
You forget that much of the data they looked as is decades old - before automated systems and computer data entry.
Sure, but going from $5000 to $5990 isn't that interesting a price hike. Without knowing the distribution of customers it's really hard to say how impactful this really is.

I'd guess that the majority of users fall into the <10k bucket, that there's a group of SMEs in the 10k-1m bucket that the $8/m pricing is intended to support, and that for enterprises the price reduction of the premium product will often entirely offset the loss of the 1m free impressions.
Of course - and that’s part of what I was trying to convey to the previous posted about why housing is different than cars and shoes.
A super interesting example of this is the proof-of-passport project.

https://github.com/zk-passport/proof-of-passport

Today you can scan your passport with your phone, and get enough digitally signed material chained up to nation level passport authorities to prove anything derived from the information on your passport.

You could prove to an arbitrary verifier that you have a US passport, that your first name starts with the letter F, and that you were born in July before 1970, and literally share zero other information.
https://i.postimg.cc/cCNQsRJH/IMG-1609.jpg
lol what normal nervous system
If it requires no skill, you can do it as well as I (I've never driven either). Wanna bet?
Ask HN: Why Show HN displaying only 13 items today?
Just noticed something strange in the Shows tab - there are only a few items. Did the algorithm get a makeover, or is this a glitch
I think that software development has peaked. Not because of GenAI but because of saturation and lack of innovation.

The primary value prop of tech has always been automation, and there has been very little new automation lately.

Google and Facebook have already perfected the automation of surveillance and advertising. Streaming services have already solved the automation of content delivery. Cloud services are stagnating, and in some cases we see the pendulum swinging back with companies opting for on-prem hosting due to pricing. Most "innovation" now is just competing for market share and IP.

GenAI is kind of the last and greatest promise of automation. But the thing is, either way it goes, it's the end of automation. Either it fulfills the promise and delivers full AGI, rendering all software devs obsolete. Or, its a dud, undermining the value proposition of automation. It would mean there's a ceiling to what can be automated, and we've hit it.

Here's a thought experiment: it takes 100 engineers to build a bridge, but only 10 to maintain it. The bridge is now complete, what happens to the other 90 engineers?

I think the future will look something like the history of automobile manufacturing. In the beginning, there were assembly lines where cars where assembled by hand. The jobs were numerous and lucrative for the time. However, as the tech evolved, humans were gradually removed from the loop. Now nearly all of car manufacturing is automated. The only human input is design and oversight performed by the exceptional few.
That video line made me lol, "And here is a dust particle"
Do you have any recommendations on where to start?
It's probably a Roborock. I had a Roomba that I found disappointing for years and after reading positive reviews of Roborock here and on Reddit, I finally pulled the plug on an S7 MaxV Ultra. Worth every penny.

To be clear, the CCP definitely has a detailed map of my home. But man, I've got two dogs that shed a lot, and it's great. Sometimes you've gotta accept the tradeoffs, y'know?
You live a charmed life.
Nice. Perhaps visualization techniques (similar to those practiced in many meditative disciplines) may also provide some benefit for those of us trapped in the urban jungle.

Of relevance here is also the book The Circadian Code by Dr. Satchin Panda. Here is one of his Tedx talks (How optimizing circadian rhythms can increase healthy years) - https://www.youtube.com/watch?v=fciGNBN0nKM
"w/" is an abbreviation for "with". "w/ mice" should be read as "with mice".
The first paragraph of the preface on page 7 in the book gives an explicit example of “higher order”: https://terrytao.files.wordpress.com/2011/03/higher-book.pdf
Is Notion Calendar a "super lackluster release"?
Good job to the investigators catching her. It worth remembering cases like this when you see people claiming that it would be easy to drop off the grid or perform various actions anonymously. "Just use a tor proxy/burner phone/prepaid credit card/monero" etc.

This is an extreme example, but she left the country, and even had plastic surgery but eventually was still caught because people need to interact with the normal economy to earn money and live. She took the bait of a yoga instructor job because she was presumably looking for "side-hustles" so as not to need to prove identity and raise suspicion but maintaining operational security over a long period of time is very difficult. If an investigator is determined enough eventually the target will inevitably slip up and be found out. To paraphrase the infamous IRA statement after the Brighton bombing, the investigator only has to be lucky once vs the target has to be lucky always[1].

[1] https://en.wikipedia.org/wiki/Brighton_hotel_bombing
How about "to protect sanity" I'm not exactly sure I want a strictly chronological feed. But I want something better than what they have now. Sometimes I see the same post for weeks on end. If the post has a lot of engagement then it might make sense, but most times it has the same three comments that I've seen everyday for the last month
>A pack of feral Boston Dynamics dogs roam the wasteland of colony 1, complete with their original solar panels and shoulder mounted implements. With these tools they can maintain each other, and no one is certain if they are friendly to humans anymore...

Or that thing from Red Planet. That thing was scary.
Kotlin would be a good Java-compatible alternative with its extension functions.
Are you familiar with Davinci surgical robotics?
Channel 5 has early Vice vibes... I think it will be huge, but I wonder what will get compromised along the way.
Yes RTTI
Eggs or chicken eggs? Could always use duck eggs.
Military yes, power plants depends more on whether they really need multiple gigabits per second dedicated bandwidth with a million dollar receiving station or they are fine with the bandwidth provided by more traditional style terminals.
Yes, and most Erdos papers were written by other people collaborating with him. While this doesn't detract from his inventiveness, it is different from Euler who practically wrote everything (except for his later papers when he couldn't write anymore).
This is more a sign that the bond rating process remains broken despite some superficial reforms after the 2008 financial crisis. The major rating agencies gave that Argentine bond a B rating which allows many institutional investors to buy, despite the reality that it's obviously garbage. Then when the next default hits the fund managers can blame their losses on the rating agencies. Nothing changes.
This thing?

https://www.amazon.com/Lasko-Portable-Purifier-Machine-Ergon...

With a MERV10 filter? Advertised as removing smoke?

Here is some actual MERV data:

https://www.epa.gov/indoor-air-quality-iaq/what-merv-rating

MERV 10 is not guaranteed to remove sub-micron particles at all. You need at least MERV 11 for that. [0] Having personally tested some filters in wildfire smoke with a little handheld particle counter, I believe in actual specs. If there isn’t an actual spec referencing a defined standard, then it does not matter how many platitudes about smoke are given — the device is unlikely to work.

[0] And you probably want MERV 13-16 to get to the air purifier sweet spot where flow times removal rate is large and where cost is reasonable. But if you’re going to err, err in the direction of HEPA so that particles actually get removed.