skysight-inc/HackerNews huggingface dataset:
> spirituality is broadly speaking your relationship with the invisible world. Is life to you purely material, explored only through the senses or is there more ?

By "invisible" I doubt that you mean simply "unable to be seen with the naked eye," since there are of course many things that are only visible using tools (microscopes, telescopes, infrared cameras, etc.)

By "invisible" you might mean aspects of the world which cannot be sensed with any of our human senses using any technology at all, you have a challenge before you: proving they exist.

Perhaps by "the invisible world" you're referring to abstractions or concepts, e.g. "altruism" or "love" or "evil"? But if so, in this instance I think there must be material evidence for these things for one's belief in them to be rational.

The assertion that an immaterial thing exists, but its existence and any effect of its existence are utterly unobservable, is no different from asserting that the thing does not in fact exist.

So life is effectively purely material. One may assert that there is an unobservable unsensible immaterial reality, but this assertion is ultimately meaningless to us.
Insecurity in Node.js Servers
A possibility is that they are betting that the current generation of LLM is converging, so they won't worry about the goalpost much. If it's true, then it won't be good news for OpenAI.
He doesn't address the real question of how an LLM predicting the next token could exceed what humans have done. They mostly interpolate, so if the answer isn't to be found in an interpolation, the LLM can't generate something new.
Do you value the quality of a mathematical theory by the number of applications, or the intrinsic beauty of the theory itself?
Great to see this project continuing to progress!
> As soon as you use a Dockerfile you have reproducible builds

Depends on how you build your containers. If you have a build step, which pulls your dependencies from a trusted source and versions are locked down, then MAYBE. I've seen developers have all that in place, then in their deployable container they start by doing "apt-get update && apt-get upgrade" in the Dockerfile and install some runtime dependency that way.

There is also another problem, which I believe is what OP is referring to: People will write docker-compose file, Helm charts and what-have-you, which pulls down random images from Docker hub, never to upgrade them, because that breaks something or because: It's a container, it's secure. Fair enough if you pull down the official MariaDB image, or KeyCloak, you still need to upgrade them, and often, but they are mostly trustworthy. But what happens when your service depends on an image created by some dude in Pakistan in 2017 as part of his studies, and it has never been upgraded?

I had this discussion with a large client. They where upset that we didn't patch the OS right when new security updates came out, which to me was pointless when they shipped a container with a pre-release version of Tomcat 8 that was already 18 months out of date and had known security flaws.
Meanwhile everyone agreed that the convenience of magic integration with browsers and other things was more critical than security, in the default config, for a password manager of all things, when debian changed the default keepassxc package to omit optional added attack surface plugins. Not unavailable, just not installed by the default.

I wonder how many people that agree with this nonsense position also agreed with the keepassxc nonsense position.
I would get this because honestly - I like working in Linux but have continued to use OS X simply because M1 has been untouchable with regards to battery life. This changes things and makes Linux a more viable option at a lower price than Asahi.
This is a lie. They write "Overture’s takeoffs will blend in with existing long-haul fleets, resulting in a quieter experience for both passengers and airport communities, meeting or exceeding ICAO (International Civil Aviation Organization) requirements for all subsonic aircraft operating over land and at or near airports."

Note that they are talking about takeoffs (and presumably landings) only where there isn't any sonic boom anyway, not cruising.
By God.
Looks interesting but curious to know how is it different from using traditional databases or vector databases? Is that the graph element?
I never understand Microsoft’s strategy with being absolutely full bore focused on locking in 100% of everyone to this crap, consistently.

It has to be cheaper to let the .03% of people who want to do their own thing just do their own thing than it does spend engineering work to try to constantly capture them. The average user already doesn’t know what “an ai” is and doesn’t care, and therefore will never change your defaults. I can’t tell you how many times I’ve had to re-disable copilot because MS has invalidated my registry and/or group policy changes to get rid of it

