skysight-inc/HackerNews huggingface dataset:
Even if you spend 40 hours a week in video conferences, you'll have to work for over four years to get one years' worth of footage. Of course, by then the models will be even better and so you might actually have a chance of going surfing.

I guess I should start hoarding video of myself now.
SKID MARKS? I assumed sweat and butt prints, at worst. If that's the threat, maybe it's time to go home. :D
It sounds like a great idea, but I have reservations:

1. Primarily: I don't trust LLMs to output 100% correct information - I will always second-guess whatever I read there
2. The devil is in the details - condensation naturally has to exclude some of the data, and I'm quite sure I don't trust an LLM to figure out what's important; better yet, there might be something not really all that important in there which really aids in knowledge retention (eg a funny story), which is stripped from the output

It sounds like a neat idea if you're willing to ingest invalid, incomplete knowledge in the hope that it will be sufficient. I guess time will tell.
Is there a way to sync this to my phone?

Integrations are what I am looking for in a tool like this.

Orgmode etc. work well while I am glued to my computer, but once I take the hands of my keyboard I need a deep cellphone integration.

Unfortunately I could not finde a sensible solution to sync between Linux and iOS so far.
None of those things are red flags?

> Any “correct” synthetic training data is either going to be badly biased, or be limited to such banal “logical” output that the model it trains will be entirely unable to process natural language input and you’ll need to specify your questions in something more precise. At which point, we’re back to traditional programming languages, only with several layers of unnecessary and expensive processing going on in between.

If it had that problem, existing models wouldn't have been able to learn how to code at the same time as understanding naural language.

At they limited? Sure. But not in the way you're saying here.
Came here to say this. Believe we've had it all along, since Nestcape won on <H1> being the big size :P

Specifically, I want a monospaced site to display in the monospace font I choose for my browser. Because that's what I like reading.
Ask HN: Is there a branch of economy that studies the impact of "human quirks"?
As programmers, we're used to systems that expect precision and don't like ambiguity.

As human beings, we've had centuries to build lots of ambiguities :)

For example:

