skysight-inc/HackerNews huggingface dataset:
I beg to differ:

The C standard bakes in enough details about pointers such that the amount of memory a C program can access (even on a hypothetical infinite-memory machine) is bounded and statically known. Access to an unbounded amount of memory is necessary (but not sufficient) for Turing completeness. Therefore C is not Turing complete.

The argument is—insofar factually true about C which I cannot judge—sound, and I agree that C is according to this view not without bounds, hence not Turing-complete.

But is that viewpoint acceptable in light of what people commonly think of when discussing Turing-completeness? I think it hardly is. Because if it were, then no actually existing software would have ever passed the test for the simple reason that in the physical world unbounded memory can only exist as an approximation, not as an actuality.

But I contend that programs, like computers, can only exist in the physical world. The author seems to conceptualize only computing hardware to be tied to the physical world whereas computing software exists in a Platonic ethereal world of imagination, and therefore, it is enough to hand-wave the inherent limitations of the hardware away with a 'let's imagine'. However, real software is as physical as hardware. Therefore, if we grant the hardware the privilege of not having to be actually infinite to satisfy Turing, we're bound to grant the same to software—in other words, once you can show that in principle, you can always upfront somehow ensure you don't 'run out of paper tape' (as one actually does in newspaper printing, where paper is 'endless' in this sense) and you can likewise ensure, upfront, that your program will be given access to just enough memory, then that does not, in the common understanding, hamper Turing completeness.

Of course, should it turn out that there's a principled reason why one C program cannot ever access more than—pulling out of thin air—23TB of memory, then that would be some sort of argument, even though in practice there's a limit to when we think of memory as 'limited' in a practical sense.

Coming to think of it, can't one write a C program that, while in itself limited in terms of RAM addressability, can spawn copies of itself? When the processes maintain pointers between parent and child process, that should overcome any limitations on Turing-computability since then the tape / RAM can be accessed across process boundaries.
> False propositions are not knowledge, only true propositions are knowledge.

This is something that a lot of Greeks would have had issues with, most probably Heraclitus, and Protagoras for sure. Restricting ourselves to Aristotelian logic back in the day has been extremely limiting, so much so that a lot of modern philosophers cannot even comprehends how it is to look outside that logic.
We’re not making different points. Read the parent comment I was responding to.
You said it so much better than I did
I am all for maintainers getting something for their work. What I object to, is a guy sitting in the west, xenophobically pointing at the east, and at the same time, asking themselves if they can sell that stuff from over there. Thats a different situation, and you know it.
I love them! Free users are still validation that there is a demand for what you’re building. Ofc it might still be the case that most people aren’t willing to pay for your product, but you’re only going to find that out once you keep building.

This is exactly my approach with https://rockyai.me/ - chrome extension that lets you chat with any webpage using LLMs. I have zero paid users but a lot of my friends love the product so that’s still very satisfying!
Yes. and that's sad. Very sad.

Having said that, it seems that many people (me included) have been assuming things about "the WordPress Foundation" that are not true. It apparently is _not_ the steward of the wordpress.org repository of 3rd party themes and plugins the "community of developers" painstakingly created, and that have made WordPress "good" for so many different people. As far as I can tell, "the foundation" does whatever it does on a tax filing declared budget of around $22,000 (so, not much?) - and it exists mostly as a non profit "owner" of some trademarks that it immediately exclusively and irrevocably licensed for commercial use back to Automattic the same day they got given them.

I'm pretty sure "the foundation" could have disappeared anytime in the last decade, or could remain to exist for another decade or two to come, and either way wouldn't make the slightest bit of difference. It's not the foundation that's gone, it's the trust in the Wordpress core development leadership, the trust in the wordpress.org theme/plugin leadership, and the trust that the WordPress trademark is safe to use in perfectly normal and legal ways without the treat of being extorted if you start making too much money.
Character assassination by anonymous cowards.

