skysight-inc/HackerNews huggingface dataset:
P.S. Watching the GPT-4o demo on Tuesday, I believe my web app works in a similar way to openAI’s future desktop app, which seems to take a screenshot whenever the user stops speaking.
I'll consider superintelligence achieved if AI can do such work faithfully.
I really would like to have:

* text folding (https://gitlab.freedesktop.org/terminal-wg/specifications/-/..., https://stackoverflow.com/questions/52812618/ansi-escape-seq...)

* graphics (https://gitlab.freedesktop.org/terminal-wg/specifications/-/...)

I wonder a bit why all those next-gen (often HTML-based) terminal attempts have not been successful (e.g. TermKit: https://news.ycombinator.com/item?id=30517205). Probably because SSH/Mosh/Tmux concepts are difficult to take over there, and those are somewhat crucial. And text folding or graphics also would have issues w.r.t. those (see also the linked discussions).

DomTerm (https://domterm.org) supports both those features, but it does not work with Mosh+Tmux, which is my main use case.
I mean, that sounds like a rational thing to do from the EUs perspective. I expect a EU based social media that would replace it would at least not be worse for the consumer. One of the better things as a citizen in the EU is the stricter consumer protection.
I don't want to say it's certainly not available, but I doubt it. Maybe someone has done something trying to recognize different voices by differences in pitch/volume/...

The vision pro has six mics, which likely enables it to locate the sources of sound in space by the amount of time it takes a sound to reach each mic (i.e. acting as an "acoustic camera"). Tablets and phones aren't going to have that hardware unfortunately.

And yeah, obviously wearing a headset is a pretty big compromise that's not always (or maybe even often) going to be worth it. This was more of a though of "the hardware can probably do this cool thing for people already using it" than "people should use the hardware so it can do the cool thing".
The 45-year-old female politician, Prapaporn Choeiwadkoh, was embroiled in a scandalous affair with her adopted son, Phra Maha, a 24-year-old monk, leading to her suspension from public office and stirring widespread attention across mainland social media platforms.
a hangover isn't strictly correlated to alcohol - you can have a hangover with a 0% alcohol reported by the breathalyzer. I've read drinking alcohol starts processes that damage the brain for the following 3 weeks, and the brain needs additional 3 weeks to heal. Obviously what people mean by a hangover has a much shorter span, I think mostly related to dehydration.
In the video, we see the students briefly rotating the model in the CAD software—with translucency on—it looks like the one main stream is divided into many spiral chambers which then exit distributed along the rim of the attachment's opposite side.

With that in mind, I wonder how much, if at all, the reduction would be if the entire nozzle were designed this way, instead of just the end bit.
To be fair it is listed as workaround, pending an actual fix.
F* has an extraction backend which targets "human-readable C" code, contrarily to Coq which extracts proof to "machine-written OCaml" (typically the extracted code use a type-system-escape-hatch left in OCaml for the sake of Coq extraction). Consequently, part of the Everest project (the proven cryptographic primitives in particular) has been integrated into C code base like the linux kernel, firefox .
Microsoft stoops to new low with ads in Windows 11
I can attest it also happens in New York suburbs.
i'll play devils advocate: what if getting shot down hard by a few respected investors was a push to improve / get slicker with their approach?
remember how google added js apis to detect active tabs. and rendering intersection. complex webapps could use less battery and have richer interaction.

everyone rejoiced. nobody implemented anything useful.

soon, advertisers, google included, was selling ads packages by "viewability". lol.

can't wait for safari to lead with "eyed" ads.
I think the point is that saying "there's only one parameter to measure" elides all the difficulties of measuring the different ways people can be effective in the workplace.
The intent was to direct customers to the new “Export As” experience, which was a newer code base and handled some things SFW did not. Enough people couldn’t leave SFW behind though, and it’s been Legacy ever since.

Anecdotally, SFW is the result of converting Adobe ImageReady into a plugin. When IR was originally created, many of its sources were split off from Photoshop to get it off the ground. So now we have two variants of “the same” sources for many files- one evolving in Photoshop, and the other frozen in time in Save for Web.
Or Ryobi. Though Greenworks is probably more likely for a professional.
Specifically this is Llama2, not Llama3, was a bit disappointed from that. Also wasn't totally clear from the article - will this actually increase GPU inference speed / decrease GPU memory usage?
Now do the major cities in Canada and U.S.
This sounds like a really awesome release, well done!
you don't have to write "Google Blog" in front of every title.
Show HN: Non-Addictive Consumer App Friends Share Personal Experiences iOS/ AOS
Founders: EX:Meta, Google & Zendesk engineers & strategy leads.
Gift link: https://www.bloomberg.com/news/features/2024-05-16/neuralink...
There are many great plugins. Telescope, nvim-cmp, treesitter are standard recommendations.

I'll give a shout-out to conform.nvim that gives you very solid format on save functionality that's also easy to setup:

https://github.com/stevearc/conform.nvim
I would think that encouraging everyone to put their leaves in the gutter might also cause clogged storm drains.
It really varies. I worked for a VC for years, and it often takes substantial reputation to be able to demand fees like that. It also takes substantial reputation to be able to get high enough quality inbound dealflow to be able to do so with few people.

E.g. I know of a decent number of funds that size or smaller with a staff in the range of 10, a few with well above that. Even at 2% it's suddenly not so much money then, even less so when you start to factor in costs.

EDIT: You may also sometimes "on paper" have fees like that, but quietly offer discounts etc. to convince investors. On top of that comes often quite substantial requirements to buy into the fund for at least senior staff that seriously reduce the de facto salary unless the fund also does well enough that it's the carry that matters.
I have a large on-disk photos library (in the Apple Photos app.) I have a lot of semi-duplicate photos. The main deduplicator software I tried can detect near-duplicates well (eg visually similar photos taken a fraction of a second apart) but it doesn't choose the best one to keep: it will suggest to keep a version where people have their eyes closed, and delete one with eyes open, for example. Could AI make a better choice there?

A reliably good app that helps me delete duplicates and shrink the photo library size would be amazing. Could this do something along those lines?

Similarly, I want to delete low quality images: blurred, etc. I don't know of an app that does that.
If the headline were "The Earth is Flat" the article could be about a lot of things, such as a sci-fi story. So yeah, it would require a click to know if it's "false".

What is Cpython if not a C library? I imagine that makes Python not a programming language as well?

The title is obviously a provocation to spark discussion, and you could have done a better job engaging in it instead of dividing everything into true or false. "HTH"!
This post was from 2019, and is standard mapping stuff not necessarily having to do with any Chinese obfuscation.

It's not necessarily a case of "competing" standards, but choosing to apply local optimizations (or not) for better precision, at a cost of increased error (imprecision) elsewhere. The Earth isn't a perfect static sphere, it's a roundish blob with dynamic bumps that crawl and ooze along its surface over time. You can kinda try to average it out everywhere (WGS84) or if your area of concern is smaller, choose a datum that's more locally accurate but that would be inappropriate if used elsewhere. The Wiki article is a better explanation I think: https://en.wikipedia.org/wiki/Geodetic_datum?wprov=sfla1

The hard part for OSM (and any long lived community effort) is that their data sources are varied, and they have to first identify the source datum (sometimes it's in metadata but not always, and might need to be manually measured) and then decide what to do about it, on a case by case basis. In the article it didn't seem like they'd made a decision yet. Wikipedia talks more about the "rectification" (datum transformation) process more: https://en.wikipedia.org/wiki/Geographic_coordinate_conversi...

You can download the FOSS app QGIS and play around with its transformation and reprojection tools if you want to see how software handles this. The algorithms it uses under the hood are also open source CLI tools so you can check out the math there if you're interested. (I love maps but hate math, so that part is all black box magic to me lol).
Really? In 2018, a voice only family plan was more than twice than a voice, text, and data plan I have today. Mind you, it just went down $10/month a few months ago so it isn't like all the price drops happened years ago.
I'm so much a music person I enjoy a great deal of music in languages I don't speak :) Vocals and instrumentals working together is the most important part to me.
They were great investments for soon to be has beens. And helped the acquisition flourish too.
I'm struggling to feel the lack of price competition here in the US. It feels like mobile service has continually improved over time with fairly constant competition from MVNOs serving to experiment with different pricing models, as bandwidth has continued to be deployed.

T-Mobile needed that Sprint merger to remain a viable nationwide competitor to Verizon and AT&T, and now they've done that.
https://news.ycombinator.com/item?id=37218727

Edit: my time frame is off, I'm bad at estimating elapsed time in general. So we are probably a ways off from commercialization.
I'm bewildered that the "user friendly" flavors of linux still use ancient terminals. If the fact that these distros still lean heavily on terminal use wasn't bad enough, you also need to have a computer intuition from 1985 to feel comfortable using it. At least capitulate to ctrl+v and ctrl+c.
I still dont get it. That's just precisely the same as sending a instant message but it has an audio option?

I've tried doing audio messages before but i find it unbearable - both to listen to them and record them. I just love async text; i want nothing more than email/github
I'm 37 and it's also going to make a great me-me project.
I've home grown a solution for this a couple times... directories of yaml files, where the default is en-US (for those I've worked on). The main set(s) of yaml files are built to path.filename as a prefix to the internal structure in the file... then typescript type(s) are generated from that... with other files then built and assigned the default type as the type. Then checks for errors are run. From there, code generation for server-side usage is done.

It's tended to work relatively well for me.
I did some research on this topic, among other musicians, and the result was multimodal. On a scale from 1 to 10, on the importance of lyrics, you had two larger peaks near each end of the scale, and a smaller in the middle / neutral zone.

I myself am more of a "music" type of person. I rarely, very rarely listen to the lyrics. When people ask "but what about the singer then?", well, I listen to the melodies, and the vocal technique itself.

I'm much more into the soundscape. Interesting rhythms, layering, etc.
This is also how any IS lenses for film cameras work since moving the film around isn't entirely practical.

Nikon: https://www.nikonusa.com/learn-and-explore/c/products-and-in...

You can see the VR lens element there.

The Canon version: https://www.canon-europe.com/pro/infobank/image-stabilisatio...
Do Doom multiplayer servers still use that port?
One other note - I saw another comment that your AI model runs on CPU. Does it run well or better on the M1 or newer? That is, can you market it as an Apple Silicon-only app?
My son and I raise money for our Boy Scout troop by doing yard cleanup in the fall. Using leaf blowers and tarps is how the crew worked through 20 acres of cleanup over two weekends.
Hindu mythology wrote about nuclear proliferation 5000 years ago
True, but no matter the terminal, you still have to deal with either cmd or PowerShell (and its horrendous startup time), "active code pages", and the fact that you cannot write UTF-8 to stdout without it getting messy - you need WriteConsoleW and/or SetConsoleOutputCP but that affects the whole environment, ... cli on Windows was and is painful.
I think you're on to something, maybe let's put AI in it too?

Oh, someone beat us to the punch... https://www.warp.dev/
> Absolutely none of them think that the fee is 'retirement money'

You are sure you can speak for all of them? There are tons of VCs...

To me the 2% running fee sounds pretty nice, combined with somewhat low pressure job compared to many others. Of course it is not nice if your fund doesn't make it but you are guaranteed somewhat cushy position for 5-10 years.
No, not an exception.

It is common for people to become contagious before symptoms. But contagiousness is not a binary on/off switch. As your virus load increases, you get others sick more easily. And the result is that most people continue to become more contagious as they develop symptoms.

But there is also a second factor. We have multiple layers of immune defenses. COVID is very good at getting past our initial defenses and getting us sick. Over and over again. But if you've had it once, you have the ability to ramp up against it quickly in a way that limits how sick you can get from it. So if you've ever had it, it is now much less deadly for you. (Unless you become immunocompromised.)
My understanding was that they were buying silks and spices from abroad with silver and gold at higher and higher prices, so that whatever silver and gold they were able to obtain, ultimately flowed out towards the East, causing inflation. I don't think it was a core issue, but it was something that contemporary Romans considered very alarming. They felt that Rome was losing it's Roman-ness, and pouring money into other countries. How important that was in the grand scheme of things is debatable. If you have good resources to share, I'd like to read them!
F* existed before Project Everest, but Everest did power a lot of its development.

We have built verified systems and components in the TLS ecosystem, including parts of TLS, QUIC and related protocols, and continue to do so: https://project-everest.github.io/

Some of it is deployed in production systems:

* Verified parsers in the Windows kernel and elsewhere: https://www.microsoft.com/en-us/research/blog/everparse-hard...

* Verified crypto in Linux, Firefox, Python, ... https://github.com/hacl-star/hacl-star
No, not particularly, (although I would need to see more to know if the first claim is true) and what you just did is just a couple of sentences.

I just don't like it when people link to potentially-polemics to be waded through, rather than do what you did in your most recent comment. If you disagree with that, fair enough, but I didn't anticipate that that preference would be an emotive topic for you. Apologies for any upset caused in that regard.
Post merger I went from a $25/month t-mobile plan to a $15/month t-mobile plan. Not entirely apples to apples, but close.

My spouse went from $30/month to $25/month on Verizon for more data.

And there's lots of options at https://prepaidcompare.net/
I mean, surely if you are doing something that requires this level of precision, you could just ask the user to input its current known location? I doubt that even if the user misdialed by ten or twenty meters the difference in compensation would matter (or even if the camera was actually moving around).
There's some things here I don't understand well enough... but is there a difference between saying "OSM doesn't use WGS84" and "OSM uses WGS84, but some of the data is not imported accurately"? (apart the issue of plate movements over time).
"Nvim 0.10 can now use the OSC 52 escape sequence to write to (or read from) the system clipboard."

This is a big deal! (it shouldn't be, but it is)

My main complaints about vim/emacs in the past was at the sheer complexity of getting something that should not even be a concern (clipboard integration) working properly, when other text/code editors did not have this problem at all.

Searching online, it seems like tmux has some nice documentation related to OSC 52 usage:

https://github.com/tmux/tmux/wiki/Clipboard

I will be playing around with this for a bit to understand it more. But honestly, this is the sort of thing that should "Just Work TM".

"VTE terminals (GNOME terminal, XFCE terminal, Terminator) do not support the OSC 52 escape sequence."

https://gitlab.gnome.org/GNOME/vte/-/issues/2495

That's a shame, but I'm not against using a different terminal emulator. Up until now I did not really have a good reason to.
Actually it's not a breaking change.

You can switch the uuid generation, wait a little bit and add an.'archive' switch which will use the old and slower query when the date is old.

Should definitely be helpful resource wise for a lot of people
Decades at least
I want Gary Larson to take a crack at "A brief history of the first planetarium"
so he was good at marketing
Hi Mr Presler,

I don't know if you realize that you've preached the exact same argument here on HN a hundred time for the past 6 years at least, without ever adding nuance after the many comments you've received on the topic here. You're not entirely wrong, but also far from entirely correct as half the world interested in the topic has had many chances to show you over the hundreds of time you've made that argument here.

And what's fascinating (besides your relentless preaching) is that the complete absence of any evolution in your position after all this time show that you haven't learned anything from these discussions with others, nothing.

That really sounds like pathological close-mindedness at that point. It means that everybody is losing there time when engaging with you, and that's really something you should try and think about.

Regards
One does not send Kurt Gödel to do this. He had to be coached during his citizenship test. “1947, he took the test to become a U.S. citizen, sponsored by Einstein and their mutual friend, the economist Oskar Morgenstern. When he appeared before the judge, after answering the first questions satisfactorily, he told the judge that he had analyzed the U.S. Constitution and that it had a drafting problem, which allowed the U.S. to legally become a dictatorship or a fascist state, as had happened in Austria. Gödel’s two friends were horrified because they saw that his citizenship was in jeopardy, and he could be deported to Europe. The judge himself stopped Gödel by uttering the pragmatic phrase “Oh God, let’s not get into this” and ending the examination before the logician could say anything more.” [1] https://english.elpais.com/science-tech/2023-07-01/kurt-gode...
> was dismissed with prejudice; SCO filed an appeal later that month.

Doesn't "with prejudice" mean no appeal?
Check out US Mobile. They follow a similar ethos of prepaid plan, but you don't necessarily even need to sign up for months at a time like Mint.
A great story. Too bad the ending is a dud.
I'm aware and i think its not okay. Its incorrect software.

And yes, that difference is significant because the F-keys, Ins, End and companions won't work.
> Probably read a byte of the input at a time.

Which is an important bottleneck; SIMD-based lexers give you another order(s?) of magnitude of speed up. But writing it by hand is just... ugh. The guys behind simdjson did that but not everyone is as great at those things as they are.
Mint, or at least some time back.
I remembered the last time I checked, the code page does not even follow the standards (maybe the Shift JIS). Some of the characters are missing in that character set.

Hope they can just use iconv directly.
Me neither, having started to program when this is all we had, and graphical displays costed a fortune, I really don't get this desire to live in the past.
The Everest project did publish a proved TLS implementation: https://mitls.org.
And at least the EverCrypt* cryptographic primitives has been used outside of academia.
Anecdotally, i'm now paying far less then I used to for wireless service. $26/month on verizon's network for two lines through US mobile.
We might just have to agree to disagree, then. As someone with a background in robotics/model deployment I don't think a single other business is committed to AI in the way Google is. Seriously, is there anyone else more focused on quality local models?

- OpenAI stopped releasing public models a long time ago; their most recent local models are borderline useless (gpt-neo/gpt-j)

- Meta is also performing quite well but relies on third-party training hardware and building a lot less in-house

- Apple is forcing their users down CoreML or bust, apparently with the expectation of busting if the OpenAI deal rumors are true

- Microsoft is just really happy to be here and wants you to know they support this whole "AI" idea

So... who else is left? Projects like Falcon or Mistral are cool but it's hard to say they're "crushing it" when they're effectively being crushed by a lack of funding. The only business that has unshacked themselves from Nvidia to produce actually open, actually usable local models is Google. I don't like Google as a business, but if you look at them and say "they could do better" then I'm really curious who your better example is.
> I do wish they didn't charge 2x or more to host a server at home though (business account).

How is this enforced? Is it an IP address (instead of NAT) you're paying for?
TRIM != GC

There is no purpose in sending TRIM after each delete: at worst (with a naive implementation) you would get a solid write amplification and at least your drive would be doing GC instead of serving the data.

Most of the time it's just sent every once in a while, often triggered by the schedule and/or the amount of writes[0].

[0] my current machine says it was 9 days since 'the last retrim' and T440 which 'works' as a glorified dashboard (ie minuscule writes overall) says it's 24 days.
Google and YouTube seems pretty good. YouTube is the most old school webby experience I have these days, although now in video form, now that the web web is so walled off.
Two brothers arrested for allegedly stealing $25M of crypto in 12 seconds
I just switched to US Mobile and so far it looks very good. You can even choose between Verizon and GSM networks.
Dad Jokes with GPT-4o
"... lay it on me.

- What do you call a giant pile of kittens? ...

- A "meowntain""
This is weird, because my understanding and experience of fundraising is that serious prospective investors never get deals from cold inbound slides; they've been introduced, and, most likely, have been talking to the company for months prior to a "formal" start to fundraising, in "no, no, we're not raising money yet, just looking for advice" mode, waiting along with 5-10 other investors for someone to preempt.

This is like a whole mythology constructed around the idea that instead of networking and preparing, you apply to VCs as you would to a college. Does that ever work? I'm seriously asking. (YC doesn't count!)
The purpose of language is to facilitate communication. Your observation seems trivial at best and tautological at worst.
Can Good Benchmarks Contain Mistakes?
that "hover-coat" skiing photo though...
The associated email address, ddt@idcube.idsoftware.com, was for Dave Taylor who worked at id from 93-96. So about 3 decades.