skysight-inc/HackerNews huggingface dataset:
> particularly if they're as complex as "an unauthorised user cannot obtain some information". Even a complete and total elimination of all memory safety bugs and all concurrency bugs won't get you anywhere near that goal

Actually that's not really true. If you take that as a base and remove ambient authority, then you have capability security which does get you as close to fulfilling that property as is possible to achieve. I'd say that's pretty near that goal.
Support for inlay LSP hints is the big one for me here. That’s mainly what’s kept me from switching over from vim so far.
yea i agree. i'll likely add some sort of video demo to the site and a bit more use cases. were you able to try out the app?
The fact that writer Jody Serrano is trying to take down another women Marissa has very little to do with polish of the app. Look at OpenAI design.. it's not much better and it doesn't matter.

That article follows a long standing tradition of women attacking other women in power based on appearance to try to elevate themselves. No insight on polishing trends can be learned here.
Does 'officially' do anything?
Thank you Mr. Anders.
You're only considering the false negatives while forgetting about the true negatives. VCs don't have infinite funds at their disposal; a heuristic like "being late to a meeting leads to a rejection" can be beneficial even if the false-negative-rate is non-zero.
Bumble apologises for adverts appearing to mock celibacy
I'm curious why the resemblance and homage to the Soviet Union in the first place, but I find it sad that people feel the need to rebrand things like this, to avoid the mob. Just because I don't like communism, doesn't mean people can't have things named after one of recent history's most well-known superpowers, with admittedly cool style.
Building Scotland's best escape room for under £2k
I think we just fixed that one. Sorry for the hiccups!
if "don't aggressively spy on your employees" puts you out of business what on earth's your business model?
I doubt much has changed. The Bay is lagging in terms of infrastructure — it’s hilariously sad.

My only options currently are Comcast or DSL. I’m anxiously waiting for Sonic to become available.
ThinkGeek sold a cheap plastic slide rule once. Its motion was too sticky for me to, well, stick with learning to use it. I agree there's a good product idea here if you can do it better.
Very similar experience. My instinct would be to fight the sickness and push through, but in reality you need to stop immediately and try again in a few hours. Your tolerance tends to build exponentially!
Rare traits I see in every high performing scrambled eggs
Have you seen https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely.

We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar-mode.el
I have been transitioning my workflow from macOS to Linux. Discovered it’s kind of pain in the ass to get a gui based editor like Intellij to work correctly, especially within a VM.

Happened to have discovered neovim, and so far it’s been a delight to use. Much faster and much lighter on resource use.

Do any neovim veterans have recommendations on plugins to enable? Or even hidden features that would improve workflow.
Yeah I have to think it's the same phenomenon that makes people buy large 4-wheel-drive pickup trucks that they rarely use for anything but commuting and getting groceries. The same phenomenon that makes people buy a commercial-style zero-turn Dixie Chopper to cut their suburban lawn once a week. Big? Loud? Smokey? Gratuitious in every way? I want it!!
More accurate to say "hyper" is above, and "hypo" is below. So hypothermia is a temperature below [typical/safe levels]
even if the tech didn't improve one iota in the next 10 years, the low hanging fruit that remains for the taking in application is just staggering right now
QM give a lot of important solutions that are real that simpler models miss. But nature is of course unrestricted
Pure black looks so awesome on OLED screens, I hate near-black.
That's what I was getting at. If you want to be sure that the human body who will be present in the office is the one doing the work, then you need to have at least one on-site interview.

