skysight-inc/HackerNews huggingface dataset:
For those who don't know, differential geometry is used in the most elegant definitions of physics - quantum field theory.
This must be the most USA -centric (meant in a bad way) vision on infrastructure I have ever seen. You guys really don’t go out much.
Polypane, The browser for ambitious web developers
IBM 1979 presentation slide is kinda timeless.
this is sort of like a dream I had https://medium.com/luminasticity/the-county-map-of-the-world...

>The idea was that he could graft queries in this that he did not expect to finish quickly but which he could let run for hours or days and how freeing it was to do more advanced research this way.
Papers are linked here https://www.scallop-lang.org/resources.html

https://www.cis.upenn.edu/~mhnaik/papers/neurips21.pdf

https://dl.acm.org/doi/10.1145/3591280

There is a 135 page book on Scallop https://www.cis.upenn.edu/~mhnaik/papers/fntpl24.pdf
> if they "aren't" doing that then it doesn't help.

True enough. To be clear I don't fault anyone for not using new or known to be broken or little known standards.

However at some point responsibility has to shift to the developers. There are standard ways of doing things. Just as you can't expect an arbitrary project to support your pet API that hardly anyone uses, developers can't expect major distributions or the majority of users to cater to their refusal to conform to widely accepted standards.

I'm not saying you shouldn't use a particular program. Just that I don't think it's reasonable to fault the tooling for certain things.
AI is very far from «useless», but Antirez is not talking about AI: AI is "what can replace a professional".

LLMs are far from "useless", but they are very problematic. They are "tentative".

AI must go on, and LLMs must be fixed (protocollar content, lucid world model, dynamic world model, rational understanding, thought validation, iterative refinement of the world model...).
Or we just didn't estimate the maximum population correctly, or managed to keep pushing it up for a century with improved agricultural technology.

It's hubris to suppose humans are immune to natural laws that seem to apply to everything else.
No preregistration. Small cross sectional sample. From their limitations:

>Only subjective measures were employed, and due to the cross-sectional design, no causal inferences can be made.
> amusing that people minimize it by just calling it pattern matching

Even funnier when the typical IQ test, Raven's Progressive Matrices, are 100% about pattern matching.
> consumers are fine with sharing their data

Google is an advertising company. Google exists because businesses advertise and Google became, overnight in geological terms, the sine qua non of advertising.

Consumers aren’t really OK with sharing gobs of private data, but most don’t have a choice, many enjoy the free shit that they get from Google, most don’t notice or realize how much and what kind of data is collected, and none zero zip nada of us can stop Google from doing it.

This is absolutely nothing new in thousands of years. Businesses have sold and hoarded and collected and traded consumer info since time immemorial. Among themselves, with government, with law enforcement, with criminal gangs, who knows. You’re simply deluded if you think any commercial activity is private or confidential for a consumer. Yes even if you pay with $2 from your cleavage.
I mean humanity is a little bit more complex than bacteria growth, for example because humans can to some degree influence if, when and how many kids they are getting.

But the logistic growth function is used to model populations in animals as well. So the question is what is your counteragrument?

1. reality is more complex than the logistic function, but ultimately in fact we would reach some sort of saturation effect, e.g. by humanity moderating the birth rates.

2. reality is more complex, but infinite growth in an finite habitat is somehow possible (note, that infinity is a huge number)

If it is the latter I'd be very curious to see your mathematical model and your reasoning behind it.

On the topic of model complexity: the logistic growth function is a simplification and in reality one would have to incorporate at all kind of resources (and their geographical locations, renewing rates, etc) in a complex mega model. But I do not see how any model could sustain infinite humans. And if it can't it means there is saturation and that means the logistic growth function is a good mental approximation for populations.

Also see: https://bio.libretexts.org/Bookshelves/Introductory_and_Gene...
From my understanding, mindfulness does not imply no thinking. It is more like not reacting to the thoughts that arise. I am a beginner so don't quote me here, though!
Zoomers call it "copium". Believing whatever has to be believed for peace of mind, even though it's logically not true.
In other words, they lack empathy. And they’re unable to grasp that if someone benefits from something, that it doesn’t mean it automatically disadvantages them.
> using this definition everything is Natural, including fore example Complex numbers, which is obviously incorrect, and thus invalidates yr argument

Except you’re wrong here; should we thus call your argument “obviously incorrect”?

Complex numbers are natural; they’re fundamental in quantum mechanics. Ever since Schrödinger’s equation fundamentally required them for time evolution of states, physicists (and philosophers) wondered if they could be removed. Recent experiments say “no.” QED and QFTs are the most precise theories known in all of science.

