skysight-inc/HackerNews huggingface dataset:
People do a terrible job of binary search to the extent that it is towards the back of my toolbox. You can get eaten alive by off-by-one errors, mishandled integer overflows, etc. Human-written binary searches work most of the time but often fail for special inputs. I wouldn’t trust a machine that learned by reading 1000s of other people’s binary searches any more than I’d trust one I found off StackOverflow unless it came with a detailed explanation of the corner cases…. It is one to look up in an algorithms book, a recent algorithms book.
Really, the jesuits did use telescopes. One wonders at the ignorance that paragraph shows. Come on: Galileo was punished for purely political reasons, with the religious argument as a simple excuse. This is not something obscure.
> The accelerometer is oriented for holding the device flat on its back. You're looking through a vertical window here so the metaphor doesn't hold. There's a missing axis that precludes vertically-oriented readings.

Is it just me, or does that sounds like a really bad hardware decision regarding the accelerometer? With that limitation what could you still use it for other than digital variations of a marble maze?
Location: Earth
Remote: only
Willing to relocate: no
Technologies: Linux, Kubernetes, CI/CD, Monitoring and Go/Python.
Résumé/CV: on request
Email: sbovyrin@gmail.com

Hello, my name is Sergey and I'm addicted to automation. I first tried it when I was 18 years old. I built an automated system in a famous online game to level up characters and sell them later. Since then, I have been making a living through automation. At the beginning of my career, I worked as a backend developer and developed a CRM system to automate logistics company routines. The next important point in my career was working for a company that organized business events. During this time, I gained extensive knowledge about communication through COM ports and network interfaces by implementing a web application that integrated with various hardware devices. Then, I finally found a job that aligned with my passion for automation, so I made a decision to switch from a developer to DevOps engineer. So far, I am very happy. Over the years, thanks to my experience, I have learned that true automation, without proper monitoring, can actually make work more difficult and maintenance more expensive.

I have over 10 years of professional experience, with 5 years as a software developer and almost 6 years as a DevOps engineer. My core skills include monitoring and functional programming concepts such as immutability and referential transparency that I use in infrastructure design. These skills help me to build reliable and maintainable systems.

In my work I use:

- Linux, Shell script
- Python, Go
- Prometheus, Grafana, Loki
- Jenkins
- Kubernetes, terraform, docker
- AWS

Having lived in 28 countries over the past 10 years, I am comfortable working in multicultural teams and adapting to new environments.
The Law of One (Ra Material)
> The DUI checkpoints up in BC are wild too, I'm glad they are banned in Washington and Oregon. Suspicionless stopping of cars en masse followed by interrogation by police seems like an overreach.

There has been a lot of pushback to DUIs. I did a poli-sci BA thesis on it. Essentially its one of the few times they make exception to constitutional rights, and assume guilt without due process.

A fairly deep explanation of what I'm talking about, and why states like WA gave up on it:

https://www.duicentral.com/dui/the-dui-exception/
So no dropbox, no firefox/chrome, no thunderbird, no whatsapp client, no telegram client, not git ?
Integrating custom CSS-like language for graph styling
Chemicals released during wildfires in Australia damaged the ozone layer
Unless you’re lucky, people get weird when real money and real fame comes around. You’d be amazed how frequently. Which is why it’s super important to figure all that stuff out and capture it on paper before you’re lucky enough to generate money or fame. But that’s no excuse for this.
And the bug was quite silly -- it does a simple standard thing (remove obvious symmetries) in a more complicated way (at the end of a long computation, instead of at the start), incorrectly.
That's not sufficient, though. You want the 0.1% case where you press undo a couple of times and big edit operations get reversed to be smooth. You have to hit your frame target when a lot is happening, the individual key press case is easy.

It's just like a video game. A consistent 60fps is much better than an average frame rate of 120fps that drops to 15fps when the shooting starts and things get blown up. You spend all the time optimizing for the worst case where all your caches get invalidated at the same time.
> Chomsky apparently has children, but clearly may have forgotten what it's like for them to learn language! It's years of trying to communicate, constantly failing, and learning.

You are correct that children learning language are constantly failing in some manner. There has been a lot of study of the language acquisition of children. However, the way in which children fail and do not fail is specific. Some things children will fail at a number of times until they learn. On the other hand some rules of grammar, logical principles and parameters children seem to pick up immediately, and in Chomsky's view are even innate.

So you can divide theoretically possible failures into two categories - ones theoretically possible that are not made, and ones that are theoretically possible and are made. The first category is what he is talking about.

Also - there are different languages with different rules, and people learning a language have to learn the rules of English which are different from Spanish which are different than Japanese. Although in Chomsky's view, these languages are all so similar (compared to say the recursively enumerable language a Turing machine uses), they are virtually identical from a theoretical point of view.