The Free Software movement has been completely routed. MS owns GitHub. The farmers fighting for the "right to repair" their tractors are the "front" of the "battle" for user empowerment. But sure let's beat the shit out of the dead horse that's actually a real live old man with cancer who wrote fucking Emacs, see if that helps?
You can do this with xzoom, which also allows magnification from x1 upwards - is there an advantage I'm missing here?
Do you think you look convincing, trying to pretend you're not aware of Elon Musk's reputation?

He's literally the richest person on Earth. It's as if you're pretending you don't know what Santa Claus is about.

I've heard of Santa Claus, but what does he do exactly?
Ask HN: Join an Organization with Social Logins?
Let's say A invites B to his organization. The invitation is tied to a specific email.

How do you allow joining with Google or Microsoft, but they HAVE to choose this email from the invitation? Is there an authorization param I can set?

Right now I only allow sign ups via credentials and allow the users to connect social accounts in the settings if they join an organization.
Yes. The second Rama language will have a co-author and will lose the purity of the first language by adding many keywords each with a lot of emotional backstory.
Ho do you drill the hole? I'm having trouble imagining kids with needles in their pockets, do you do it with a pencil or toothpick?

We've got a ton of horse chestnuts in my neighborhood but I've never heard of this game and I'm eager to introduce it to my kids.

Also, doesn't the conker spiral around your hand hitting it and hurting you?
A banal false dichotomy. Pushing for lower CO2 methods of energy generation and transport is not "degrowth".
Look at the first reveal of Cybertruck versus what shipped. Those vans are going to look like crap.
Alternatively you could use 'most people', or any one of several equivalent expressions, and preserve the meaning of everyone as every one. There is an aroma of manipulation around using language that gives the impression of absolute consensus even if all parties involved understand its vernacular meaning. It's embellishment in service of influencing people and rightly denounced in any context where accurate communication is important.
I disagree:

- KSM only works on pages that are identical; I am skeptical that it can actually identify 2 instances of a lib after it's been through an optimizing compiler+linker (mostly LTO)

- KSM has performance overhead

- zram/zswap only let you reduce the impact of running out of memory at the cost of performance; you're still swapping, no matter how much we improve the details, so it'll always be worse than outright deduplicating libraries
We shouldn't encourage people to run old software. They will be part of a botnet sooner or later. It sucks yeah but people should rather switch to other operating systems instead of running one without security updates. AFAIK Win10 still gets paid updates though, that will extend the lifespan a bit.
I feel we've entered Terry Pratchett territory in this thread, and I'm very happy about it.
As a fan of humanoid robots, humanoid robots only serve the human desire to experience another being in their likeness.

Boston dynamics went back to building arms on wheels.
Reading that article I see no proposed solutions to this sail problem. They mention wind as an issue for delivery times but not safety. There's also no acknowledgement that the "scaling law" that makes building huge airships lucrative also makes these problems worse.
I'd love to see that actually... Most hair driers are very power hungry. 2kW is not uncommon (at least here where standard voltage is 240V). Achieving substantial amount of drying from a mobile phone battery would be quite a feat of engineering.
Is it tho?

Twitter traded space (initially 140 characters) for time (you read it fast). That turned out to be a pretty substential decisions, also for consumers.

This is how I read the notions of space and time in that post.
http://news.bbc.co.uk/2/hi/uk_news/7637605.stm
My uninformed opinion on this is that allowing cars from China, a country with extremely weak workers rights that subsidizes a substantial amount of its private sector, will flood the market with EVs at the cost of jobs stateside.

What am I missing?
> No I'm not confusing anything with anything else.

Yes you are, since you are the one that brought up an anecdote about an emergency visit, and I am explaining why that is not relevant.

> probably the word "wrong"

I wasn’t offended, those were your words, that I took at face value. People actually can’t read your mind, apparently you think you can read mine.

> I think people will get 90% of the way to lowest BP reading

And I’m explaining to you why just getting the “lowest” BP reading is not the overarching goal in evaluating chronic blood pressure.