https://physicsworld.com/a/complex-numbers-are-essential-in-...
I feel very differently about the article. What I took away from it was the authors long-held critique of how high school literature and writing is taught and evaluated. Or how teaching in general has become increasingly outcome focused rather than process driven. ChatGPT is used to illustrate this but I feel like the article could have been written using another example like plagiarism or paying someone to write for you or any current LLM.
Probably robotic ilk using the more common modern usage of ilk - https://www.vocabulary.com/dictionary/ilk

.. along with an unintended cool in-joke about how dogs can't type.
I was always fascinated by the prospects of the 1024-core Epiphany-V from Parallella.. https://parallella.org/2016/10/05/epiphany-v-a-1024-core-64-...
But it seems whatever the DARPA connection was has led to it not being for scruffs like me and is likely powering god knows what military systems..
Well, it doesn't matter whether the AI has qualia, as long as it produces the right output.
That's just another type of test, the question was who's going to check that the tests are actually testing the correct things. Maybe look up the Therac-25 that was mentioned.
Well sure. As best we can tell the whole universe is a mechanical cause and effect chain, and the illusion of free will is just that, an illusion.

Or possibly... There is something else going on, and we just haven't figured it what it is yet. I'm not betting either way at this point.
Because thinking takes time.
> https://github.com/camel-cdr/bfcpp/blob/main/TUTORIAL.md#32-...

> loops like [-], [>] and [<] could even be completely reduced to a single operation.

This has got me wondering if it would make sense to pre-process the BF programs I've been using in genetic programming experiments. Loops are the #1 thing that slow down the search. But, I don't know that this optimization pass would be paid for in the typical case - at least not until the average complexity of the population reaches a certain point.
North American spider species alters its webs to deal with urban noise pollution
My thoughts too. This appears to be nothing much dressed up in fancy clothes?
DeepSeek and Unitree G1 = the future of cheap, scalable digital labor
Good!

I dont really care about the colour of your skin, where you were born, what religion you follow, who your parents are, whether you are male or female, I dont care how old you are, I dont care if you are gay or straight or bi, and I certainly do not care what self assigned gender-neutral pronouns you use.

For me it has always been about using the best, most highly skilled and qualified people to do the job.

It really is that simple.
Connectionism and cognitive architecture: A critical analysis
https://www.semanticscholar.org/paper/Connectionism-and-cogn...

Fodor and Pylyshyn's Critique of Connectionism and the Brain as Basis of the Mind
https://arxiv.org/abs/2307.14736
46 comments 4 years ago: https://news.ycombinator.com/item?id=28345868
> maybe a little long

Many of us have ongoing problems pending for years - for just "a week", "where do I sign".

It really depends on the task.
For a long time I’ve tried to not give in to the thought that republicans, at large, are actually that short-sighted. It’s the literal guy sitting on a tree gleefully sawing off the branch they sit on. It felt like I was missing something, a change of perspective, but no. I’ve come to accept they really can’t look further than their own noses length, or at least won’t vote for more capable representatives.
You can take an obviously obtuse and extreme interpretation to what I said.

What i mean is simply this: Today, there is an implicit social contract that if i build a better tech or innovate in a niche, i get to monetize it anyway i like. In free markets, people pay for it if its useful, else they dont. What EU is doing is breaking that. Incentive flips to not to bank on innovation as a differentiator, but move fast to capture the market with patchwork so that when regulators notice, you have already made enough money. This leads to standardization, and the ultimate losers here are the end users and customers.

You would think if Apple knew that they would force share (for free) every innovation they did, they would have invested in creating an ecosystem like this. Or like qualcomm woudl invest billions in r&d for better chips if they cant reap the benefits.
I very much enjoyed this conversation and had some good laughs!
Which could have been adjusted, of course.
Playing with HP Pa-RISC
Thanks for the feedback! Glad you enjoyed. Point taken on the GIF, and I'll bear in mind. It's a bit of a balance; I don't like using too many embedded YouTube videos because that can spam readers with ads.
I think svelte 5 is an actual innovation, it does not behave or feel like a “framework” to me. It feels like a natural extension of building an front end with raw html, css, js, solving the headaches you eventually hit when you do so.
Bitter Lesson is about AI agents
Solar might be problematic. How will you discern between a solar panel and a solar thermal collector? They look practically the same but their function is very different.
> In 10 to 20 years, it might significantly contribute to environmental solutions, clarifying complex issues or providing effective methods to mitigate climate change.

Most of the issues are known. Paths to solve them have been known for decades if not more.

What's missing is the political and economical will to put them into action ASAP (because it's getting late now).

We're on the fringe of a +1.5°C world already. In less than a century, we will be most likely at +4°C, where most transport/living infrastructure and agriculture will have failed by then.

Whatever AI helps discover (new materials, new energies, new ways to extract energy or means of survival for, not only the human species, but most of the species still alive)...

