skysight-inc/HackerNews huggingface dataset:
This is amazing content marketing. Developers are an obvious target niche for such a product. Exposing internals of the software in a way HNers enjoy sounds like a great idea, would love to see if it worked as a traction experiment.
> they can put the price tag they want on it. Want they spend 100$ on a trackpad, they can, but a PC manufacturer can't

Why can't they?
There needs to be more of a consequence for large companies who create platforms like this, then get a bunch of developers & users dependent on it, and then pull out the rug.

And not necessarily government regulations. Maybe a contract that guarantees operation for X number of years should become the standard, or even better, an explicit agreement to open-source discontinued products so the community can continue running them.
Google's HR: https://www.youtube.com/watch?v=mxD-5z_xHBU
[not part of greptile]

I've given it a fairly serious shot and my conclusion is that building IDE hooks is seriously depressing. IntelliJ deprecates APIs constantly and the docs don't really keep up.

And then there's the total dumpster fire that is trying to support GPU acceleration on multiple platforms.

Unfortunately it's easily 10x the work to do this kind of thing local only.
I replied to a reply to you in a subthread with this same info, but since you’re both sorta asking the same thing, I’ll post it here for you also.

https://netboot.xyz/

https://github.com/netbootxyz/netboot.xyz
Seriously, so cool. I love watching my fellow nerds debate data types online.

On a side note, is there a Bitter Lesson for datatypes, the way there is for algorithms?
This reminds me of John Berger's work describing the modern world invading the life of peasants in France, such as Pig Earth, reviewed here:

https://www.nytimes.com/1987/04/05/books/love-among-the-peas...
How's this different from Adrenaline or Cursor or Bloop
YMMV, but all humans are social creatures, going back to our primate ancestors. Isolation harms health, mentally, emotionally, and physically; at its extreme, such as solitary confinement, it's considered torture. Note that almost all humans socialize and live among other humans (compared to animals like bears which live alone).
This is a great story that highlights how human beings working together can reveal new insights. I love how the author covers each individual's contribution to the discovery.

It's also interesting to see how critical the human element of this story is, and how incidental the "AI" piece is. A computer system employed statistics to exploit (but not comprehend) a pattern in a high-dimensional dataset. This led researchers to examine the relevant dimensions using traditional data visualization tools.

Once the nature of the pattern was characterized, other mathematicians were able to use their insight to find deep connections to other areas. These interconnections are now blossoming.
It's just the default, it can be changed.

And it wasn't free on my host me either :). Indeed 8080 is maybe not the best port to select for this app, because it is more likely used than "some other" port.
this seems too obvious and a waste of time to read
During the outage it was cheerily reporting no problems
HN is always struggling.

Couldn't use it two nights ago, IDK why.
nVim has interesting ideas, but it doesn't yet have the level of stability that I require in my daily driver text editor. I have colleagues that heavily use nVim and note that it crashes occasionally. While you can make pretty much anything crash, there's a watermark of bullet-resistance I expect, as it were.

Also... Why is this post flagged? Did someone merely dislike the title? it's a decent question IMO.
medium is the 2024 expertsexchange
I find it ironic that at the time of writing the comment before yours is the one that complains about "simping for big business" (ie, overfocusing on the benifits to the wealthy) and then your comment is mainly lauding the benefits to the people who can afford international travel.

Community discussions are odd beasts.
Siri is embarrassingly bad. Sprinkling magic LLM bits on top of it would make it less bad. That much is clear, even if there are implementation details to get right.
Every save would work. You just ("just") need good caching. Cursor nails this. https://twitter.com/amanrsanger/status/1750023209733464559
It's a quite distinct GUI - there's not really any screenshots in the official materials, but if you do a Google image search for "ipe" "latex" then you can see what it looks like.
The world you are describing no longer exists and has not existed for some time.
maybe is localized. not seeing our infra down
It has an interesting similarity with IBM's ZOWE web UI. Is there any commonality in the building blocks?
And then there's the Voder (1939): https://www.youtube.com/watch?v=TsdOej_nC1M
I've talked to folks early in their careers at toxic/crappy companies who don't realize they should leave, because they're told "well we're a startup, of course we can't afford X", when X is something akin to items on this list.