> I think you probably assumed every word…

I wasn’t the only one that criticized your wording, perhaps that should be a sign to you rather than a prompt to assess my psyche.

> Anyone can look that up and find out I'm right.

On that note, is there anything specific I have said that is inaccurate? Look it up if you wish. If not, what is the purpose of your bickering?
I often wonder if LLMs would have made Wittgenstein cry...
Is MySQL Dying?
You can not know what you are doing and still trust in logic.

But what world it would be if you could flip a coin on any choice and still survive! If the world didn't follow any self-consistent logic, like a Roger Zelazny novel, that would be fantastic. Not sure that qualifies as solipsism, but still. Would society even be possible? Or even life?

Here, as long as you follow cultural norms, every choice has pretty good outcomes.
Idea of Flipper Zero was to lower our guard and trust their company with security, while actually shipping hardware with backdoors -- which the Flipper Zero will, for some reason, not be able to detect.
Apply the flame to the sysadmin's hand and get root access. I mean, it's a cool demo, but if you can solder crap to the hardware, might as well do anything that physical access provides normally. Like, you can just install the payload without the exploit.
"If you haven't watched the BBS Documentary [1], you absolutely should. It's a truly special documentary, made by hackers for hackers."

it's not made by hackers for hackers.
it's about the bbs community
SEEKING WORK | REMOTE

Willing to relocate: Yes

I'm available immediately.

Email: aks.sci@gmail.com
LinkedIn: https://www.linkedin.com/in/akshit-kumar/

Experienced Product Manager with 8+ years in leading B2C & B2B product development for mobile apps, web platforms, and SaaS products. Proven track record of launching successful products across multiple markets and geographies, managing cross-functional teams - both remote and in-house, and driving user growth. Expertise in data-driven decision making, Agile methodologies, and delivering user-centric solutions.

Skills & Technologies:

Product Management, Project Management
Product Strategy, Roadmap Development, Stakeholder & Client Management
User Research, User-Centric Design, UX/UI Collaboration
Agile Methodology, Sprint Planning, Backlog Grooming
Data Analysis, A/B Testing, KPI Tracking
SQL, JIRA, Confluence, Asana, Trello, Figma
SaaS, Mobile (iOS/Android), Web Development
API Integration, Third-Party Vendor Management

Product Sectors:
Fintech, Edtech, E-commerce, Peer to Peer, Marketplaces, Health-tech, Electric vehicles, Ride-sharing, Agri-tech, Content & Advertising Tech
> Let say government nationalise google search or force to make it a non profit 15 years ago. How would that prevent SEO from happening? Isn’t SEO an inevitable outcome of website trying compete for attention? How would anyone prevent it from happening?

I've said this before (on HN) and I'll say it again: a search engine that refuses to index sites containing advertisements absolutely kills off SEO.

What's the point of getting to the top of the search results if you are unable to monetise it?