How is AI going to put these solutions in motion in ways that we can't today? How is AI's "authority" going to efficiently supersede assemblies or governments?

If Earth's biotope is basically cooked in 75 years (in which, even datacenters in which AIs run won't be functional or safe) , how is AI anything close to a best bet for humanity?
So you walked into a French restaurant in the 16th century every week and there was an artist sitting outside and the proprietor took notes on every conversation you had and the artist made portraits from everything you were wearing every week and they all sold it down the river.

The shopkeeper knows your face and every baguette you ever purchased three times a week. Every miller within 300 km knows about that time you complained about the stale bread they sold you.

What is the big diff and nobody needs high tech to compromise your privacy
While I was formulating my reply I asked myself: if we knew AI would only yield minor incremental improvements, would it be worth enduring the social upheaval caused by job losses and other stresses? Possibly not. Technologies should serve humanity by enabling greater cultural development, reducing suffering, and allowing us to achieve what otherwise would be impossible. The current level of AI, while helpful, doesn't fully achieve that.

So which is it? AI is useless or AI is good enough to start replacing humans in jobs?
A symbol being arbitrary doesn't influence the reality of the meaning behind a thing. I've always thought about `zero` while counting, it never was about `0`.

I observe zero.

I don't think zero is an absence of quantity. I don't think zero is the null set.

You can write types in a programming language, but there are other type theory books that do include zero in the natural numbers. And type theory comes from number/set theory. So it's ok if you decide to exclude it, but this is just as arbitrary.

In fact I'd be happy to write `>=0` or `>0` or `=0` any day instead of mangling the idea of zero representing 0 and zero representing something like `None`, `null` or any other tag of that sort. I don't think the natural world has anything like "nothing" it just has logical fallacies.
I think developers of desktop application are generally open towards facilitating sandboxing though. Most applications use standard XDG folders for files, use standard toolkit file pickers, etc.

I don't have hard data, but my impression is that the general tendency in Flatpaks is that they are able to do more sandboxing over time. When Flatpak was new, a lot of applications pretty much required completely opening their sandboxes, the same applications have much more limited privileges nowadays.

It's a long process, but at least with desktop applications there is progress. Unfortunately, the same can't really be said about command-line tools and development tools (NPM, cargo, pip, editor plugins, etc.).
The author is a poor writer for someone that is supposed to be an expert on writing. Those who can't do, teach? Prolix, excessive commas, takes too long to get to the point, and talks about himself too much.
Where the Christian spirit fades, superstition grows.
GoDoxy – Easy to use reverse proxy with Docker integration
I wish there were a service that would unbind cheap books and sew them into a new binding of something bulletproof.
I was partly joking, it is something I would have done. Thank you for the clarification though, and thanks for the submission, Liberapay is great.
Love this. "Akshually" is kinda what I'm going for (maybe not midwit), the point is to take something a bit incongruous and pull it apart pedantically.

I definitely think UT's sniper rifle is "coded" as a regular one familiar to us, with its ammo as shells in a cardboard box. I think adapting gas gun mechanics to a man-portable weapons system with interchangable ammo is a bit more complicated than you allow, but indeed it's not magic. Thanks for giving me more ideas to write about.
Or overflowing wine glasses.
I tried in Firefox, Chromium and Vivaldi, but none of these browsers work...
Mruby/C and picoruby: high level langs in low-level devices?
some people hate to use C. Some people embrace it, even love it (including many game devs!). You have full control! But i wonder, what do HN folks think about these pico implementations of ruby, a complex language made for the tiniest devices, such as sensors? I mean.. is C really that bad??

also, it's very cool they're still being maintained!
> To try and present this as just random pattern matching seems as just a way to assuage fears of being replaced.

LLMs are token predictors. That's all they do. This certainly isn't "random," but insisting that that's what the technology does isn't some sad psychological defense mechanism. It's a statement of fact.

> as if human reasoning isn’t built upon recognizing patterns in past experiences.

Everybody will be relieved to know you've finally solved this philosophical problem and answered the related scientific questions. Please make sure you cc psychology, behavioral economics, and neuroscience when you share the news with philosophy.
A different superstition, you mean.
It's called the Shirkey principle.
> almost no one types out and checks the full paths constantly, they just let tab completion take care of it and assume it worked.

Are you a bootcamp coach having watched countless of people at the terminal? What makes you assume this is a general habit?
Simplicity in high-level: Lua, low-level: Zig (combined in one (complex): Rust?)
I think they are both talking in Received Pronunciation (RP). At first I almost thought Dirac was mimicking the slight German tinge, but he was also a fluent German speaker so maybe this was natural to him too. I remember reading he stopped speaking German during one of the world wars so not sure if he still did at this point.
And this article says "study from Saudi Arabia, where Brucella is endemic", which I'd say would be a pretty compelling reason not to eat pigs in Saudi Arabia.
In fact, Italy DID block Cloudflare within the country at one point, and a bunch of people DID blame the government, and the government undid it.