If the work is fully remote, then does it really even matter? If you hire Person A to provide certain business results, but he actually contracts it out to Person B who does all the work, yet the expected business results are provided, then do you actually care?
My guess is that Remix is not getting the traction they expect and want to leverage React Router's installed base. I often see Next.js in job opportunities but rarely see Remix. Ryan's announcement demo was good.
"The effects of Facebook and Instagram on the 2020 election: A deactivation experiment" - https://www.pnas.org/doi/10.1073/pnas.2321584121
Unfortunately, a calculation that matches a pattern does not confer any understanding of the nature of the solar system.
It's not an argument for always insisting on eliminating 100% of memory safety bugs via sound methods regardless of budget. That requires a more elaborate argument than just "memory safety bugs are really bad and therefore we should eliminate all of them with certainty".
DOE needs to stop approving mergers and acquisitions over $150 mil or so. Every such merger: Facebook/Instagram, Google/Youtube, etc has been a disaster.
Here's context&summary. The original article is by Vinton Cerf// architect of web2 and architect in Matrix portrayed by Helmut Bakaitis// is here https://dl.acm.org/doi/pdf/10.1145/3586159. The link Dismantling Scaffolding is feedback by Evangelos Georgiadis to Vinton Cerf's original piece. Topic of conversation is innovation and examples of threshold developments are given ranging from decentralized exchanges to Ken Thompson's Unix porting.
I for one am grateful that chiropractic was named in a way that openly advertised the lack of medical training, expertise, or science involved.
> Wow, what happened to the "screw the government" position?

It was always just a meme.

John Perry Barlow was deeply, deeply, wrong.
A "lyrics person" is also a "music person," otherwise they would just be a "poetry person." Something about setting lyrics to music can give an intense power to words that would be merely passable as "plain" poetry.

e.g. here's a verse from "All This Time" by Sting:

> Teachers told us the Romans built this place \
They built a wall and a temple \
And an edge of the empire garrison town \
They lived and they died \
They prayed to their gods \
But the stone gods did not make a sound \
And their empire crumbled till all that was left \
Were the stones the workmen found

> All this time \
The river flowed \
In the falling light \
Of a northern sun

Just reading this does nothing for me. It's certainly not great poetry. But hearing it sung to music for me evokes the feeling of the inevitablity of decay and the simultaneous glory of human achivement and the pathos of human mortality. [0]

[0]: https://youtu.be/4LdUme7QZLY?si=eE6CtAaU6DOOVlQj&t=192
Yah I just added the bit about Dart not being chained to JS, which is potentially a big win. But stuff like generic covariance is a whopper. Still, they fixed null-safety and implicit downcasts (which was pure WTF), so there's hope yet.
For young'uns who weren't enjoying The Register's constant string of snarky headlines at the time...