The only way forward is to refuse to index sites with advertisements. Google will obviously not do this (and, in fact, to me it looks like they do the reverse - downrank non-monetised content - because it's in their best interest to serve sites with ads).
I learned about conkers when I was very young and read the Hitchhikers Guide for the first time...

"We bust our way into a megafreighter I still don't know how, marched on to the bridge waving toy pistols and demanded conkers. A wilder thing I have not known. Lost me a year's pocket money. For what? Conkers.

The captain was this really amazing guy, Yooden Vranx," said Zaphod. "He gave us food, booze - stuff from really weird parts of the Galaxy - lots of conkers, of course, and we had just the most incredible time."

Of course in this well pre-internet age I had to wait literal YEARS to find out what conkers actually WERE. Luckily my aunt was an anglophile and went there six or seven years later. Before she left I asked her to find out what conkers were for me. When she returned she told me what they were and... to be honest I was kinda bummed out it wasn't something more elaborate.
What if you ski in jeans?
Creating a tiny tensor library in C
Is Anyone Else Frustrated with Current Note-Taking and Reminder Apps?
Title: Is Anyone Else Frustrated with Current Note-Taking and Reminder Apps?

I’ve been discussing with friends recently about the challenges we face when managing notes and tasks, and I got some interesting insights. Surprisingly, most people, regardless of their profession (founders, business development, marketing, engineers), seem dissatisfied with the current apps for note-taking and reminders. Despite having different needs, they all agree that they want something better.

Here are two examples:

One of my friends needs notes and reminders tied to his contacts. Right now, he’s manually jotting down important things about his contacts across different apps. For instance, small notes go into the Apple Contacts app, while larger notes and reminders are scattered between the Apple Notes and Reminders apps. It’s disorganized, and these apps don’t work well together.

Another friend explained how he’s been juggling between tools for years. During meetings or while talking to customers, quick thoughts come to his mind, and he wants to note them down fast. But, when you’re occupied, pulling up a dedicated app, filling out forms, or setting a time-based reminder is too slow. His go-to is still a plain notepad because there’s no time to mess around with structured tools. Plus, he doesn’t always need time-based reminders—he just needs to link notes and tasks to the relevant contacts for future follow-ups.

What I realized is that both of them, and likely many others, share a common need: notes and tasks need to be connected to people—whether colleagues, customers, or professional contacts. This happens when you’re making multiple decisions and handling various follow-ups daily.

So, does anyone else face similar frustrations? What are your thoughts?

I’m considering building a simple note-taking and reminder app that ties everything to your contacts—kind of like a personal CRM (though I hesitate to use that term).

Would love to hear your thoughts!
With a disclaimer that I'm not an expert on Qt:

- Qt Widgets has a selection of controls that falls a bit short of that of AppKit and doesn't receive much attention any more

- Qt Quick/QML seems more mobile-oriented and web-styled, being barebones if you don't pull in a library of third party widgets (e.g. Kirigami)

- Neither go as deep as AppKit with functionality and require more third party library usage

- Practically speaking, developers are limited to C++ or Python for Widgets and JavaScript for QML

- Distribution of Qt apps is messy and error-prone

These aren't really dealbreakers on their own but pile up to pull the overall experience down.
I learned from Scott Manley's latest video that buoy is pronounced "boy" in British English (boo-ee in American)
I use i for the outer loop and ii for the inner loop, like they're Roman numerals.
Sorry, why is this on hackernews?
How is tag quality evaluated by the tag picker or audit command? That is one of the most annoying aspects to keep track of for me, and it seems like this tool does not address that at all.
More like the other pinkie nail than the whole hand. ;)
Hyper-leftist is anti-twitter now? Last time I checked (about 2 minutes ago), twitter was hyper-leftist itself.
what‘s a „Super SDK“? A meta sdk, i.e. an SDK wrapping other SDKs/APIs?
The comparison makes sense though. We're trying to build an simulated brain. We want to create a brain that can think about math.

And chain of thought is kind of like giving that brain some scratch space to figure out the problem.

This simulated brain can't access multiplication instructions on the CPU directly. It has to do the computation via it's simulated neurons interacting.

This is why it's not so surprising that this is an issue.
Same, except the last point, I feel like I've seen that pattern multiple times. And it's not like it's expensive to do (presumably unless you get sued or something).
I know that we're technically emulating old devices... But that time is so long gone. I actually never worked on a hardware terminal in my entire career, which is already almost 30 years. I think it is about time to stop calling it emulation, because thats no longer what it is. Its simply the way how text mode applications do I/O. It has become so ubiquitous that ncurses is slowly going out of fashion, because you might as well just use the common ANSI escape sequences, because they're supported everywhere anyways. IOW, raw mode isn't just an emulation required to get a 50 year old peripheral device to work, its necessary for almost everything that sits between an CLI and a GUI.
One important aspect of the success of AlphaGo and its successor is the game environment is closed domain, and has a stable reward function. With this we can guide the agent to do MCTS search and planning for the best move in every state.