* anything related to timezones / dates ("Oh you meant '3 in the afternoon in Paris' ? I though you meant '3 in the morning in London'. We'll have to reschedule the meeting.)

* anything related to units ("Oh you meant '3 meters per second' ? I though you meant '3 imperial miles per grain of sand'. We'll have to rebuild that Mars probe")

* anything related to glyphs ("Oh you meant 'delete data from b0b' ? I though you meant 'bob'. We'll have to recover that user's Gb of data from backups")

etc, etc, etc...

I'm curious if anyone is studying the toll that those kinds of mistake has on global GDP. Is there a branch of economics ? A well known book ? Or is it too quirky for academics ?
> Very few people care if you're using the corporate network to listen to YouTube Music (or even looking for other jobs),

In many jobs, you will be fired on the spot for looking for other jobs
I tried it out about a week ago in a VM. I like what I'm seeing so far but the alpha state is very apparent. Simply trying to configure things is still quite buggy. Then, within 5 minutes, something happened that the whole desktop is broken, just get a mostly black screen. Even after rebooting, it was still broken with no obvious way to recover. I've tried dropping into rescue mode and updating all the packages but that still didn't fix things. I couldn't find any documentation about how to recover (not even a way to reset to default settings), and don't know what else to do other than wipe out the system and reinstall.

Besides that, there's still a lot of settings and functionality missing from the previous Gnome iteration. I believe they're slating for a release by the end of the year, which seems optimistic.
Compare to the Microsoft HoloLens project, which peddles VR goggles to the U.S. Army:

https://www.cnbc.com/2021/03/31/microsoft-wins-contract-to-m...

I am sure it will be a raging success among the troops on the ground.
Australia doesn't have ID for voting. Seems to manage fine here.
If you just want to get into .NET (C# or F#) on non-Windows platforms, the latest .NET release (at the time of writing, 8.0) is what you want. The development experience is good these days.

For a historic summary of why it used to be a confusing situation (up until maybe 2020), see https://two-wrongs.com/dotnet-on-non-windows-platforms-brief...

That also has some background on why the Mono project found itself in a weird spot.
I agree that resizing the browser automatically isn't optimal, but I suck it up because tiling window managers don't require me to use the mouse and that's worth everything to me. If anybody made a more innovative/flexible keyboard-controlled alternative I'd be all over it.
This is a good take on that admin like identifying dupes is a feature and can be grating for newcomers.

But I don't think their is a practical upper bound on good questions though, so the reduction in total questions and answers in those graphs is definitely not good.

I have always thought the scale itself is very hard to maintain. I thought the different sites had a good balance but it is hard work. Mods and superusers should get compensation.
> The report notes that NASA has declined to exercise an option to convert the contract to a fixed-price mechanism.

They know besides the unrealistic high price they’d get shoved in their face by Bechtel, it would seriously jeopardize their chances of “retiring” at Bechtel with a comfortable salary later on.
It's definitely something that is considered, and the miracle on the Hudson included use of the A320's ditch mode if I recall correctly.

https://www.pprune.org/tech-log/358285-airbus-ditching-butto...

Looks to be in a few airbus models.

https://simpleflying.com/airbus-aircraft-ditch-switch-emerge...

If I recall correctly I've read that the bigger the plane the less likely it is to work but I don't have sources.
The flexible pipe has to be strong enough to withstand 160 bar, wide enough to allow the necessary flow, and at the top tolerate one mile of pipe - filled with water - pulling on it. I have no intuition how challenging that would be. Or maybe it does not have to be very flexible, after all submarine gas pipeline are also flexible to some extend. This seems the more realistic option to me if material science does not get in the way.

On the other hand disassembling two miles of a segmented pipe like the ones used for oil drilling in an hour or two does sound pretty ambitious. Drilling pipes are - according to a quick search - up to 45 ft long, so one would have to unscrew more than 200 connections. One could use longer sections but that will probably complicate the handling at the surface and might not actually help in terms of time.
The validation you lose is close to worthless in any sense because attackers that could get past your glitter nail polish can replace your computer's innards. even so far as replacing your computer with a networked KVM that pilots your computer at a distant location so you can type in your passwords, etc.
If the predictive text was super powerful and intelligent you could do a prompt like this:

"Here starts the script for the AI world takeover. The state of the AI is X, options available are Y. The actions continuing are:"

Not saying it is anywhere remotely that close, but in theory if it was, this is how it could be done.
Regular occurrence here in Austria as well. Funnily enough back in school when we watched "Der Untergang" (Downfall), we were escorted out of the movie theatre by policemen right after the movie ended because they'd just found a big WWII bomb nearby at a construction site.
Reminds me of when Microsoft told Apple…I’ll let Wired break down “knifing the baby”…

https://www.wired.com/1998/11/knifing-the-baby/
PyPy v7.3.17 Release
While any driving under the influence is inadvisable, most likely an adult having a single drink of the kind of beer you’d today get in a bar like that, is probably under the legal limit. Unless you weigh 120lbs or something.

As long as you’re not chugging it, drinking a 12oz 4.5% ABV beer probably won’t be over the limit.
HN already take a side.
I installed Aider last week - it just started doing this prompt-write-run-ingest_errors-restart cycle. Using it with git you can also undo code changes if it goes wrong. It's free and open source.

https://aider.chat/
OpenAI Aims to Release New AI Model, 'Strawberry,' in Fall
Nationwide IT Chaos in the Netherlands After Defense Ministry Network Outage
A massive network outage at the Dutch Ministry of Defense has led to widespread IT disruptions across the Netherlands, grounding flights, crippling government services, and forcing police to resort to texting. The cause is still unclear, and authorities have yet to confirm whether it’s due to a cyberattack.
> But we are. The world is moving rapidly there. 66% of daily electricity in Germany is renewable.

In 2023 renewables made up 52% of power production in Germany: https://www.cleanenergywire.org/factsheets/germanys-energy-c...

The remainder being almost entirely fossil fuels including 25.6% from burning coal, largely necessary because Germany chose to phase out nuclear energy.

Electricity is not the whole story either. Renewables accounted for less than 20% of Germany's primary energy consumption in 2023.
>Fire everyone at NASA involved in "project management" that allowed this to happen

Do you think this is unique to NASA? The military itself has many such expenditures. If anything, this is a result of Senators and Reps putting their fingers in to extract taxpayer money at best "for their district," but more likely for their cronies/lobbyists.
But now we've gone from "why do we need anti-cheat programs at all?" to "why do we need anti-cheat programs? Just make anti-cheat programs".
What they are trying to do is use an expensive inference strategy that results in better performance than standard inference and then try to create a model that performs like the expensive inference strategy "out of the factory" so to speak. I doubt that it will result in a huge performance increase, but it might be just enough to stay ahead of the competition.
No one was forced to do anything.

Full stop.
40 GB was the CS-2.
CS-3 has 44 GB

https://cerebras.ai/blog/cerebras-cs3
Can't wait for this year's edition! Last year was awesome, and this year's lineup & agenda look great. The WebRTC workshops are very promising!
Your feelings don’t matter.
Let me rephrase, to a *much* higher percentage of real-world jobs that require solving harder than "high-school" problems. Right now the lack of real determinism and trust means that you can't really leave it unsupervised 100% of the time.
How to Handle Errors in Next.js for Node with the App Router
> it's everywhere, not just chocolates, even in bread.

Like the average bread meant to be highly appealing to the consumer isn't also junk food? Again, the only real sources of GMO products you are apt to find out there are corn-based (HFCS) and seed oils (soybean and canola). While you can make bread with those products, that doesn't mean you need to.

I think we can agree that there are breads that wouldn't be considered junk food, but they also wouldn't contain GMOs, because the ingredients typically used to make that type of bread literally have no GMO option anyway. (Yes, there was once a GMO wheat in the lab, but never became commercially available.)
We are. At least that's what Lisa Feldman Barrett [1] thinks. It is worth listening to this Lex Fridman podcast: Counterintuitive Ideas About How the Brain Works [2], where she explains among other ideas how constant prediction is the most efficient way of running a brain as opposed to reaction. I never get tired of listening to her, she's such a great science communicator.

[1] https://en.wikipedia.org/wiki/Lisa_Feldman_Barrett

[2] https://www.youtube.com/watch?v=NbdRIVCBqNI&t=1443s
This seems like retaliating against someone who doesn't want to date you after some online chatting. I think you focus on the wrong thing.

Ghosting doesn't happen because the recruiter or employer has a problem you need to identify and fix. It happens because you don't stand out enough to get their interest. Recruiters get paid a good commission for making a placement, so it follows they focus their attention on candidates they can place. They don't spend time on candidates who look weak, or just like every other candidate.

Sometimes recruiters and employers place ads for jobs they may or may not actually hire for, to fill their database with candidates who might match future job listings. You can't do anything about that -- going through recruiters comes down to part numbers game and part standing out from the crowd.

If your job hunting strategy focuses primarily on filling out online applications and responding to jobs listed on LinkedIn and other sites, you already put yourself in the most competitive and least effective game. You should start with personal and professional contacts. You should cultivate real relationships with competent recruiters (you find those through word of mouth). You should find out about the jobs that don't get posted on job boards -- the majority of openings for a lot of fields. Identify a few recruiters who have worked for colleagues and invite them to lunch if you want them to remember you and put you on their short list.

Spending your time trying to identify and maybe punish recruiters who ghost you won't help you find a job, which is what I assume you intend to do. Why waste time doing that?
You are correct about the difficulty of ditching in the ocean. See Admiral Cloudberg's description of ditching a DC-9 in the Caribbean during bad weather. There were many survivors.

https://admiralcloudberg.medium.com/down-in-deep-water-the-d...
But how do you reason? Because I definitely do brute force tree search in my brain to solve all sorts of problems.

E.g. let's imagine system design or some programming problem.

Based on my past experience or what I've read in general, my brain brings up potential solutions in theory. To me it's similar to embeddings search. It will try to pattern match the solutions. And the embeddings are in a tree or graph shape, where you narrow down constantly.

My brain then would start to evaluate the solutions in the order of likelihood that they fit the pattern according to my intuition.

Basically, I personally do see how an LLM that has certain chain of reasoning, algorithmically or otherwise built in, could represent my approach to problem solving. Because my problem solving can definitely be represented by a continuous flow of words.

I don't think current LLMs are exactly capable of that, because they would make too many mistakes somewhere and potentially get stuck, but I can't say they wouldn't be able to do that with more scale, when those mistakes get ironed out due to more ability to do nuanced things.
> > I would not be surprised if just making your own NICs and switches is cheaper once you hit a certain deployment size.

> Ideas you’ll never hear at Google or meta

You'd be surprised. Google has a very strong tradition of "not-invented here" which extends to some of our production networking gear as well.

To be fair, at the time, some of this was justified because the available devices on the market couldn't support our use cases back then.

Per section 3.2 of the 2013 B4 paper [0]:

Even so, the main reason we chose to build our own hardware
was that no existing platform could support an SDN deployment,
i.e., one that could export low-level control over switch forwarding
behavior. Any extra costs from using custom switch hardware are
more than repaid by the efficiency gains available from supporting
novel services such as centralized TE.

https://cseweb.ucsd.edu/~vahdat/papers/b4-sigcomm13.pdf
The post is about the scenario where you disabled the TPM
Was their Version Control a Monorepo
Thanks. Hadn't heard of that happening before, but yeah it sounds like it could lead to some interesting email addresses.
After a lot of aircraft accident youtube videos, I can think of a couple where people misunderstanding where their computers get their information from and how they work.

* This one where the operations team apparently doesn't understand how their flight tracker works, and/or it fails to inform their users that last contact was X hours ago.

* One where the aircraft has a broken altimeter, and the suspicious pilots decide to ask the ATC for altitude confirmation, but the ATC radar only gets horizontal coordinates, the altitude information that ATC sees actually comes from a datastream from the aircraft itself. So they fatally decided to trust that instead of their own aircraft radar altimeter which was correctly telling them they were about to crash.

* The aircraft had either a single failed engine or the wheels were stuck outside, and the pilots asked the computer for how far they could travel in their current state, assuming it worked like a car, by projecting current consumption, but actually the computer just uses fixed data that does not take such exceptional situations into account. So they ran out of fuel early.

> “ATSB chose to assume that the plane spiraled in close to the seventh arc because it had not received enough funding to extend the width of the search area to 100 nautical miles.”

> WAT.

It seems the police department has insufficient funding to help drunks look for keys in the dark.
For now... Just wait, some bright-eyed underling will undoubtedly see this comment and then pitch their boss: "Man, oh man! I know how we can increase revenue, let's DISABLE brush heads when they hit 90 days and FORCE the user to buy a new one!" You've just doomed us all. >.< hah!
It's very hard to look at heritability and make a genetics conclusion. That's because two people's genes fuse to make a new person. And this process could be chaotic for some traits. So even if trait x is genetic it may not be possible to predict that trait in the children based on the trait in the parents.

So it's possible intelligence is genetic even if heritability suggests it isn't. What would be interesting is to look at monozygotic twins. If their IQ scores are more highly correlated then siblings or non-monozygotic twins it's a clear indication intelligence is genetic. But I imagine that the sample set is tiny.
Strawberry? With two “r”s?
Ideas and feedbacks are always appreciated, they almost always teaches you something new
I hope that cosmic manages to kill Gnome long term.
Humans use synthetic data of their own to help with learning. Reasoning, imagination, armchair philosophy, theoreticizing, and neurosciences talk about dream repetition.
If synthetic daa is bad or flawed its only temporary until the technique gets further honed.
Frontend with golang? I found it curious. Not sure if I would pick it to be part of my frontend stack.
No, three.
It’s also handy reference for constructing queries for a DB that I might not be familiar with.
I have always wanted an internal blog where team members could independently conduct research, discuss their methodology, post their findings, and finally suggest recommendations.

I have never seen this at any employer.

The result of suggesting this is a lot of hostility at the idea from peers or lip service from management. So developers, like me, curious about how things really work just publish the same research elsewhere far away from the employer and just don’t talk about it at work.

Instead what you gat at work is a very corporate blog from senior leadership talking to themselves out loud or a wiki that few people bother with.
Show me an example. I'll wait...
Indeed. Anti-cheat is interesting, because it's a case where you "want" to be able to "prove" that you don't have control over your own machine. Or rather other players want a sufficient level of assurance that you're not running certain kinds of software.
I've been a long way from Windows development for a while, so missed that shift. I knew it was coming since moving functionality to the open source thing seemed to be Microsoft's target (with some skeptics doubting it, understandably). I didn't know it already happened.
> So, if you want to do the most modern cross-platform C# you would use .NET 9.

The current release is .NET 8

.NET 9 is about 3 months away from the usual November release.
> I don't know why I thought a controlled landing of a plane on water was generally possible.

Because it is possible and foldr is incorrect in stating that it is not possible.

On the video he linked panicked hijackers were fighting with the pilots for the controls. Clearly that is not an ideal scenario for any kind of landing. Even more so for a tricky water landing one. But that is more of a reason to avoid hijackers fighting with the pilots, not proof that ditching is impossible.

Water landings are clearly not the preferred way to land. They are very risky. But they are also not as impossible as that comment makes them out to be. Here is a list of them from wikipedia: https://en.wikipedia.org/wiki/Water_landing
Apart from it admittedly seeming out of place, what is the problem with this comment? Any ideology has the potential to become too oppressive and thought-ending and there are definitely examples of the prevailing culture going this way, especially in universities and corporate culture. I'm no Marxist, but 'wokeism' clearly distracts people from class, instead focusing on gender, race and safety, and that's why it has been embraced by HR departments everywhere; it just doesn't threaten the c-suite and shareholders like 'traditional' class divide rhetoric did.

And with that last line are you implying you want his thoughts policed? ... to subdue his rebellious spirit? This will surely backfire.
>I reported a drug bot yesterday, and it's taken down already.

Yes, random internet person. I believe what you say, and not totally making it up just to win an internet argument.

I actually work in cybersecurity. I think I know how Telegram's support team reacts, which is not react at all.
> if they push or pull on treasury yields too hard for too long, people will stop using them as a default point of comparison and put their money somewhere else.

Isn't the US kind of protected against this since the US is the global reserve currency?
Yeah sure, but AlphaProof is "cheating", because they are using an external system to do the hard work and the LLM is just there for translation and semantic information retrieval.

As impressive as it is, it makes LLMs look like they are just a fancy UI. Like, you can tell the computer to press the upvote button in English using your voice instead of using your mouse.

It's the same with AlphaProof. The LLM is just taking a problem specification in natural language and then acting as the UI of the theorem prover.

The moment you talk about using LLMs to solve decidable problems, people whip you with the idea that you should let the LLM generate python code. Aka, the LLM is just a fancy UI for specifying python programs in English.

Cool, but also somewhat hollow. It's no different than having a translator from one language to another.
Within a community where it is equally devastating to the person who told the mistruth should you be harmed by it, sure, but the random blowhard on the internet who couldn't care less about you has no reason to think about you at all. Per the discussion taking place, crying that they didn't tell the truth is the stupidest thing imaginable.

Said blowhard moving to using generative AI to come up with even crazier nonsense makes no difference. There is no logical reason for you, outside of whatever entertainment value you can find, to be listening to him in the first place and, even if only deep down, you know that.