https://en.wikipedia.org/wiki/SCO%E2%80%93Linux_disputes
That's why I appreciate MS's efforts to improve PowerShell and Terminal.
Looks like VTE finally fixed their bug regarding Ctrl+arrows etc. I have few issues now.
And input limitations can be resolved by non-terminal UIs (for example like Ctrl+i and Tab being mapped to the same control character in old terminals - that one is solved by newer protocols, but the problems don't end there.)
Is there "Things I don't work with" series for programming? Alpha-quality compilers, non-ACID databases, legacy code full of race conditions, CSS (jk),...
Well I guess everywhere is different. That's truly bizarre to me though.
I mostly work on macOS nowadays, and I like macvim.

Of course there are plenty of Neovim GUI. Currently happy enough with VimR.
> correct bends (wobbles? distortions? wrinkles? waves? what is the word?)

Since you're talking about video footage, I would guess it's rolling shutter distortion you saw. This can result in wobbles, skew, or aliasing artifacts.
Cool. I'm a bit unsettled that my camera's green dot didn't turn on for it though.
It's up to individual applications how they implement user input. All of this is entirely possible in modern terminal emulators - look at the micro text editor, for example.

I guess most shells (bash, zsh, etc.) keep things "traditional" for backwards compatibility reasons.
Plus workers in tech are absolutely not immune to this stuff and nobody should be complacent.

"They can't monitor me because I spent my morning mentor Alan the Junior at his desk" - that may be so but it won't stop them from trying, and the lag from deploying bad business intiatives to realising they're bad can be months or years in the making.
I think you’re mixing up different launches: Soyuz 7K-OK No.1 and Soyuz 7K-ST No.16L

Soyuz 7K-OK No.1 was uncrewed and likely had the quirk with the gyros. One person near the launch on the ground was killed.

https://en.wikipedia.org/wiki/Soyuz_7K-OK_No.1

> Initially, it was suspected that the booster had been bumped when the gantry tower was put back in place following the abort and that this somehow managed to trigger the LES, but a more thorough investigation found a different cause. During the attempted launch, the booster switched from external to internal power as it normally would do, which then activated the abort sensing system. The Earth's rotation caused the rate gyros to register an approximately 8° tilt 27 minutes after the aborted liftoff, which the abort sensing system then interpreted as meaning that the booster had deviated from its flight path, and thus it activated the LES. The abort sensing system in the Soyuz was thus redesigned to prevent a recurrence of this unanticipated design flaw. On the other hand, the LES had also worked flawlessly and demonstrated its ability to safely pull cosmonauts from the booster should an emergency arise as it did years later in the Soyuz 7K-ST No.16L abort (26 September 1983).

The emergency condition of the Soyuz 7K-ST No.16L abort was not caused by rotation of the Earth, but by multiple failures that caused damage to the launch vehicle:

https://en.wikipedia.org/wiki/Soyuz_7K-ST_No.16L

> The crew was sitting on the pad awaiting fueling of the Soyuz-U booster to complete prior to liftoff. Approximately 90 seconds before the intended launch, a bad valve caused nitrogen pressurisation gas to enter the RP-1 turbopump of the Blok B strap-on. The pump began spinning up, but with no propellant in it, the speed of rotation quickly exceeded its design limits which caused it to rupture and allow RP-1 to leak out and start a fire which quickly engulfed the base of the launch vehicle. Titov and Strekalov could not see what was happening outside, but they felt unusual vibrations and realized that something was amiss. The launch control team activated the escape system but the control cables had already burned through, and the Soyuz crew could not activate or control the escape system themselves. The backup radio command to fire the LES required 2 independent operators to receive separate commands to do so and each act within 5 seconds, which took several seconds to occur. Then explosive bolts fired to separate the descent module from the service module and the upper launch payload shroud from the lower, the escape system motor fired, dragging the orbital module and descent module, encased within the upper shroud, free of the booster with an acceleration of 14 to 17g (137 to 167 m/s²) for five seconds. According to Titov, "We could feel the booster swaying from side to side. Then there was a sudden vibration and a jerking sensation as the LES activated".
Nevada parents wrongfully accused of child abuse file lawsuit against hospital
It might not be "most situations", but its certainly mine. I've been filling out the sonic form yearly for at least 5 years now. I'll say i do appreciate that it stopped offering me verizon. It always felt like a bit of a con for the frontpage to advertise gigabit, ask for my address, then give me a "success" page that only offered verizon. Unfortunately i suspect that with verizon not being offered it means sonic has decided this area isn't worthwhile and has stopped accepting customers (not going to fully out myself, but we have a bart stop and are not end-of-line).
see 3rd/image.nvim on github. There might be others
Apparently they think it's easier to change the English language than fix their buggy code.

Seems sensible.
Show HN: I built "TeamViewer with AI" with GPT-4o for my dad's computer troubles
Hey HN,

My dad often struggles with using his computer and calls me multiple times a week to ask for help.
We used to try to diagnose things via FaceTime (which was always a struggle), until a friend told me about TeamViewer, which made things much easier.

However, at this point in my life, I am either too busy working or outside the house and can’t access TeamViewer, which is why I have started to help my dad less and less.

When the chatGPT iOS app was released, I was completely blown away by its speech abilities.
When my dad called me the very same day for another computer problem, I thought “Why not automate this using AI?”

So I created helpmee.ai, which I believe can solve most of the problems my dad typically calls me for.
It uses openAI’s Whisper for transcription, GPT-4o for reasoning and analyzing the computer screen, and openAI’s Text-To-Speech.

If you are interested, give it a try and I would love to hear your feedback.

Tim
Yeah. There is a lot of that. My faves were someone coming by with a random thought that they needed to think through with someone. Almost nothing ever came of it, but the rabbit hole of exploration was fun
An absurd approach to a simple maths problem
For those who aren't aware, the name Jepsen is a play on Carly Rae Jepsen, singer behind "call me maybe". In my opinion a perfect name for a distributed systems research effort.
Plan 9 dropped the concept and went graphics first using a 2D engine called devdraw which you load assets into and issue draw commands. Text is a first class primitive so drawing text is pretty simple. It has a shell but it lacks cursor control so stdout/stderr is written to the window's /dev/text - think of a window as a dumb textbox. If you need vt100 emulation you run the command in vt(1) which is a graphics program which emulates a tty terminal. When you run a graphical program from the shell it opens in the same window as it should because the window is more like a canvas. The window manager Rio(1) just multiplexes the /dev/draw device so you can run any graphical program from the initial graphical terminal - a window manager not needed. You can also run rio in rio as much as you want - its devdraw all the way down. If you really wanted to preserve a TUI program you could run in vt(1) or I think there is a curses library that does draw stuff on the back end skipping the vt emulation.

In this day and age I see no reason to perpetuate the tty terminal outside of Unix as it's an obsolete concept.
I've used R since it was in beta, as well as many other languages: python, perl, C/C++, Fortran, lisp, Julia, ... others I'm forgetting.

I think you're right about fads and the appeal of a new sexy language. No dispute on that point.

However, some of what constitutes fads are really more like a coincidental convergence of advantages. So for example, something gets picked up in field X because it's more convenient and all the people learned that in college, and then the same thing happens in another field, and then when libraries in the two fields interact, it's like multiplying the reasons. These network effects happen everywhere in tech. It's not necessarily good, but it happens.

With R in particular there's a long arc to reasons why it might fade. I've heard about R fading before and then it picked up again, so who knows, but it will probably fade and there are reasons why.

If what you're doing involves mathematical or computational fundamentals, all that wrapping around C and Fortran gets annoying really fast. Not everything involving heavy lifting has been coded in fortran or C already, and sometimes passing back and forth between those heavy lifting routines becomes a huge bottleneck.

R is slow as hell, and yes you can write things in C or Fortran (or Rust etc?), but it turns something that should be fairly straightforward into a library project on its own almost. It's just easier to be able to write all the underlying stuff and IO/API stuff all in the same language and have it perform optimally. In fact, I'd probably rather just write it all in C or Fortran than write parts in one language and then wrap it in R — the R wrapping would mostly be to make it accessible to others (which is important, but there's the library bit).

R too has become horribly fragmented in my opinion. A lot of things like ggplot and tidyverse are great, but it's led to this kind of fracturing of syntax in what was already a kind of fuzzily defined syntax in some ways.

For what it's worth, I'm not sure I greatly prefer python. It's more general-purpose than R so has that advantage, but also has the same performance issues as R, and doesn't seem quite as well suited to statistical and numerical computing to me. Maybe it's just the object-heavy structure of python or something — maybe I prefer something closer to either lisp or C in the end — but python has never felt quite right to me. I'm looking forward to seeing what happens with Mojo, because that could be a real game changer, but am not holding my breath.

Julia is appealing to me and seems to check all the right boxes, has a lot of the fun I had with R early on, but I agree with some of the criticism it's gotten for library interdependence problems due to type flexibility and conversion-type issues. I also think error handling needs a lot of work. It's great when it works, but sometimes just becomes intractable to debug.

For me, statistical/mathematical computing is exciting in the last several years in a way it hasn't been in a long time, but also feels not quite "there" yet. I could still see a lot of currently used languages be superceded pretty dramatically by something new.
I'm definitely neither. Music has always been just background noise for me. I can't sit and listen to anything by itself. It doesn't keep my interest.
I will say, I'm not terribly fond of mergers on principle. However, based on my insight as a former customer and shareholder of the company, Sprint's goose was most definitely cooked to a crisp. If this merger had not happened, I could have seen Sprint file for bankruptcy, with Verizon and AT&T picking the carcass clean.

I think folks forget how dire Sprint's straits were at the time, and this specific merger truly was the least of all evils.
and they acquired Mint, which almost certainly means my $30/mo prepaid plan will disappear soon.
To me, the most interesting sentence in this essay is: "[H]e, Gödel, had felt that a nuclear chain reaction would be possible only 'in a distant future'."

Gödel was second-to-none in analytic ability and he was paranoid. What made him so certain that nuclear chain reaction was a distant possibility? If it were anyone else, I'd say they were just trying to comfort themselves by not thinking about terrible consequences. I wish I knew what made him come to the conclusion he came to.
US prisoners are given dangerous jobs. But what if they are hurt or killed?
I’m not sure how to think of this, is it an engineer first version of Metabase?
Songs are multimedia. Two dissimilar things are wired together. It is an effective way to brainwash people.
Curious what you mean by "real tray by default"?

Notifications? Background apps? One of the AppIndicator shell extensions? Something else?
You’re right. But are you saying LLMs couldn’t be a part of a more complex system similar to how our brain appears to be several integrated systems with special purpose and interdependence? I assume you’re not assuming everything is static and open ai is incapable of doing anything other offering incremental refinements in chatgpt? Just because they released X doesn’t mean Y+X isn’t coming. And we are talking about a longer game than “right this very second” - where do things go over 10 years? It’s not like open ai is going anywhere.

Maybe the guys who point out tar in tobacco is dangerous and nicotine is addictive maybe we shouldn’t add more for profit and such things would be useful just in case we get there.

But even if we don’t - an increasingly capable multimodal AI has a lot of utility for good and bad. Are we creating power tools with no safety? Or safety written by a bunch of engineers whose life experience extends to their PhD program at an exclusive school studying advanced mathematics? When their limited world collides with complex moral and ethical domains they don’t always have enough context to know why things are the way they are and our forefathers aren’t idiots. They often blunder into a mistake out of hubris.

Put it another way the chance they succeed is non zero. The possibility they succeed and they create a powerful tool that’s incredibly dangerous is non zero too. Maybe we should try to hedge that risk ?
RethinkDB: We Failed (2017)
Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf]
Exact binary vector search for RAG in 100 lines of Julia
Every once in a while I'll hear a blind person's phone audio while I'm out and about and it sounds like an unintelligible stream of noises, but they're interacting with it and using it and getting information from it. It's amazing, a whole other world of interaction from what I experience with my phone. I kind of want to learn how they're interacting with it.
In social interactions, well, yes. If you have a formal logical framework of human behavior I'd love to see it.
Absolutely, so many people don't understand that a great deck and a tech demo is in 99.9% of the time not enough. You need a strong signal that you are on the right track: user engagement, LOIS, actual sales. The more you can show the better.

If you didn't get to that point don't be surprised if you get the canned response of "This just does not seem like the right opportunity for us".

The first investor in your startup is you. If you are not willing to put your money and time into it don't be surprised other people aren't willing to do it.
"...designed to hack your brain into experiencing emotions that are fundamentally false". In other words, just like a traditional marriage...
Reading through this gave me serious chills. This sounds like something straight out of Josef Mengele laboratory.
Did Neuralink Ignore Early Trial Risk? Brain Implant Issues Plagued Lab
Three sources familiar with the testing claim that animal trials conducted before last year's US approval indicated a potential for the implanted wires to retract. This retraction could also dislodge the delicate electrodes responsible for deciphering brain signals.
> (they tend to have 2-4% acceptance rates to either the college or the CS department)

This leads me to a broader question: What does their acceptance rate of high schoolers have to do with anything? We're always using that as some kind of proxy, but high schoolers (even the top ones) don't know much...
Really sad to see the got Mint.. Cheers for the people that profited, but I feel this is a more serious blow than the sprint takeover.
I've known about the game, but the Steam release is news to me
> with AdaCore and Ferrous Systems partnering

I thought the partnership was already over? AdaCore left Ferrocene, and released its own support for a Rust toolchain lacking formal verification tools.
I keep thinking about how that scene played out. Where would Ross be had he had the time to shut the lid.