I'm told Italy is a hotbed of corruption and they only undid it to save face.
Mindfulness has absolutely swept away anything else in the mental health field. I’m still not sure what it is after 20 years, but everybody is a fervent disciple around here.

It hardly even surprised me, when I rewatched The Phantom Menace, that Obi-Wan was overtly training Anakin for Mindfulness.

Come on nerds, embrace the post-Christian Hesychasm!
Indeed it did, although the flak cannon brings another set of issues as the preceding article talks about (basically it combines two very different types of weapons system).

And agree, different types of game need different mechanics. Battlefield games were a very different experience; I think the simple mechanics work in UT.
Pennsylvania's mushroom industry faces urgent labor shortage
If this argument is true it implies an unintended but very bleak corollary about what things aren't really worth preserving, if you start to think about what things aren't thriving in the economy with competition from LLMs. Trusted phone communication, visual art, rule of law, academic peer review, the news, search engines, question and answer platforms, etc
Kent’s original book is a masterpiece. He pretty much defined data modelling nearly fifty years ago. It’s depressing how little of real interest has been added since.

For the reasons you rightly pointed out, the current edition is a disaster.
Yes you do care. There are hundreds equally "best person for the job" and as long as it is not a women, it is ok to pick any guy. These are symbolic choices and as long as the symbol is a guy, people are happy - even when he is not actually the best person.

And plus a choice on whose body we make the experiment - astronauts themselves are the subject of the experiment.
That's enough of a corporate presence. Whatever they have in Italy can be shut down. You don't get to not follow the law just because you're buying from a vendor.
"but it is our best bet for the future"

is stolen IP and shattered privacy our best bet for the future? or our best bet for a dystopia?

We carry our pathogenies untouched to a new era where they will be more impactful and more empowered with the AI feedback loop.

I'm disappointed when people throw things under the carpet because greed is more important and because oh shame is disguised as "growth" and "productivity".

AI fixes nothing, it just covers things up.
>Technology and social progress definitely leads to fewer work hours.

Do they? Seems more like developed countries just outsourced the sweatshop factory work to other countries. "Out of sight, out of mind" as they say, I guess.
I mean exactly what I say. I'm simply pointing out an interesting observation: Western countries abandoning their roots do not transition into pure "atheism"; instead, they exchange their spirituality for something else. Rather than Christianity, what's popular now are horoscopes, tarot cards, meditation, and various practices derived from Buddhism, among other things.
Maybe Rapidoc?
I Used AI to Solve My Lifelong Eczema Mystery After Years of Suffering
Check out also https://github.com/xataio/agent which builds on this idea in the form of a dedicated agent for Postgres.

Disclaimer: I’ve worked on this project.
> Giving 10 month old children permanent crutches may harm the development of walking, but since the crutches make unassisted walking obsolete, maybe it wasn't worth it anyway?

LLMs are a language calculator, yes, but don't share much with their analog. Natural language isn't a translation from input to output, it's a manifestation of thought.

If deaf children not taught sign language suffer from non-language learning disabilities, it's not a far stretch to say failing to practice quality writing will have a similar effect. But even with direct translation, if a school "translated" Shakespeare to a lower reading level to account for the class's lower literacy, it may still affect their development. If you had ChatGPT do every exercise in CS, you wouldn't have learned much from just the explanations.
> I have never heard of anyone hating cops for showing up to help when their assistance was needed.

Oh, the naivety. It's hard to hear someone hating cops who showed up to help after the cops who showed up to help shot them in the face to death. For example.

"If you have a problem, and call the cops, now you have two problems".
This is only true in economics model that do not take any morality or the customer's satisfaction into account.
No doubt they're useful to explain some theories, but did someone observed in the Nature 6-4i apples or -7+3i particles?
> LLMs are token predictors.

And neural nets are "just" matrix multiplications, human brains are "just" chemical reactions
Rainier is visible at least 85 miles away.
How did you build that experience? It's speculative now if people can develop equivalent experience when you're job is now to constantly guide an LLM to do the right thing. We can speculate that you see patterns and seek to correct them, but the type of hands-on experience and muscle memory is threatened to be atrophied (very much like just relying on stackoverflow for answers can atrophy your ability to seek core knowledge.)
> the links seem to be automatically-generated, and the generation is a bit sloppy; for example, the "Syd" links

I dare you, check the git history! (if you care anyway)

It's all manually crafted, with love.
From the Shine On You Crazy Diamond badge at the top down to the very last link.