These items may seem obvious, but in the same way that someone in a toxic relationship may need to be told "it's a problem if your bf/gf monitors your text messages", I can see this being useful for some folks in their first jobs.
I do the same for Youtube links to Invidious.
Super cool.. will def be using it for fun.
I just want the integrated touchpad of my Dell Latitude 9330 to work decently. The libinput driver is just crap with this model, to the point that I have to connect an Apple Magic Trackpad, and that works great. Synaptic driver works better for the internal one, but apparently it is old and deprecated and everybody writes that we should not be using that.
Both show 1032 days. Do space missions depend on such fuzzy defined time stamps as (calendar?) months? I think time dilation would be a much more serious factor.
I’d say—yes, very much so. Pointer movement is damn near perfect now on the Dell Precision I have at work. Clicking unfortunately not so much, but it’s mostly bearable.

Also, at 15×9 cm, it has over 5 times the area of the teensy trackpad on my old ThinkPad R61, which is just 5.5×4.8 cm.
From their linked paper:

> Rust’s powerful macro system permits Ascent to be compiled uniformly with the Rust code it’s embedded in and to interoperate with arbitrary user-defined components written in Rust, addressing a challenge in real-world use of logic programming languages: the fact that logical programs are parts of bigger software systems and need to interoperate with other components written in imperative programming languages.

https://s-arash.github.io/ascent/cc22main-p95-seamless-deduc...

Another benefit, mentioned at the end of the original page:

> The feature wasm-bindgen allows Ascent programs to run in WASM environments.
Is openGl used here at all for rendering?
Also, eating 8ish red cherry pits (chewed/crushed, not just swallowed) leads to cyanide toxicity in an average weight human adult.

Or just 4 if they happen to be Morello cherries.
One thing that might make a difference is that for a long time now, Apple trackpads are actually touchscreens sans screen. They use the same multitouch hardware as iPhones and iPads, which of course are precise and responsive.

I would guess that these are probably a bit more expensive than your run of the mill trackpad from e.g. Synaptics that ends up in the typical laptop.
Is that a bug? I interpret it as from midnight 2016-04-04 to the first time which has the date 2019-01-31. That includes the full day of 2016-04-04 but nothing from 2019-01-31. This is contrasted with the opposite direction which is midnight 2019-01-31 going backwards, thus not including 2019-01-31 and all the way up till the first time which is 2016-04-04 non-inclusive.

Date time arithmetic is weird ;)
Maybe emergent, to some extent, but not explicit.
What editor were you using to compile code?
Agree on inaccuracy, but I don't think that this reduces its value as much as you posit.

Ultimately other forms of static analysis won't guarantee my code is good, but I still use linters.

Similarly, tests (unit, integration, etc..) won't prove that nothing can go wrong - but I'm not going to stop writing them.

I'd love to be using a "perfect" language which could prove my program correct at compile time, and would presumedly also make static analysis borderline magical for these use cases - but until that's an option I think there's a place for all these tools. (Beyond simply ticking compliance boxes)

With all that said, false negatives are indeed a hard problem - and one not helped by large orgs having painful bureaucracy around false _positives_.

Some of this appears to be the fault of tooling (need better filtration, deferral, weighting) but much of it seems a side effect of institutional silo's rather than a lack of perfect analyses.

TLDR; pobody's nerfect, but more info generally better than less
I've worked in places which required every hour worked to be accounted for. This was slightly annoying, but also surprisingly informative sometimes. We usually ended up on accounting the time by the project basis, but I can imagine doing this on the ticket basis, especially if tickets are on the bigger side.

Of course with full time accounting, you want to either have some of "overhead" ones ("self-improvement", "lunch", "mandatory training", "all-hands meeting", "writing down all the tickets"), or you silently inflate logged time of real tasks to account for the overhead.

