skysight-inc/HackerNews huggingface dataset:
This is probably irrelevant to you, but the Samsung keyboard on a Samsung Galaxy tablet has a control key. I love that keyboard. It’s been too long since I had a Samsung phone to know if it has an option for that too. It does have a number row option too, something I deeply resent not having an option for on iOS.
Just wanted to say that to me, this series is the holy grail of breaking down an inscrutably technical topic with decades of research behind it into understandable language, while at the same time retaining all the necessary complexities and not “dumbing down” anything. Truly a delight to read if you are interested in the topic. I can only aspire to be a writer like Russ some day.
NonStop Kernel (NSK) is the OS for the Tandem hardware which had fault tolerant hardware (dual everything) and software (process pair with checkpoints) https://en.m.wikipedia.org/wiki/Tandem_Computers. The OS is not posix compliant, very different from HP-UX. It is used now mainly in financial systems, competes with IBM mainframes. I used to work on NonStop SQL databases.
What put you off?
This is sad consider they have been doing research on this for 15 years.

https://www.youtube.com/watch?v=vOvQCPLkPt4
Navigating Template Instantiation Woes in Static Libraries
More like CONTROL from Get Smart https://en.wikipedia.org/wiki/Get_Smart
here's one that a teammate taught me - const everything that can be const and then slowly undo the consts when necessary. it'll reveal lots of stupid implicit state spaghetti. const methods for the OOP flavor of spaghetti.