If I don’t want the feature even installed on my system, then let me make that choice. Gaming is the only thing holding a windows install in my house anymore and the second DRM in proton is figured out I’m gone.
Unless you have any evidence suggesting that one or more of the variations of the Church-Turing thesis is false, this is closer to a statement of faith than science.

Basically, unless you can show humans calculating a non-Turing computable function, the notion that intelligence requires a biological system is an absolutely extraordinary claim.

If you were to argue about conscience or subjective experience or something equally woolly, you might have a stronger point, and this does not at all suggest that current-architecture LLMs will necessarily achieve it.
The case of the image that came out horribly slanted: Diagnosis
> but I'd easily make a bet that in 5 years that LLMs will be nowhere near human-level intelligence on some tasks

I wouldn't. There are some extraordinarily stupid humans out there.
Worse, making humans dumber is a proven and well-known technology.
Internet Archive Digital Lending Isn't Fair Use, 2nd Cir. Says
Examples of monotonic computation that fit are traditional database operators: filters, projections, joins. Interestingly enough, there is some coordination needed for joins, i.e. the items that match need to be in the same place at some point. But, that's not the type of coordination that the paper is pushing back against. It's still possible to distribute the computation without worrying about ordering.

Examples on non-monotonic computation (i.e. that don't fit) include aggregations, in particular those that include time series with windows. The answer depends on what is in the window. So, if you take an average and only include a subset of the data in a window, the output will change when you add more data in the window. At least, that's how I interpret the monotonic requirement.
No amount of training would cause a fly brain to be able to do what an octopus or bird brain can, or to model their behavioral generating process.

No amount of training will cause a transformer to magically sprout feedback paths or internal memory, or an ability to alter it's own weights, etc.

Architecture matters. The best you can hope for an LLM is that training will converge on the best LLM generating process it can be, which can be great for in-distribution prediction, but lousy for novel reasoning tasks beyond the capability of the architecture.
Physics is the subset of mathematics with physical application. However mathematics need not have physical applications in order to be valid math.
> no falsifiable prediction

You forgot to add "with our current technology ability to probe the required energy scale".
Seems like most of this hinges of precedent. The courts have upheld that if you buy a book and loan out an audio recording of that book, it's not protected. Or something like that.
Full-text of [court opinion] (https://storage.courtlistener.com/recap/gov.uscourts.ca2.609...)
A step removed from the no revenue scene from HBO's Silicon Valley

https://youtu.be/BzAdXyPYKQo
Doesn't work. Look at the updateless decision theories of Wei Dai and Vladimir Nesov. They are perfectly capable of building most any sort of torment nexus. Not that an actual AI would use those functions.
I like the proposed approach of purchase guarantees here. Directly injecting cash into Intel just creates a moral hazard where they spend the money dealing with organizational inertia than innovating in the space. Plus, the government could even turn a profit reselling its purchased semiconductors to various US companies!

The US ecosystem badly needs a serious Intel competitor -- because they just ain't it.
Show HN: ASim – generate functional mobile apps instantly on your phone
Hi HN! Daniel from YC S21 here, launching a project called aSim, which lets people generate/simulate usable native apps (called Sims) instantly from your phone. Describe an app you want and aSim will generate it. Then, edit and refine it to better suit your needs. Sims are also shareable via links, and basic app functionality is also exposed through web (though mobile is much more feature complete).

A couple of my favorite Sims so far:

- FridgeChef, recipes from what's in your fridge: https://asim.sh/s/419

- wordle: https://asim.sh/s/412

- HIIT workout randomizer/generator: https://asim.sh/s/418

- Pomodoro timer: https://asim.sh/s/232

Would love feedback around the experience and additional functionality you'd like surfaced!
> Sutskever said his new venture made sense because he "identified a mountain that's a bit different from what I was working on."

I guess the "mountain" is the key. "Safe" alone is far from being a product. As for the current LLM, Id even question how valuable "safe" can be.
The Red Hat model is rather to be the professional distro, made by professionals.

Ubuntu and Debian are for hobbiests and lawyers, and you should never run a public server on debian/Ubuntu if you care about security.
Cool trivia about "scrip": I learned this term in the context of charitable donations. Folks at church would purchase "scrip" coupons or vouchers which were only good at a certain store, like the big grocery on the corner. Then we'd use the scrip to purchase whatever we wanted, and a portion of our scrip money was donated to the church (or whatever charity sold it to us.)

Now we use "eScrip" which is really streamlined. We go into our grocery store account and register a charity number with them, and every purchase is credited to that charity for a certain percentage of the proceeds.

But I suppose the name is the same because charitable scrip is only good with a certain vendor, and in the old days, the "paper days" it needed to be purchased in advance, like a gift card, from the target charity, rather than the store itself, and we couldn't convert it back into cash.

So for us in the 21st century, "scrip" is a good thing, a voluntary program, a way to make charitable donations without making charitable donations.

https://en.wikipedia.org/wiki/Scrip#Company_scrip

Once awhile ago, my employer called me into the office and said they wanted to increase my pay, but they knew I'd lose some benefits if my income increased. They said if I work enough extra hours, they'd pay me with gift cards beyond my agreed salary. Gift cards for grocery stores, or restaurants, or whatever specific purpose. (my employer was not a grocery store nor a restaurant.)

I declined. I suppose there are a lot of legal regulations that prevent employers from paying "in-kind wages" rather than cash money. But "in-kind" is still a line item on the forms I fill out. I frankly don't see much wrong with "in-kind" wages if the company town provides all essentials and necessities, and hopefully workers can earn a certain percentage of cash for incidentals.

By the way, in mining towns or logging camps, these were often quite remote outposts, where travel and shipping was extremely difficult for workers, and so the company town NEEDED to provide everything, or nobody could live there! And the workers had little hope of calling up Amazon and having a color teevee delivered!!! Cash would be nigh-on useless, and scrip was quite a logical substitute.

The worker-exploitation aspects of scrip are probably quite separate and distinct from the realities and logistics of a company providing goods and amenities, in spite of how Wikipedia makes it sound so intrinsically evil. Some are good at it, most aren't; what do you expect?
The common method for choosing the next output token for an LLM is sampling from a Boltzmann distribution. If you have seen the term "temperature" in the context of language models, that is a direct link to the statistical gas mechanics.
Does anyone have any insight as to how much modern simulation software helps the process?

From what little I remember of reading about the first attempts at supersonic flight, there were a lot of unknowns and somewhat counter-intuitive factors, and it was being calculated on slide rules. Can modern engineering and simulation software reasonably predict the effects of supersonic flight on a model?
There are layers of abstraction on top of “the math”. The back propagation math for a transformer is no different than for a multi-layer perception, yet a transformer is vastly more capable than a MLP. More to the point, it took a series of non-trivial steps to arrive at the transformer architecture. In other words, understanding the lowest-level math is no guarantee that you understand the whole thing, otherwise the transformer architecture would have been obvious.
Hardware is so cheap these days you can just have a separate machine for Windows-only tasks like gaming in your case (in my case it's macOS for music production) - and enjoy the freedom for all other tasks.
Looking for contract, part-time or volunteer work, specifically in renewable energy consulting.

Preferably smart grid technology, wind energy, solar PV, energy policy.

Location: Remote, prefer opportunities in US/Canada

Remote: Yes, please.

Willing to relocate: No.

Technologies: Python (Pandas), Excel

Résumé/CV: On request. See linkedin: https://www.linkedin.co/in/eldrichrebello

Email: eldrich at eldrichrebello.ca

Scientific publications: https://scholar.google.com/citations?user=a0oog-YAAAAJ
> in the late 2010’s Intel got stuck trying to move to 10nm, thanks in part to their reluctance to embrace the vastly more expensive EUV lithography process

TBH, it's easy to say this with the benefit of hindsight. Throughout most of the 2010s, EUV lithography was like the "year of the Linux desktop" - i.e., this year will be the year where EUV was suitable for high volume manufacturing. I don't really blame Intel for deciding to go with self-aligned quadruple patterning for 10 nm, but combining it with cobalt interconnects was probably biting off more than they could chew.

FWIW, Intel was funding EUV R&D since 1997: https://www.intel.com/pressroom/archive/releases/1997/CN0911...

That press release had an interesting prediction:

> Intel projects that the microprocessor of the year 2011 will contain one billion transistors, operating at over 10 gigahertz and delivering 100,000 MIPS (millions of instructions per second).

They weren't that far off in estimating the transistor count and MIPS: the i7-2600k released in January 2011 had 1.16 billion transistors [0] and delivered 117k MIPS [1] @ 3.4 GHz. The clock speed prediction was way off due to the failure of Dennard scaling in the early-mid 00s.

[0] https://www.anandtech.com/show/14043/upgrading-from-an-intel...

[1] https://en.wikipedia.org/wiki/Instructions_per_second#CPU_re...
I think it's all about being realistic.

We made leaps and bounds before because clock speeds were going up 50% or more between generations. Add in architecture improvements and it was easy to see actual performance double from one generation to the next.

But we're struggling to get clocks faster now, and I always imagined that it's because the speed of electricity isn't fast enough. At 6 Ghz, in one clock cycle, light travels only about 6 inches/15 cm. Electricity moves slower than the speed of light, depending on the medium it's going through. At the frequencies we're operating at, I figure that transistor switching speed and clock skew just within the CPU can start to be an issue.

We already have tons of CPU optimizations. Out-of-order execution, branch prediction, register renaming, I could go on. There's probably not much more we can do to improve single-threaded performance. Every avenue for optimizing x86 has been taken.

And so we go multi-core, but that ends up making heat a primary concern. It also relies on your task being parallel.

Or we go ARM, but now some of your software that has had x86-specific optimizations like using AVX-512 has to be rewritten.
Very interesting paper.

> I show that the decline in interest rates and corporate tax rates over the past three decades accounts for the majority of the period’s exceptional stock market performance.

It's interesting that they've shown this to the exclusion of other narratives, mainly frontier markets like semiconductors and software allowing "easy" creation of value. I think this is partially why investors are so eager to dump so much cash into AI/why Zuckerberg has been so focused on VR/AR—they're looking not just for a solid investment, but an opportunity to get into the rent-seeking class on the ground floor. Why would you invest in a piece of software when you could invest in a "platform" (aka privately-owned market) instead?

Of course, we can't just create these platforms out of nowhere—they require enormous moats like exclusive access to IP or regulatory capture or enormous production capacity or some sort of similar gimmick, and there's only a finite number of these. It seems like this is also a significant reason why growth isn't infinite and should be expected to slow and even reverse in time.

I haven't finished the paper but I eagerly look forward to reading it in full later.

EDIT: spelling, wording, I'm done editing; apologies.
Intel is trapped. Its debt repayments alone are massive. The poor performance in stock has encouraged 20years of wage stagnation to the point where you can literally earn over 50% more at amd or nvidia or even an startup for equivalent roles so they aren’t hiring the best. Their pay in the Bay Area is double tsmc in taiwan for equivalent roles in raw dollar terms but the ppp differences means your better off working for tsmc in Taiwan than intel in the Bay Area. That’s not a joke. Intel are literally incapable of attracting talent from Taiwan right now.

They don’t have the talent they need and the debt trap and poor performance means a lot of push back to the needed doubling of wages to attract that talent. It’s a very hard sell for any exec trying to correct this problem. They sidelined lip bu tan who was one of the advocates for even more layoffs and wage freezes but he’s one of many backwards thinkers they need to remove. It’s going to be difficult to fix their board.

Without talent intel has no hope of winning and they can’t get that talent due to poor stock performance for the past 20years leading to executives and shareholders wishing to implement the opposite of what they need right now. In fact they have ongoing layoffs right now. A true downward spiral and the only real hope is for a newcomer to step up.
If it is running as root, can't it just manipulate its mount namespace at will? Mount devtmpfs, then mount user partitions.
I fed your question into perplexity.ai [1] and it appears from the resulting response that a youtube video [2] is responsible for this bit of misinformation.

[1] https://www.perplexity.ai/search/as-far-back-as-the-1950s-it...
[2] https://www.youtube.com/watch?v=9PNlf-Ar5oA
Location: Santa Barbara, CA, USA
Remote: Open, Hybrid
Willing to relocate: No
Resume: Available on request
Technologies: AWS, Kubernetes, Python, Bash, Docker, Terraform, Puppet, PostgreSQL, Ruby, Git
Email: vernon.lingley@gmail.com
Linkedin: https://www.linkedin.com/in/vernonlingley/

I'm a devops/platform engineer with 10+ years experience of managing applications and migrating them to the cloud/Kubernetes
Languages: Python, Bash, Ruby, working on Go, Rust
Infrastructure: AWS but I also have experience with VMware, GCP, and Azure
Tools: Git, Perforce, Docker, Terraform, Pulumi, Kubernetes (EKS and kOps), Puppet
Databases: PostgreSQL, ElasticSearch, MongoDB, Redis
CI/CD: Jenkins, GitHub Actions, Bamboo, Spinnaker, ArgoCD
The price of batteries has been falling pretty quickly. They're not quite affordable yet, but I'll eat my hat if they home batteries don't hit affordability in the next 5-10 years.

https://ourworldindata.org/battery-price-decline
Decommissioning my first commercial product
I'll gladly take another Elon for siliconX. Hell I'd take 10. The good Elon has done in terms of his companies vastly outweigh the few bad tweets he slings into the world once in a while.
The technology is dual use. There is value in war, unfortunately.
The Internet Archive has lost its appeal in Hachette vs. Internet Archive [pdf]
Agentic AI: Langbase is turning 50M developers into AI Engineers
I had problems with configuring wine prefix manually. Some frameworks could be downloaded / installed. With some were problems. 32 bit wine worked, but 64 bit prefix did not most of the times.

There were attempts to auto configure apps, like bottles program. This did work quite well when I used it for simple programs.

As with Linux. It takes some time to get familiar. Once you set up everything correctly, it will just work.
This is my current setup yes, the only thing windows is on is a gaming PC for gaming only.
The semi spacex moment already happened - it was when TSMC was founded
I'm agreeing with you, and adding in to those pushing for it, "you first". Then it won't happen because surveillance is what happens to the common people, not the important ones. /s, in case it needs saying.
I still use Reddit, but I gave up on productively contributing to it.

The only account I use now is purely for NSFW reddits, which Reddit will not display advertising for, and I don’t post questions or write comments. They serve me media they host, incurring the costs of storage and data transfer, and get nothing from me in return.
In addition, SMIC in China managed to get to 7 nm without the use of EUV. Also early EUV yields were actually quite low.
What do you expect? This seems like a hard problem to solve. Hard problems take time.
please forgive my ignorance, has there been notable progress in the field of physics in the last decade? noteworthy breakthroughs i mean

i ask out of layman curiosity
Some Considerations for Fertility Crisis Think Pieces
Good idea, generalising: it’s sampling mappings from arbitrary domains to a binary range (the message appears, the message does not appear). This gets more complicated when your range isn’t binary but the underlying intuition, to take an informed statistical approach, is a necessary evil for tests to keep pace with a program as its complexity grows.

Just like many other industries. I recently learned about inspectors who sample cacao beans at the warehouse for the many ways they can go wrong before being processed.

As someone who really appreciates strong examples to motivate learning generalised approaches to work, a variation of this article could be a great motivation to introduce people to parameter based testing, or (closely related) fuzzing.
If you want to share information then you presumably don't want it to be regurgitated to be subtly wrong.

The only use case I see here would be if it can be poisoned to reject queries about the area and direct readers to the source instead.
It isn't just vapor-ware because the company is going to get acquired by the military? Or the military is going to place an order for jets? Why does that help make it not vapor-ware?