Also - children make grammar errors such as first saying "I go to the store" (correct) and then "I goed to the store" (incorrect). These errors were not made by data they acquired! The errors children make are showing they are beginning to understand grammar rules, it's a sign they are going off a series of rules and not just regurgitating data they have acquired.
> But in the US this is not true, as we don't have true capitalism in the US, we have a socialist mix and the govt can sometimes prop up inefficient companies.

This is the "no true capitalist" fallacy. The reality of capitalism is that big companies get to impose whatever they want on any smaller entity they want. They may either do so directly (e.g. when operating in a weak country, like Chiquita's Banana Republics) or by co-opting government (either in cahoots with an authoritarian government like the USSR or China, or a democratic government like the USA or Europe). And big corporations will always have local fiefdoms with bullshit jobs, since corruption rears its ugly head in any large org - be it Oracle or the US Federal government.

> Thats the point of capitalism. Nobody has to work to support other able bodied humans rent seeking off their labor and capital.

Before claiming such hilarious idealism, maybe take a look at the capitalist US South and the way it was built by 150 years or more of slave labor.
Lots of DL is done on custom accelerators - things like Googles TPU. They generally work out far cheaper per FLOP than Nvidia hardware, but aren't widely available to the public to buy the hardware (yet).
Well, but they did use telescopes. One jesuit even discovered a comet, and it did not show parallax… The jesuits did wrong but were not silly.
There you go
https://github.com/thomasantony/chatgpt-term
Do you know any text editor that uses it for font rendering?
ImGui is mainly used for debug rendering, but if you browse the screenshot threads, there quite a few 'end user applications' among them:

https://github.com/ocornut/imgui/issues/5886
Without data it is all just anecdotes. I don't know where the definitive data is to say it is white or black, or reasonable characterized as gray rather than a shade of one of the two extremes. IPO data is public of course, but not the pre-IPO contortions affecting the set up for that moment.
I'm happy to pay the money for search, but what's happening here seems to be Kagi jacking up the prices to pay for their other non-search stuff that I'm not interested in.
Is he successful? Will see.
Where do you get this from? The training of a drug dog would be one of the first things challenged in a criminal drug case and would terminal to establishing probable cause.
I think some of Chomsky's issues with ChatGPT might be misunderstandings and some of it can be iterated on and improved. ChatGPT _is_ a statistical engine returning probabilities -- but there's nothing stopping engineers from changing how it weighs its probabilities to reject obvious falsehoods "the earth is flat" or show a moral bias "doing this will hurt people, I will not engage in it" without convoluted prompts or torturing underpaid Kenyans to label abusive content.

One thing I would've like Chomsky to engage more in is comparing how people create new "output" from previous "input" vs. how AIs like ChatGPT do it. He talks about "fake thinking" and "real thinking", but doesn't really go into the "hows" of it (ironically, kinda like how ChatGPT would).

I _do_ agree, however, that we're nowhere near AGI and this doesn't bring us closer, but I don't know what would, either.

On the topic of Aaronson's blog post, I feel like he didn't understand what Chomsky wrote about or intentionally mischaracterised it, then gave a super childish response. It's very embarrassing.
I've played a Japanese arcade game called Jubeat, that's made up of... I think a 4x4 grid of small touch screens.

With the right interface and design, it feels fine. In particular, Jubeat has a different note assigned to each screen so the divisions feel very natural.

First hit from YouTube: https://youtu.be/LSGOAkyFW7I

Or maybe just natural to people who put in a bit of practice, lol. This is an expert level song pattern, it's not so bad at earlier levels. But it still shows off how the 4x4 screen effectively communicates a variety of button press timings to the player, combo counters, life, scrolling and other such details for this game.
Veritasium has a video about this subject:

https://youtu.be/aIx2N-viNwY

It turns out that when we're older time passes more quickly even on the scale of minutes.
Something that I have only really discovered in AI related comments here on HN (and it terrifies me) is that a good number of humans have a deeply-felt need to dehumanize humans (pressumably also themselves).

Sure, a fraction is purely driven by career / monetary gain prospects. They adopt the mantle of the AI fanatic to prime themselves for the wrestling in the mud that they hope will get them closer to their goals. I understand that and I am not particularly worried about that. Its a devil we know.

But another fraction seems to actively enjoy the absurd suggestions advanced by the AI Jesuits.
A similar thing happened to me on a smaller scale in the VFX industry. At my first job out of university, I had the idea of creating a render farm manager, pushed for it internally, wrote most of it and launched it as a product and did the first sales of it. I then left the company to start my own company. CEO then proceeded to completely erase me from history. The product became widely successful and was eventually purchased by Amazon.

Early Deadline PR features me prominently everywhere: https://web.archive.org/web/20050518071754/http://software.f...

Recent article on the "history" of Deadline where I do not exist, which is par for the course: https://www.fxguide.com/quicktakes/aws-thinkbox-deadline-a-b...

The lesson I took from this is that you can not expect other people to tell your story. They will tell their story, because telling your story is not in their interests, especially if you left their company. You yourself are responsible for telling your own story and getting it out into the world.
What's your point? Static linking makes a ton more sense than dynamic linking, except in a few special case niches (like plugin systems).

And OTH, event-driven UIs have also been around as long as UIs exist, that makes them at least as 'outdated' as immediate mode UIs.
... and HN :)
OpenAPI Tooling
This used to be the case on Windows, but hasn't been for at least 10 years, and has never been the case on Mac OS X (using the historical name for clarity) or Linux. On Windows, the open-source NVDA screen reader is widely used. Furthermore, the hacks that Windows screen reader developers historically used to "find a way to make their product work", particularly intercepting GDI API calls (either in user space or in a display driver) to build an off-screen model, are not applicable to modern UI stacks. And the other major screen reader hack, using application-specific COM object models, was mostly only applicable to Microsoft Office and Internet Explorer. So you basically have to implement platform accessibility APIs to make your UI accessible. (If you use native controls, that's more or less done for you.)