However, such reward system is not available for LLM in an open domain setting.
Did not read too deep into the original post, but if you use arrow you can (not sure if one ever should) do random lookups into the storage buffer and wipe out bytes + put tombstones, at least if the column is encoded "naively".

Of course if your arrow file is in some object store how you delete random bytes over that is unclear.
This is why… “science” needs lions ever ready to deploy the quite never old ultraviolence of wit (echoing FWN?)?

[and not awards or nobel prizes:
“A good sciencing is its own reward” - not Faora-Ul]

(EP,wrong era, similar to HRV?)
Something I'd love to see is "AoC hard mode": the exact same problems but the input data set is ~10 GB, and/or similarly "scaled" such that naive solutions fail outright.

Other scaling-of-inputs could include: Text with line-lengths over 2 GB, numbers above 2^60, data designed such that naive nested-loop solutions (quadratic scaling) take over a year to compute the answer, etc...

Basically, force developers to solve the problem robustly with: streaming, parallelism, efficient algorithms with good big-O properties, correct data type choice (including intermediate accumulator values!), and so forth.

It could be a three-star challenge feature added to the current version. It wouldn't even require large downloads: a Python script or something similar could be used to generate arbitrarily large inputs. (Alternatively, a common CDN-cacheable prefix with a distinct suffix per competitor.)
n900 was perfectly reliable, yours had a problem. And Maemo was a wonderful interface for mobile stuff. Clean, functional, tweakable. Regret it every day, facing shitty Android. I dream for a LTE n900 with a larger screen, leaving the rest unchanged : unbreakable resistive screen, mecanical keyboard, fantastic stereo speakers, etc.
I thought it was gum disease and heart disease?
> False propositions are not knowledge, only true propositions are knowledge

From my point of view, "to know" is a subjective feeling, an assessment on the degree of faith we put on a statement. "Knowledge" instead is an abstract concept, a corpus of statements, similar to "science". People "know" false stuff all the time (for some definition of "true" and "false", which may also vary).
Jamba 1.5 Large is 398B params (94B active) and weights are available.

https://arxiv.org/abs/2408.12570
St John's College serves swan on formal occasions sometimes, because they have some connection to the royal family that means they have special permission. (Or used to in the Queen Elizabeth days, I don't know if they still do under Charles)
One key thing missing here is there's not enough nuance in the outputs to really control a vehicle. For example, "go forward" -- how fast should we be going forward? Does this mean floor the accelerator? Probably not, but that's not captured in the output here.

A couple other key scenarios to think about:

- A pedestrian jumps in front of the car. What happens?

- It's driving on a freeway and need to exit -- what actions are needed to make that happen?
ADHD and its symptoms along with the myriad of possible comorbidities are annoying. I'm the kind of hyperactive foot whipping guy which people pointed out often but no one told me it could be ADHD. A friend (also in the local hackerspace) doesn't show that and that was enough for a (non-ADHD-specialized) therapist to disregard this ADHD suspicion.

Depression is the one I also fight with, but mostly it's rooted in my inability to get stuff done which leads to all sorts of financial and social problems. I'm just happy I skipped self-therapy with illegal drugs and got a high enough IQ to survive 42 years of untreated ADHD. I'd strongly support if schools did test all pupils how good their executive functions are (actually they do with giving them daily homework) and Russel Barkley's suggestion to not let young people with ADHD drive a car unless they take their medication might be worth a study.
And, do they know if their definition is the right one? And how do they know it? And, is it actually true?
This is not an accurate assessment; the forward-pass is nontrivial, i.e. you're always adding new information. When they say "synthetic" datasets, nobody is suggesting that the past model is used to invent it completely. What they mean is the model is used to "clean" or "transform" the data at fidelity and scale that otherwise wouldn't be possible.

We do this in fine-tuning all the time: see reverse prompting, etc.