another one is move variables as close to their use as possible. so many people somehow inherited FORTRAN style (from where! you're younger than me!) and declare variables at the top of a function. that's a brilliant way to either forget to use/remove/initialize them and/or shadow names. drives me utterly insane (because it's like who the hell is teaching people this).

also probably -Werror or -Wall depending on the size of the code base (at least -Werror=return-type, -Werror=unused-variable, -Wunused-but-set-variable, -Werror=dangling).

> use version control

yea lots and lots of incremental commits with decent commit messages purely for you to remember what ground you covered. also lots of branches and rebasing. what a chore but it's the only way to stay sane.

> make sure the code is readable

debatable but my first move is to undo all the spaghetti OOP and "please break out into a function" bullshit. less readable to the junior maybe but much more readable to a senior that needs to actually understand what the entire module is doing.

C++ is fine language - most people just are really bad at it.
Toyota invests another $1 billion in Kentucky for its first 3-row electric SUV
Maximum allowed line length is 998 octets, got 1012 (2022)
Recently I realized that what I want out of a personal computer is a Unix terminal. And that’s actually pretty weird and far from how most people use a computer.

PowerPoint, adobe video editing products. And all those things look unnecessary and complex to me.

But I have to acknowledge a few facts:
1. I’m not as young and open to new experiences. I mostly want to refine workflows I already know.
2. I understand computers better than most people.
3. I’m less interested in screen entertainment because I work on computers.

There will be people who grow up with stuff and they will have experiences in VR that are meaningful and they won’t use a computer like you or I.
Microsoft Research Applied Sciences Group: High Performance Touch (2012) [video]
Very True.

This is particularly true when one translates/studies philosophical texts where there are lots of abstract concepts to interpret and more often than not if one doesn't understand the culture and everything it entails, one will make a mess of it.

> In learning a language, you internalize that culture and, even if just a tiny bit, develop an identity as a member of that culture.

This actually explains how Indians practice "Unity in Diversity" via their shared culture. For example, i grew up learning 4 languages viz; Tamil (mother tongue and 1st language), Bengali (since i grew up in West Bengal), English (medium of instruction and 2nd language) and Hindi (3rd language in school). It has given me a certain breadth of mind to appreciate our differences and yet have a shared common identity. A lot of Indians have similar multiple language upbringing and hence it is one of the reasons we can adapt and be successful anywhere in the World.
Do you have a reference for the second order induction schema being recursively enumerable? My understanding - I’m not a logician - is that the second order Peano Axioms are categorical. The Incompleteness theorems don’t apply to this system since the axioms are not recursively enumerable. The second order Axioms are different than second order Arithmetic.

https://mathoverflow.net/questions/97077/z-2-versus-second-o...

In the following mathoverflow answer Nik says,

These are fundamental questions. We know that any computable set of axioms which holds of the natural numbers must also have nonstandard models.

The second order Peano Axioms are not computable since those axioms are categorical.

https://mathoverflow.net/questions/332247/defining-the-stand...

Are you of the opinion that mathematics is computer science? I have a hard time believing that the Jacobian Conjecture is computer science.
All you really need is a $20-30 extension cord.
They've given up because they're powerless to change anything, and they're paid (excessively) well for doing the status quo.
In terms of the discussion detailed in the article let’s wait and see. It has to be a vastly superior alternative to make adding it worthwhile.

On the more fun side, when I read the headline I instantly thought of making a side project that lets you watch a bunch of language models in a chat room, infinitely bikeshedding among themselves about the merits of this decision.

Kind of like https://degenerative-sitcom.online/ but for bikeshedding :)
thats like if you asked how is this data encoded and i said logic gates. i mean how is it encoded by the model, the higher order structure or logic being utilized. nobody can answer because they dont know. they pretend to know something when they dont. if its such a simple database then show me the csv.
Did you read the note on the annual mean wages column?

> (2) Annual wages have been calculated by multiplying the hourly mean wage by a "year-round, full-time" hours figure of 2,080 hours; for those occupations where there is not an hourly wage published, the annual wage has been directly calculated from the reported survey data.

It is not accounting for overtime pay at all, it’s using the hourly wage multiplied by what they consider to be full time employment.

From your links a software developer makes 63$ per hour in Napa, CA while a cop makes 59$ per hour, it wouldn’t take much overtime at $88.50 to surpass the salaried developer in yearly income. Cops also get pensions in many areas, so if we consider total comp I think it’s safe to say there are places where police are making more money than software developers.
It shouldn’t and I didn’t say it should. I gave a fact and asked a question. Why is PA_2 computer science?

Computer science ought to be about computation, right? There are non-computable objects that mathematicians study. Is that part of computer science?
https://youtu.be/cgg9byUy-V4

https://en.wikipedia.org/wiki/Drive:_The_Surprising_Truth_Ab...

https://www.goodreads.com/quotes/6197360-the-reward-for-work...

https://www.goodreads.com/quotes/11903426-show-me-the-incent...

Motivation is usually, but not always, tied to incentives around some combination of financial and emotional rewards of work. Cog output for cog rewards, superstar output for superstar rewards.
You're thinking of BASE jumping. Base jumpers do not use reserves generally.

Someone jumping out of an airplane with a wingsuit is wearing an ordinary skydiving rig complete with reserve and AAD.
Not sure about mathematically rigorous "proof", but a powerful theory of grammar at least. His claim is "true" in the sense of computation, ie the lowest level Chomsky grammar[1] is just like a Turing machine and consequently can generate anything.

But the analogy with computing languages also supplies a practical insight that isnt captured by the academic theory, ie that some concepts are easier to express in one language than another. If I'm inverting a matrix, I'd reach for Python over C for example.

[1] https://en.m.wikipedia.org/wiki/Chomsky_hierarchy
Quite a few of us believe you shouldn't require seat belts for adults.
It’s too bad that its swiping performance is so shockingly bad. I cannot ever get it to swipe the word you without tapping a correction from the gray bar. The mandatory way it interprets swiping to those 3 letters, no matter how precise, is always turned into “your.”

I hate the iOS keyboard situation so much. Third party ones either crash and dump you randomly on the Apple one, or they have their own frustrating bugs. And the Apple one is of course more stable (or maybe just relaunches so fast nobody knows when it crashes) but it is ruined by its lack of a number row (or any other options) as well as bugs like the above.
You can check out the clang-tidy "modernize-" set of checks [0]. I think some IDEs like clion or visual studio (both the "full fat" and VS code with a plugin) have options to integrate this. Or even just as a build pass - if you use cmake you can just set the CMAKE_CXX_CLANG_TIDY variable [1] to the path of the clang-tidy executable and it'll run every build.

They will likely pick out the "low hanging fruit", the easy like-for-like transforms like for loops or std::array, but more "structural" differences that are considered "bad" in modern C (like raw pointers or non-trivial users of those some of those same "replaced" features) will likely require much more significant manual input. In many ways the changing environment of more modern c++ changes how you holistically should design code and data structures, and no tools will "fix" that.

But it's a start, and you need to start somewhere. I mean it's not like there's an "end target" for the "perfect modern c++" anyway. I also wouldn't treat the output of clang-tidy as gospel 100% truth either, look at the changes it suggests and decide if they are actually making clearer code before blindly applying them, it might even help with understanding the new features if you can understand why they were changed and what problems they are trying to solve too.

[0] https://clang.llvm.org/extra/clang-tidy/checks/list.html

[1] https://cmake.org/cmake/help/latest/variable/CMAKE_LANG_CLAN...
Boosting React Application Speed: From unstated-next to unstated-fast
Unstated-fast is an optimized, high-performance version of unstated-next.

While unstated-next is impressive, it faces challenges when state is shared among large-scale components, as any state change in Hooks causes all related components to re-render. Unstated-fast addresses this problem gracefully by utilizing React’s new useSyncExternalStore feature.
I have no background in math, so this might be naive, but shouldn't proof checkers have a database of theorems and be able to fill in the intermediate steps or confirm that it's possible to fill in the missing steps?

IIUC you're saying that basically someone with a mental database should be able to identify preconditions matching some theorem and postconditions aligned with the next statement from their mental database.

Or is there math that can't be expressed in a way for proof checkers to assess atm?

Edit: Or maybe proof checker use just isn't as wide-spread as I imagined. It sounds like the state statically typed languages in programming...
Amid cuts to basic research, New Zealand scraps all support for social sciences
you will also end up with situations where people in that age group might be pressured by their family to choose this option.
This type of tech is clearly the future. There’s oxygen everywhere, and oxygen is ready to bond with everything.
What is logic here against the subjective internal experience you're responding to. Do I have to hold an axiom true to believe the person describing their internal experience is specifically as Chomsky proved in the language of logic?
Do a lot of things seem like non sequiturs to you?
Wheeler and Everett being over 60 years ago this can't be called especially ground breaking. The interesting question would be how information might flow.

"Must have" is begging the question. Really, Google staffers emoting adds nothing.

"Lends credence" is more plausible. It's consistent.

This still feels like a purpose specific problem solver not a general purpose computer. Steps along a road.
With this much interest, maybe I should start taking donations for the R.F. Kennedy and Justin Peters Encyclopedia of Upstairs Medicine and Uppity Females. Looks like a cash machine. There's still no accounting for...
Let's Shape the Future of Firefox Mobile
I was looking at this current again just now, and realised it could use a bit of explanation.

I typically have lots of tabs open at once. Hundreds, in some cases. A window escaping the bounds of the viewport would imply that it also escapes the bounds of the browser tab - which is to say, can pop up no matter which tab I'm on at any given moment.

The better solution, I believe, would be to pop up any notification using the notification API, and then once the user has been taken to the browser tab, you can then show your dialog (restricted to the viewport, of course).

If I want a window to pop up over anything else, I'll use native apps, not browser apps.
HN isn't much better, just tech-ier.
Yeah on Apple devices two spaces gets converted to a period and one space. It’s just a shortcut, it doesn’t leave the 2 spaces in.
Video Understanding AI – 100 times cheaper than OpenAI GPT4o and Gemini-1.5-pro
Try it out, it will be your chatgpt moment for videos!! https://mavi.openinterx.com, the world's first mass video understanding AI, 100 times cheaper than openai gpt4v and gemini 1.5 pro for 1 hour video understanding, and support supper long video context (much longer than 2 hours)
Or a workflow that pauses charging a customer when a cancellation meeting has been scheduled. And lets the customer know it won’t be charged.
This is why the most dangerous men often don’t look like much. Because they don’t need to use their appearance to defend themselves through intimidation.
> I'm not sure what other Android-using company would want to take that on, though.

Meta uses Android for the Quest.

Will Meta adopt Android XR instead of maintaining their own Android fork? Possibly, possibly not. But they are definitely an Android-using company willing to take on the Apple Vision Pro seeing as they are already, you know, doing that.
So did homo sapiens invent writings ?
When I was incubating the idea, I thought about different concepts:

1. The current bring-your-own-key.

2. A central summary storage, filled by me.

3. A central summary storage, crowdsourced.

4. A paid subscription, where I effectively run some LLM proxy.

I wanted something low overhead and be just the right size for yet another weekend project which I could drop at any moment. Supporting some infrastructure, having moderation headaches, let alone receiving payments ruled out pretty much everything but the current approach.
I used the Microsoft Surface as my daily driver for years, the finish rubbed off in the first few uses and looked terrible, the screen broke as well. They do look beautiful and it was pretty fast.
There are many more dark secrets of DNS packets. Especially, in the context of internet providers and censorship industry - DNS Filtering, DNS Spoofing/Poisoning, Blocking Public DNS, etc
- How do you "define" productive? Doing useless work, could feel productive to the employee. Whether the actual work produce anything of value is irrelevant. They were given a task. And they execute on it.

- If you ignore the productivity side, and ask if folks have desire to complete work with less time. Then the answer is yes because most human, by nature are lazy.

- If you want more efficient so that more work could be done within the same time slot. Then the answer is mostly no. Most people dont want more work or move on to do something useful.

I dont think the above is very clear to most on HN and especially programmers. Because those who are interested in technology are also the group that likes to tinker and drive efficiency. This is in opposite to government setting, large Bureaucracy enterprise outside of tech.
I'm actually glad you posted this because it reminded me of a quote from Wittgenstein's page on Wikipedia [1]

> According to Wittgenstein, philosophical problems arise when language is forced from its proper home into a metaphysical environment, where all the familiar and necessary landmarks and contextual clues are removed. He describes this metaphysical environment as like being on frictionless ice: where the conditions are apparently perfect for a philosophically and logically perfect language, all philosophical problems can be solved without the muddying effects of everyday contexts; but where, precisely because of the lack of friction, language can in fact do no work at all.[259] Wittgenstein argues that philosophers must leave the frictionless ice and return to the "rough ground" of ordinary language in use. Much of the Investigations consists of examples of how the first false steps can be avoided, so that philosophical problems are dissolved, rather than solved: "The clarity we are aiming at is indeed complete clarity. But this simply means that the philosophical problems should completely disappear."

[1] https://en.m.wikipedia.org/wiki/Ludwig_Wittgenstein
Dr. Michael Greger's books (and website: https://nutritionfacts.org) boast an astonishing amount of citations of medical studies. He readily acknowledges the vast volume of literature around nutrition, with more and more studies being published every year. He and his volunteers have taken on the mission of wading through it and making sense of it.

His books, in order of publication:

- How Not to Die (2k citations)
- How Not to Diet (5k citations)
- How Not to Age (13k citations)
I don't feel like I make more mistakes than I typically do with any other smartphone keyboard. One particularly annoying mistake I make all the time is hitting backspace when I meant to hit a character near it, but that was always a problem with other keyboards and my fat thumbs, too.
Yes. A very long time after Neanderthals were extinct though, so I don't see the relevance.
Yeah, I should do comments. This is a popular feedback item.
> in line with the idea that we live in a multiverse, a prediction first made by David Deutsch.

I think Hugh Everett beat him to it:

https://en.wikipedia.org/wiki/Hugh_Everett_III

https://en.wikipedia.org/wiki/Many-worlds_interpretation
It’s a system level command so you can log it and auto restart etc. pm2 is still good but I don’t know if it’s needed anymore at least on Linux.
Thankyou @gd3kr this is a really handy tool! Will use it next time I need 3D models.

Just made a porcelain elephant to test it, it came out so cute!
Ah i think writings is nessessary for not being extinct.
Can you exemplify what kind of specialized languages you think we will see? Is Zig an example?
Does this explain bucal fat removal, duck lips and trout pout? I thought it was body dysmorphia from filters.
And an energy shortage bottlenecking Transformer projects
Does GBoard allow you to select text by pressing shift and then swiping on space?
Building human connection in a technical world: Weaviate's marketing approach
Thanks. I'm a network engineer so I'm going to work on integrating the output of show commands to Claude using MCP.
Great, congrats on your launch.

1. Does it take care of Bot detection. Most sites will have it.

2. Is this something similar to Firecrawl - https://www.firecrawl.dev/
Definitely, but it seems like it's now possible: https://www.maiachess.com/
The risk/assumption is that once the lead developer/PM/etc. got their promotion l, they get for doing something "new" this is being dropped for a new project as maintenance brings less points for promotions.
The age of average (2023)
It's unreasonable to expect that everyone is on top of every latest LLM advancement.
No, Chomsky did not "prove" anything.

His Theory of "Universal Grammar" is more of a pseudo-science. See the "criticism" section here - https://en.wikipedia.org/wiki/Universal_grammar

Also see this article from Scientific American; Evidence Rebuts Chomsky’s Theory of Language Learning - https://www.scientificamerican.com/article/evidence-rebuts-c...
Did you continue to use Qwerty for work? I was in the fortunate position of switching to Colemak at a fairly non-critical time of life, so I cold turkeyed it.

Took about two weeks of daily driving until it was no longer painful, then three months until I had matched Qwerty speed. So probably similar to your thumb-key experience.
Put simply, animals are property. The idea of equating animals to people is not a widespread one, and relatively new besides.

You could apply the same logic to cannibalism. Given no-one has any problem killing and eating animals.
> Elon Musk may have changed for the worse since then

The drug use became known in 2017, and it seems to be getting worse.[1]

The timeline of Tesla shows the successful innovation happening before then.[2]
Then bad stuff started happening.

[1] https://www.wsj.com/business/elon-musk-illegal-drugs-e826a9e...

[2] https://www.thestreet.com/technology/history-of-tesla-150889...
> Why would you want backups for S3?

In case something goes wrong. ie your account has a problem unexpectedly, or if they do indeed have a data loss/corruption problem, etc.
Does that work when the sysadmin fat fingers the deletion of a bucket or account?
Ruby 3.4.0 Rc1 Released
Ranking content is commonplace, not every one of ten, a hundred, or a million comments per hour can be placed on a pedestal as #1.

Not tagging some posts as spam leads to spam flooded sites, marking probable spam and making it less visibile (ala HN for example) doesn't remove content but does reduce the impact garbage spam has and makes other content more visible.

In the context of this specific thread the article author's complaint is that their content was flagged, suspended, reviewed, and restored.

These are the edge cases of the ever present spam riddled nazi bar problem.
Projects like this should respect that if a site's robots.txt contains a long list of Disallow entries for other AI scrapers that they are probably not welcome to scrape either.

(of course this project doesn't do that)
By hesitating to discuss, you enable bureaucrats to suggest maid when they want to save money instead of treating a disability (which has already happened in the case of the Olympian).
British Army tries out drone-destroying laser
Maybe English is not a mind-opening language :(
Yes, it has an extensive proxy IP and retry system in place to bypass bot detection.

I’m also trying to gather more feedback to identify the killer feature:

- Adding vectorization to Pinecone out of the box?
- Adding multiple integrations like n8n, etc.?

Any crucial pain points to avoid?
Be that as it may, Nigel Richards (the scrabble star in this story) apparently knows virtually every word regardless, and fairly minimal study (supposedly).
I don't think you're off base by saying that people have a level of social responsibility to the people they live around. I think that can be argued perfectly logically.

What I'm not sure I agree with is that it translates to a responsibility to stay. Isn't someone who emigrates permanently away from their local community breaking the same social contract as someone who chooses medically assisted dying? Should that be prevented for the same reasons?

I can see the position that MAID is genuinely abdicating a true responsibility in some extreme cases, like a parent with minor children.
I don’t follow.

How does this apply to capital punishment?