Edit: BTW, I've been in the assistive technology industry a while, particularly on Windows. Feel free to ask me anything.
Similar to In Our Time is another BBC radio programme called The Forum (from BBC World Service) which explores world history, culture and ideas. Every week an eclectic topic is discussed with three experts in a lively, informative and stimulating discussion. Highly recommended:

https://www.bbc.co.uk/programmes/p004kln9/episodes/downloads
If anything terrifies me about our current moment in AI, it's this impulse to dehumanize actual living people as a way of defending AI from entirely valid criticism.

Sure, people suck and lots of them are immoral and stupid... but they're still human beings who could have been otherwise (counterfactual thinking and all that) given a different "training set" (upbringing).

Unless you're implying that some percentage of human beings are incapable (like ChatGPT) of acquiring a morality or rational scientific understanding, no matter their training?
> Buying data doesn't skip being tried in court.

That's an interesting point. Wonder how foolproof/incorruptible the chain of custody is supposed to be for the provided data?

We've probably all worked on IT systems at one point or another that the outside world regards as really good, but the admins / ops staff know is really held together with sticky tape + bubblegum. Sometimes with data not quite being stored as it was entered (heh MySQL springs to mind).
>I can't speak to all distributions but Debian and derivatives are actually pretty good about not leaving the system in an unrecoverable state.

They sure do, and I cannot remember the last time my Arch Linux would have broken because of an upgrade. While the packaging systems of Linux distributions are pretty damned good, I believe their stability is more due to great individual efforts of the package developers than any systematic design principle. Also the stability of critical upstream packages has improved greatly.

NixOS's stability derives more from systematic design, but perhaps ironically, NixOS is the only Linux distro I remember having soft bricked in the last 5 years by running an upgrade.
But when you do software rendering you don't need to redraw the entire frame buffer, just the parts that changed, which can be very small even at 8k - e.g. the box of a checkbox being switched
Those programs are all doing work on your computer. Therefore you install them on your computer.

The only reason to deny access to a website for other browsers is to get your own native software on the machine of the user.

If Google would deny access to a Google website with browsers other than Chrome, everybody would be mad at them.

There are a lot of angry posts about Googles websites being less optimized for Firefox than for Chrome.

Outright banning alternative browsers is what is happening here.
I think the parent has a point as the author makes a big deal of how this hardware supports their remote work.

It’s clear to me oxide are having fun, and while you could do some of this in software, you clearly couldn’t do that without some hardware. Could they have purchased the hardware instead? Probably. Would it have been as cost-effective or fun? Probably not cost effective, without shifting their staffing. Does anyone have fun purchasing OTS development hardware? You’re just gambling on what systems and complexity in their own stuff they’ve really tested.

Changing staffing is hard, expensive and painful. Repurposing apparently excess hardware development folks to fill the gap here is interesting, not the way hardware is “usually done” and seems to be working.
What do you mean "at least here"? What's wrong with other usage? They are using OpenAI so they haven't trained it themselves and is just inputting the Wikipedia article as a prompt. I don't see how that is more respectable than literally every other service built on OpenAI.
The 'clazz' thing is not an Apache thing, it's a java thing. It's quite a popular variable name actually. Kinda like a Shibolleth for the language.