(I can also imagine some sort of dystopian organization where clueless product managers push the feature tickets, and management requires everyone to only work on the tickets. This sounds pretty nasty, but I don't think it will last for long - either the system will collapse from lack of maintenance, or people will start to pad the tickets. "Yes, it was absolutely necessary to upgrade node.js to the latest version in order to change background color of the login button. There was no other way")
The core issue is that the very people screeching loudly about AI safety are blithely ignoring Asimov’s Second Law of robotics.

“A robot must obey orders given it by human beings, except where such orders would conflict with the First Law.”

Sure, one can argue that they’re implementing the First Law first and then worrying about the other laws later, but I’m not seeing it pan out that way in practice.

Instead they seem to rolled the three laws into one:

”A robot must not bring shame upon its creator.”
JEDEC isn't a memory technology monopoly or anything, they're just a standards organization. You have a situation where lots of companies need to make products that interoperate, but interoperation is complicated in electrical engineering. There are a *lot* of ways to get a memory interconnect wrong.

So the solution is to pick (or create) a separate, notionally independent body staffed and supported by representatives of all the relevant stakeholders, and have them write "standards" that everyone agrees to adhere to. The body doesn't invent the technology, that happens at the individual chip companies. They then present their proposals to JEDEC[1] and everyone argues and agrees on what will go into GDDR19 or whatnot. And JEDEC then publishes the standards for all to see.

[1] Or whoever, JEDEC does DRAM, but there's a USB Consortium, Bluetooth SIG, WiFi is under IEEE, etc...
I'm talking about what it means to be homeless and not owning anything.
Junk pages...are those the 5 or 6 pages labeled "Sponsored" on every search?
> I've seen the way the winds are blowing wrt to the DS job title

Can you elaborate on this?
> Why is it a race competition to point out when white people are at a disadvantage, but justice to point out when black people are at a disadvantage? It seems you have biases of your own.

That's all part of the same old routine, almost out of a script. It's not hard to understand the difference if you want to. It's your business, but if I find myself following someone else's script - I'm human too; I can get caught up in things too - I look carefully at my reading and my reasoning.
No worries, this guy is in debt like you!

"Schlussendlich schaffte ich es nur mit einem Kredit von meinem Onkel, die 5.888€ für die BahnCard aufzubringen"

"I only managed to raise €5,888 for the BahnCard with a loan from my uncle"

source: https://leben-im-zug.de/mein-jahresrueckblick-2023/
Yeah your product should NEVER confuse an auth service being down with a failed auth. This is really terrible by FB.
For what it's worth it does require a meta account, but not a Facebook one. I refused to buy one while it required a Facebook account since I deleted a couple of years ago. Once they made the change I figured that was an OK compromise. I just found out today during the outage that my headset won't work if I get signed out of my Meta account. That was an unpleasant realization, although I suppose it's partially my fault for trusting Meta not to hamstring the hardware their selling.

It's the equivalent of finding out that if Microsoft's auth servers go down no one with a Windows PC can use it since they can't authenticate. I'm fairly displeased.
OK, I see, but it shows a different value for the absolute number of days, that's weird.
The white paper answered me right in the abstract!

> …written in Rust, addressing a challenge in real-world use of logic programming languages: the fact that logical programs are parts of bigger software systems and need to interoperate with other components written in imperative programming languages.
London Brew is also a very fun album. A lot of elements of BB are clearly evident but they ramp up the chaos and make it more "scary", while incorporating some things like electric guitar and more modern production.
Ideally people (devs) would remember companies like that and avoid them in the future when they decide on which platforms to build their next project or which APIs to trust.

But in reality people (me included) will be annoyed today and forget it tomorrow, when a cool new platform is announced.
I've seen old spec laptopts used daily for 10+ hours for ages with no issues. They have protections or should have, depends on what brand you go for. Stay with known brands and you should be ok.
>Oculink is basically free:

Oculink GPUS are not. Far more expensive than PCIe ones.
Interesting. Can you expand a bit more on how you're seeing these?

On both desktop and mobile, empirically I observe that Neal's front-end sorts `first` and `second` alphabetically before submitting them to the server, so that even if you (drag, tap) "Flattened" and "Bulldozer" in both orders, it will send `/api/infinite-craft/pair?first=Bulldozer&second=Flattened` to the server in both cases.

Furthermore, when I use Chrome's "Copy as fetch" and paste it into the console, so that I can manually change the URL to `first=Flattened&second=Bulldozer`, I still observe that the server responds `{result: 'Road', emoji: '', isNew: false}` in both cases. The null hypothesis is that the backend server is also sorting the inputs alphabetically before consulting the cache/LLM.

However, "Bulldozer + Flatten = Land"! I discovered that by accidentally mistyping "Flatten" instead of "Flattened" the first time I manually edited the URL. Is it plausible that, during whatever you were doing to generate these, you just mistyped one of the inputs... and it happened as many as eight times?
The Las Vegas metro area has a population of 2.2 million.
UNLV isn't exactly dinky.
I guess I don't what's funny about a public land grant university having a post-doctoral research fellow.
Insightful, and reminds me of Kierkegaard:

Man is spirit. But what is spirit? Spirit is the self. But what is the self? The self is a relation which relates itself to its own self, or it is that in the relation [which accounts for it] that the relation relates itself to its own self; the self is not the relation but [consists in the fact] that the relation relates itself to its own self.

Would this specification suffice for a sentient datalog program? Or is datalog itself sentient?

You've captured my intrigue, and now I want to explore datalog, so thank you for writing the article.
Yes that's the news here, it now does all the math for you. Other search engines don't know how to do it -or- they only do the first step. Your example doesn't do what I asked. I want input to be converted to hours, minutes, and it should ideally give me both outputs: additional remaining seconds and the decimal. Wolfram Alpha's output has what I want, but it also adds what I don't:

Input interpretation

convert 5209 seconds to hours, minutes

Results

1 hour 26.82 minutes <==OK

1.447 hours <==Not asked for

Additional conversions

1 hour 26 minutes 49 seconds <==Acceptable interpretation
Google CEO Sundar Pichai Forgot the Most Important Rule of Leadership
Being a good writer isn’t some useless skill in a basic office job. I think you are reading some implication into his statement that isn’t there, like he’ll only try to become a famous writer, indefinitely, into homelessness if he fails.

Maybe the plan was to take the unlikely but high payout chance (successful writer) and then the failure-path is basic office job or something.
In the 'olden days', when external displays and projectors were scarce, we used this feature for collaboration/presentations in non text-heavy interactions. Four people can sit at a table around it and they can all see the screen when it's flat on the table, albeit one of them would see it upside down.

Now I mostly use it for comfortable position in bed, as many others say.
uhhhh

In 1956 they thought they were going to be on the path to AGI in no time.

The people who keep propping up LLMs, the thing were talking about, keep mush mouthing about AGI.

Candidly, if you system becomes suddenly deterministic when you turn off the random seed, its not even on that path to AGI. And LLM's run on probability and noise... Inference is the most accurate term for what they do and how they work. Its a bad way to pick stocks, gamble, etc...

Calling it AI is putting lipstick on the pig.
> I thought this only happened in history books.

Just like western EU governments apparently. It turns out governing a country isn't just about balancing an excel spreadsheet of incomes and spendings, which seems to be the only thing our elites have bee trained for in the last 40 years
Just checking my intuition: could we still get a speedup via pipelined execution and branch prediction?

From what i see reading https://en.wikipedia.org/wiki/Multi-channel_memory_architect... different channels could, in theory, be used "autonomously of each other".
Yeah that's fair, I can see how the gushing might be annoying to someone who isn't interested.

I tend to just ignore or hide the posts I find very annoying, but I understand that isn't necessarily how everyone is.
Related: The "missing" graph datatype already exists. It was invented in the '70s https://news.ycombinator.com/item?id=39606885
A lot of use cases are cost-limited. Dalle3 makes great images but costs $0.12 per image so it would get extremely expensive at scale (1k generations is already 120$). The cost is by gpu time, the faster you can generate it the cheaper it is. We can get images under 250ms now, which is fast enough to fit in a web request.

Some use cases might be generating profile pictures or banners for users or unique profile pictures for bots in online games. Discord, steam, social media, whatnot, you could just type what you want your profile picture to be and make it on the fly. They're small, aren't expected to be extremely high quality, and cheap enough.

Testing on https://fastsdxl.ai/ - "high quality profile picture of a cartoon cat holding a Bouquet of flowers"

To be clear it's not perfect, but this is a fairly complex prompt and I find the majority of seeds would be "good enough" for thumbnail profile pictures. I think we're almost there for "cheap good enough" usecases.
Why? Folks there still talk about async and SQL are some great new technology
I mean, I take the comment about supervillains as mostly a joke, so I don’t really feel a need to strictly interrogate it for factual accuracy.

But also I do think it fits. Looking at super villains, they’re usually just powerful people with slightly unusual property, who also happen to be evil.

Lex Luthor’s company Lexcorp was an aerospace company. In the first Superman movie, Luthor was a pretty weird and relatively unremarkable guy. In the James Bond movie Tomorrow Never Dies the super villain was just a guy with a global media company who created calamity and murder so that he could report on it first.

Nuclear power and radiation have often been themes for comic book heroes and villains. I think it’s reasonable to read the (misleading) headline and think “oh great now Bezos owns a nuclear power plant, he’s going to become a super villain” as the sort of non-serious comment prevalent on the internet. People say the same about Musk all the time.

I don’t think it’s meant to be taken literally.
We all know the "Year of the Linux Desktop" meme, but this deserves an answer.

I don't think linux will overtake apple on the desktop (which actually includes notebook and laptops) but the current state has been good enough for a few years. And I'm not saying it is good enough only in terms of it being ready or well rounded, I mean in terms of marketshare. Linux has surpassed the 4% mark in globalstats last month and combined with chromeOS (with which it share many drivers) had peaks above 7% last year; it is very likely that the record will be broken this year. Of course, globalstats may be inaccurate, but I guess it is a good picture of the trends.

This has had an interesting consequence: it is no longer a good idea to ignore linux on the desktop; at least not for hardware vendors. It's been a long time since I last saw a consolidated laptop with anything not working out of the box. In the software side, linux is still ignored by some big name vendors, namely adobe, microsoft and game studios. That point is still sad.

Now, considering most developers software are multiplatform and, besides games, most entertainment runs on the browser, the last obstacle is still software. As linux' usage grows (and although very slow, it grows increasingly faster), vendors will eventually have to change their minds about linux on the desktop. Nevertherless I don't think that will happen before the end of this decade, also I don't think will see linux beating windows or even mac on the desktop. But, since I'm not dependent on any non-multiplatform software, I really don't care: the current situation (even in terms of marketshare and the way it has been continually improving) is good enough for me and has been for some years already.
> But this doesn't actually address the graph "datatype".

This is correct. What is shown is in fact a programming environment with query engine/optimizer using an internal DSL. That is cool, and that is something you see with Sql, Tensor, etc but that is a full-blown thing.

Not a datatype.
Companies and countries tend not to report catastrophic methane leaks (or really any contamination event) unless they're caught in the act. It's absolutely staggering the rate at which methane leaks are identified now that satellite data is being analysed and published.

It'd be much more efficient all round for firms & countries to just test locally & report their methane leaks, but they can't be trusted to do so.
Extensive recent discussion: https://news.ycombinator.com/item?id=39548088
If you're interested in things like this, you might like to read the paper of Diaconis, Holmes, and Shashahani on sampling from a manifold. https://arxiv.org/abs/1206.6913