E.g. see: https://stackoverflow.com/questions/2529974/why-do-java-prog...
>Good grammar? "Real programmers" is a colloquialism, [...] This is clear if we ask, 'what's the opposite of a real programmer?' - perhaps an imaginary programmer?

No, that's not the misinterpretation that gp (ggambetta) was trying explain with the missing commas causing parsing confusion.

The "real programmers" isn't the main confusion. It's the missing commas.

The author was trying to convey (with some sarcasm) how some programmers have a sense of superiority when they can program in the lower abstraction layer underneath the higher-level programming language others are using. E.g. You code in Javascript?!? Meh, real programmers code in C. You code in C?!? Real programmers code in assembly. etc.

It's only after some readers get to the 4th sentence ("butterflies") that the common joke is revealed and they backtrack to the previous sentences to realize they're missing commas that would have made the joke easier-to-read : It’s really an age old dilemma in computers: “real programmers” write code in C. No [,] “real programmers” write code in Assembly. No [,] “real programmers” write code in binary. No, wait, “real programmers” use butterflies.

Analogous to this XKCD joke about "purity" : https://xkcd.com/435/

The distraction of readers trying to parse the missing commas -- detracted from the author's intended rhetorical effect.
It's a neat proof-of-concept, but the video gets a little optimistic and hand-wavey about how practical this could actually ever be.

"Right now we have interruptions, but[...] that interruption amount is going to continually decrease as we make these systems better and more energy-efficient."

Is that really the case? The limiting factor here is not just the efficiency of harvesting energy. The energy being harvested from the sun and from the button presses has a hard cap at some point, and while I don't know enough about the topic to do the math, I'd have to assume it's not particularly high. Even if you were able to harvest 100% of the sunlight hitting a smartphone (quick Google search says solar panels harvest ~15%), and 100% of the energy from the taps of a user's finger, would that be anywhere close to enough power to run the thing? This seems like more of a conceptual limit than a technological one.
> The tools are ready, it is just that doing the hard work going from a handwritten one to a computer-readable proof is not sufficiently appreciated.

Seems like a perfect task for an LLM trained on English and Idris/Coq/etc
Exactly. We could have had 5G that might contain chinese back doors, or Cisco 4G that does contain US backdoors :(
Instead of heat death, the universe will instantly disappear and be replaced with something even more bizarre and inexplicable.
They look great on a foldable phone, which is about 8 inches diagonally with a squarish aspect ratio.
I think morality is one of the strongest wedge issues against this sort of pseudoscience which says: if it appears X, it is X.

ie., there are very few people who would make that claim about morality.

There are many who might think, "well if it appears to be playing chess, it is!" (i disagree).

But almost none who'd say, "well if it appears to defence murder, it must really think its a good idea!".

The latter is clearly absurd, and we've lots of reasons to suppose the system even lacks basic capacities to form any view, preference, intention (etc.) about murder.

Once you realise this, I think the house-of-cards falls; because it sets up the fatal gap between: what the output appears to be caused by vs. what it really is caused by.

As soon as you ask, "but what really caused the machine to generate that text?" the answer exposes the trick.
Yes. The misuse of terms you've shown is exactly the concern I and other victims of domestic violence have.

Meanwhile, here the Oxford English Dictionary:

violence, n.

1. a. The exercise of physical force so as to inflict injury on, or cause damage to, persons or property; action or conduct characterized by this; treatment or usage tending to cause bodily injury or forcibly interfering with personal freedom.

You are indirectly supporting domestic violence by manipulating the definition of violence to include non-violent offences.

(separately: Wikipedia is not a source at all, let alone an authoritative one)

Again, since you didn't address this: claiming things that aren’t violent are violent steals resources - not just awareness but potentially money, police time and medical attention from victims of domestic violence.
Won’t the universe run out of hydrogen?
China would simple threaten big Western capital in china, and Wall Street will run to Washington crying about antiasian hate or whatever strawmen of the day. China gave some auditing book to PCAOB after decades of request only under threat of forced delisting from western markets [0] in difficult times for china. Worry not CCP is changing its regulatory framework to keep "strategic secrecy" (retaliating) to ban Big 4 to operate on the country [1]

Remember that china still claim developing status at WTO to keep getting a lot of perks meant to equalize global competion like subsidized parcel shipment. Perks China obviously dont need

[0]https://pcaobus.org/news-events/news-releases/news-release-d...

[1]https://www.bloomberg.com/news/articles/2023-02-22/china-urg...

[1]https://archive.fo/nXPRg
That's not my experience, but maybe it is my adblocker hiding the Chrome ads. You can't even use the chat feature in bing with firefox without spoofing the user agent.