skysight-inc/HackerNews huggingface dataset:
It's an extremely common misconception that because GPUs have matrix matrix and matrix vector products in the standard, that means GPU companies must be accelerating them.

In fact, because it is SIMD across the shader cores already, you can't necessarily do this. Some GPUs do, some don't
In addition to all of the reasons so many have mentioned, my favorite reason is this setting which allows me to easily use my preferred fonts on all websites: Allow pages to choose their own fonts, instead of your selections above

De-selecting the box and specifying my preferred fonts is the absolute first setting I change on every Firefox installation.
We might eventually get a good LLM to SQL tool, but my experience with them is that they make slick sales demos, but are worse than useless in the real world.

You have to know SQL to use them. They produce a lot of code that looks correct and produces correct-looking results with subtle errors. So you can't just hand it to someone who doesn't know SQL and let them query the database, but that's the use case where something like this would be valuable. You have to be experienced with SQL and know all the peccadillos of the DB you're working with to check the query and output for correctness.

For someone like me who is experienced with SQL, I can write simple queries just as fast as I can figure out how to prompt the LLM to get what I want. Where a tool like this would be really helpful is if it could help me write more complex queries more quickly. However, it is non-trivial to get the LLM to generate complex queries that take into account all the idiosyncrasies of your specific data model. So again it ends up being much faster for me to just write the query myself and not involve the LLM.

Where I think LLMs go wrong with SQL is that to write good SQL you have to have a deep knowledge of the underlying data model, and the LLMs aren't good at that yet.
California legalized stem cell research ~20 years ago, https://www.nytimes.com/2002/09/23/us/california-law-permits...
This led to CA being one of the world leaders (funny that a state can be a world leader, but that's CA in a nutshell) in stem cell research and applications.

I worked in a few labs that did stem cell work and we got really attached to some of them. Like, "here's a microbrain I've been growing for 3 months", you start to empathize with them a bit.
Yes, this is precisely why I love the design so much. I've been waiting for an "edgy" non-smooth car since the '88 Sentra...and here it finally is. Thank you Elon and Tesla, yall remain the only car maker with a sense of humor.
More convenient, more location-accurate, can integrate with the OS like widgets.

What a terrible take. People like apps, we should make apps private I stead of telling people not to use apps. FWIW, websites can gain access to your location too, so plenty of people will still be tracked.
How the media industry keeps losing the future
thanks again for the comments, they've all been taken into account now!
Corruption? In CA? Never!
Apple bought a weather company for this purpose. So probably Apple’s honestly. Everything else needs to make money somehow while freely giving you data.
over USB-3 it's a lot better than "slow but it kinda sorta works", like drive a 4k display reasonably well kind of good.
At least they didn't throw it onto some wholly under-specced machine, then yell at OPs because the response speed was measured in days.
Giving up the IP is against the GDPR.
From what I remember, the US's nuclear weapons make a place uninhabitable in terms of weeks, not years. But, point still noted.
> AWS has budget alerts right?

Nope. Not in real time, they don't.

You can significantly overspend before the warning comes in.
> 2. United owns several physician networks (totaling 90,000 physicians), who then determine what your care should be—no conflict with the fact that they pay the bills...

I disagree that this is necessarily a bad thing. One of the critical problems with our current model is the Fee-For-Service. When the insurance company is separate from the payer, then the incentive is to treat patients like revenue. A significant part of our ballooning costs are due to this fundamental miss-incentive.

When the payer and provider are the same entity, that is the one of the only effective mechanisms to control costs.

I've thought about this a lot and I think that there are 3 critical changes that would fix the whole fucking thing:
- Insurance being one country scale pool of capital - Actually average out the risk across lifetime
- Every provider must be the payor - Incentivize hospitals to manage costs
- Individual vouchers to join a network - Give the patient agency to join a care network that manages their health well.
Yes, example: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10418799/
although I am not sure if T cells are considered stem cells or derived.
Water is famously not soil.
Richard Lewis Dead at 76
Sorry I might be dumb but why do we need this?
Ask HN: LLM Logic Programming Research?
Is there any research into
using something like Transformer but for direct logical inference?

I have found papers which discuss using LLMs to transform natural language into something like Prolog and run logic as a separate and traditional symbolic engine.

I have a hunch that it would be more powerful to skip the generation step and somehow integrate symbolic reasoning at the attention-wordvec level.

Recommend any papers?
> I believed in the project and it did a lot of good work but here, ultimately, was the problem: leadership couldn't decide if the future of Internet delivery was wired or wireless. If it was wireless then an investment of billions of dollars might be made valueless. If it was wired and the company pursued wireless, then this would also lose.

This one is particularly amusing because the difference is primarily a business distinction and not a technical one.

Here's how your tablet gets internet via fiber: There is a strand of fiber that comes near your house and then you attach an 802.11 wireless access point to it. Every few years the latter has to be replaced as new standards are created.

Here's how your tablet gets internet via 5G: There is a strand of fiber that comes near your house and then the telco attaches a cellular wireless access point to it. Every few years the latter has to be replaced as new standards are created.

They should have just built the fiber network and put cell sites on some of the poles. Then you sell fiber to anybody who buys it and cellular to anybody who buys it and you don't have to care which one wins.
They could be using iridium. When we're talking about aliens, we're already in the realm of hard-to-imagine, but it's worthwhile, I think.
This is in the correct ballpark. But 0.9c is crazy fast. [Expanse spoiler alert]

I love how they use this mechanic for storytelling in "The Expanse". The rebels of the belt threaten earth by slinging rocks at it at really high speed. Seems a very realistic way of interplanetary war. Why not bend some fast moving rocks to your enemy?
> Considering Klarna's business is in lending I could see some regulatory attention here in the future.

I hope they've solved the hallucination problem because I would be terrified to trust LLMs to handle customer service issues in a heavily regulated industry.
An Interesting Proof
Seems like some kind of novel approach. Looks right to me. But my math is okay, so I need better eyes.
Pedantic nitpick: it's not nonsense if the common person understands the meaning. Your average english speaker uses "decibels" to mean "dBSPL" since most people aren't aware of the other ones.
It would be cool to have the option to use the OpenAI API as well in the same interface. http://jan.ai does this, so that's what I'm using at the moment.
Yeah, a lot of people are saying that it's a question they think about.
Attaching capabilities to pointers is sort of what CHERI does, isn't it? And the presumably CHERI can have better performance thanks to the direct hardware support. (Your manifesto mentions a 200x performance impact currently.)
Then what about Starliner? Here's a video of the landing from OFT-2 [1] two years ago, on the way back from the ISS. It was in orbit and landed on land in New Mexico. And while they are doing this as part of a NASA contract, the spacecraft and mission control were both from Boeing. I don't see how they don't qualify

https://www.youtube.com/watch?v=gPFS8Bp643o
A friend of mine had a girl he was dating drop him because she couldn't understand why he didn't text her all the time- never mind that he worked at a Navy facility that didn't allow cell phones.
MediaWiki's Excimer Profiler – 3M stack traces per day
For anybody looking into VATSIM and alternatives, the pros of PilotEdge are that there is guaranteed ATC staffing with paid ATC (not volunteers like on VATSIM), controllers are likely higher quality on average, and you will be making all of the radio frequency changes you would in the real world (although often talking to the same controller just on a different frequency). The pros of VATSIM are much wider ATC coverage (PilotEdge is western US only, VATSIM is global) and much higher pilot volume (PilotEdge has 16 pilots online right now).
Or simple lights that disrupts sleep in the forest.
The true cost of food is far higher than what you spend at the checkout counter
When I was in the military cell phones were extremely new, but I honestly don't see why most commands don't say "leave phones and other electronics at home when coming to base" and then you just tell anyone who needs to contact you to call the command quarterdeck or whatever. Examples you just gave are good reasons to do this, much like how in the 90's during Desert Storm several people figured out (post-hoc, but still) that there were a buttload more pizza orders from government offices relating to the invasion of Iraq. I'm a former shithead officer, though, so it's easy for me to just say "ban the phones!" instead of trying to figure out a smarter solution. Maybe beepers will make a comeback, since you can't track a multicast, receive-only client?
They also trained 3B with 2 trillion tokens.

> The number of training tokens is a crucial factor for LLMs. To test the scalability of BitNet b1.58 in terms of tokens, we trained a BitNet b1.58 model with 2T tokens following the data recipe of StableLM-3B [ TBMR], which is the state-of-the-art open-source 3B model.

> [..]

> Our findings shows that BitNet b1.58 achieves a superior performance on all end tasks, indicating that 1.58-bit LLMs also have strong generalization capabilities.
I agree that the quantity of publicly available code isn't the most reliable indicator of someone's seniority.

My issue with this individual arises from the discrepancy between his public claims of significant expertise in the content he produces. He positions himself as a highly experienced developer, attracting a large following of junior developers who take his advice at face value.

I am trying to collect data points supporting his claims of seniority. For instance, his website prominently features a statement that he is the creator of the T3 Stack. However, a review of the contributor statistics for the T3 Stack https://github.com/t3-oss/create-t3-app/graphs/contributors reveals minimal contributions from him, which raises questions about the validity of his claims.
The simple answer is that it's too distinct from where we're trying to meet our users.

We're not anti-PRQL, but our users (folks in security) coming from Kusto, Splunk, SumoLogic, LogScale, and others have expressed that they have a preference for this syntax over PRQL syntax.

I wouldn't be surprised if we end up supporting both and letting folks choose the one they're most happy with using.
The big advantage of this project in my opinion is that it will pass functions it doesn’t recognize to the underlying DB.

With prql, if they don’t support your favorite operator then you’re out of luck.
The Stack v2 – dataset with 900B tokens of code
we (https://www.definite.app/) do this.

The SQL generation works well out of the box and works better as you update the semantic layer. The semantic layer includes things like joins and measures (e.g. aggregate functions) that you'd want standard definitions for. For example, you don't want an LLM creating a definition for MRR on the fly. All the semantic definitions are plain SQL.

quick demo: https://www.loom.com/share/a0d3c0e273004d7982b2aed24628ef40?...
That is not relevant to the question of “is this a memory safe language or not.” The language used as the implementation language does not dictate the semantics of the language being implemented, which is the thing being discussed.
Show HN: CriticalPath – Advanced Profiler for Android
I am excited to announce the project I am working on: an advanced mobile app profiler for Android. Its primary purpose is to optimize app performance and make it faster. Additionally, it serves as an excellent debugging tool.

The main distinction between existing tools, such as Perfetto and the Android Studio Profiler, is the ability to synchronize the trace with a video recording of your app. This allows you to see the app's UX alongside what's occurring within the app to identify what's causing slowdowns.

Another key feature is the ability to click on any slice and view the cross-thread execution path of function calls, tracing from a user action to the selected slice. This makes it easier to identify performance regressions: slow functions, suboptimal network calls, or functions clogging the main thread.

Additionally, we have implemented smart code instrumentation that has a minimal impact on performance.

I am one of the developers of this tool. The project is in active development and are eager for feedback from Android developers. You can try it out at https://crpath.app
My girlfriend is huge into tattoos, and has at least one that she doesn't like because the artist was shitty and the edges all bled. It's not that big a deal but I still haven't been able to get over that hump personally.

I just don't have any images or artwork that I have any sort of connection to that would make me want to paste it onto my body.
To my knowledge the keys are just standard RSA-2048 keys. It's not illegal for a program to support RSA-2048, and it is no concern of the program or its developers where I get my keys from. I could just as easily use these keys in any other program. Even if in some foolish way they made it illegal for Yuzu to support industry standard decryption algorithms in this specific kind of program, then Yuzu would simply require the users to manually decrypt the game beforehand.
With an analog system like Zettelkasten, a single index card is used to scrawl brief notes for a book. Ideas are expanded in separate index cards, the ends of which are to publish new, synthesized works.

I'm not certain a single index card could fit the entire length of Capital, or even every command from Absolute OpenBSD. So, there has to be some compromise over what notes to take and how much. That depends on the person's existing background and goals.

So we have that a book must be approached with an end, and not only to be finished; and that it may be something to explore again in a different expedition, as life and circumstances warrant.

And not even the book, but procedural acts like programs and surgery are not absorbed by scanning the text, but direct application in something: not so much of immediacy like surgery (!), but still practicable. (Deliberate) practice, practice, practice.

After that, if we are to share some useful measure, we may publish in a book or video course, but still we have source code or supplemental textual material, or even a novel or screenplay.

Doesn't that make a book a work too? It has a thesis, a central argument, page after page of support, scaffolding, references, an index; an appendix, selected answers, a dust jacket.

Reading a book is also an experience. The play of pages, the fiddling of corners, the closing after constant tiny interruptions. The opening again.

But we are left to our own devices, in the end: review, self-study, quizzing, writing about it, rebuilding the world manifest, finding time to consume again.
It is not affine transforms per se but rather the expansion into homogeneous coordinates that enables translation by treating it as if it's a shear that leaves the reciprocal dimension untouched.

> Rotation = multiplying by an imaginary unit.

This is also not quite right.

Rotation is multiplying by a complex number with a magnitude of 1 (or perhaps you meant to say "raising a number to the power of i"?)
It’s an issue I’ve chosen to have no opinion on. I’ve seen studies showing it reduced employment and I’ve seen studies showing it pressured all wages upwards without reducing employment.

In the end: IDK but it doesn’t seem like the best issue to focus on to help people.
Apple Orders 'Neuromancer' Series
Newsom is a sleezebag. Rumor is that he gives special tax considerations to his hair gel suppliers too.
> I think the authors do not understand ...

The authors are scientists from SETI, Berkeley, Oxford, and NASA. Probably they understand anything you (or I) understand about the topic, and quite a bit more. (A funny phenomenon is that if they posted here, starting their comment with 'SETI researcher here ...', we would all listen to them and ask questions. If they 'post' a paper to a journal, a paper they spent years researching and revising, alongside other scientists, we disregard them.)

Like many similar HN comments, I think there's a valid question in there. IMHO it's a mistake to immediately conclude that, perceiving some inconsistency, the other person must be wrong, obviously ridiculous, etc. That doesn't make sense unless I am omniscient: the inconsistency between my idea and theirs could just as easily be a problem on my end - much more easily when comparing my ideas of orbital physics with those authors. Here is how I have learned to think of it (using this example):

To me, it seems clear that planetary resonances explain the observed phenomenon. Obviously the authors thought of that; how did they address that issue?

Humility is truth, unless you are a god.
Are there similar efforts for other languages? Or could this be a starting point for a language-neutral, multi-board/microcontroller HAL?
What kind of scope?
>To be fair, that was what a lot of people thought about Apple making a cell phone. That they'd never compete with Nokia or Motorola

Not true. I helped cover Apple for a large investment bank before and after iPhone's launch. If anything, Apple was the one company that had the technology and market credibility to immediately make a splash in the market despite being totally foreign to it.

>and that US carriers would never give them enough control.

We did think that there was a real possibility of Apple launching its phone in conjunction with an MVNO. But this was again out of belief that Apple had the credibility to immediately have millions of customers switch to it as their carrier, not because Apple—of all companies—could not get what it wanted from carriers.
this about US not EU
would be a missed opportunity to not somehow tie in the headset.
The greenest car is keeping the car you have for as long as possible. Then replacing it with a used car. You could even get a bumper sticker that says "Rescue Driver" or "Who saved Who?" with a icon of a car if it would make you feel superior to the rest of the drivers on the road.
HDMI Forum Rejects Open-Source HDMI 2.1 Driver Support Sought by AMD
How many do you plan on selling?
Only way to avoid high processing fees is to get a merchant account and use product links from a virtual terminal that supports it.

I can help with that but might not be worth it if you are not making more than $500/m
It's worth noting that the reason the calends had slipped so badly is because it was Julius Caesar's job as pontifex maximus to handle the periodic updates to the calends that kept it in sync with the solar year. But he was too busy fighting in Gaul and having his adventures to bother with it for years, so the calendar slipped into chaos due to his mismanagement. He then went on to fix his screw-up, but he didn't just decide to fix the calendar, he was in a position where he'd screwed up so long he had to fix it.
The avenue towards making this a viable, routine cure for HIV is by performing a “transplant” of the patient’s own immune stem cells that have been genetically modified to carry the anti-HIV genes. That avoids (if done right) the horrific autoimmune challenges you describe, but like everything else it comes with its own technical challenges that are still being worked out. (I think https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4935568/ is a good review of the whole idea.) To me (though I’m not an HIV researcher by any means!) this sounds like the most promising shot we have at regularly curing the disease.
How do you handle unions?

I'm also having a hard time fully convincing myself of this:

> the allocator will return a pointer to memory that had always been exactly that type. Use-after-free does not lead to type confusion in Fil-C

In the worst case, this seems like you must simply never reallocate memory, or we're discarding parts of the type. If I successively allocate integer arrays of growing lengths, it seems to be it must either return memory that had previously been used with a different type (e.g., a int[5] and an int[3] occupying the same memory at disjoint times) or address space usage in such a program is quadratic, or we're not considering array length as "part of the type", i.e., we're discarding it. (I'm not sure if this is acceptable or not. I think that should be fine, but I'll have to think harder.)
Historical facts I consistently forget
There's definitely some definite integrals in the problem set.
> Making comments like "this is wrong, but I'm not gonna explain why" has no place here, imho.

Who are you quoting?
There are movies that intentionally break the montage and show narratives entirely stripped of its illusory power.

A famous example is “Jeanne Dielman, 23 quai du Commerce, 1080 Bruxelles” by Chantal Akerman:

https://en.wikipedia.org/wiki/Jeanne_Dielman,_23_quai_du_Com...

It was recently chosen as the greatest film of all time by the legendary Sight and Sound magazine, who conduct this poll among critics and other professionals since 1952. (“Citizen Kane” is still hanging on to third place after all these years.)

But cinematic fiction without its familiar causal trappings is a hard watch for most people, especially as attention spans get shorter and shorter in the age of TikTok. I don’t suppose “Jeanne Dielman” will suddenly be discovered by regular viewers.
Using red light would give hunters the ability to see where they are going and limit the impact on nighttime wildlife.

https://www.sepco-solarlighting.com/blog/why-wildlife-friend...
The emergence of decentralized finance (DeFi) has brought forth innovative solutions for asset trading and pricing. Among these, Uniswap has established itself as a pivotal platform, particularly in its role as a reliable price oracle. Its innovative constant-product market model, alongside other unique properties, positions it as a robust and theoretically sound source for on-chain asset pricing.
Unity uses quats in its object transforms?
> Asked directly about the bakery exemption at a press conference last year, Newsom said it was "part of the sausage making" of the legislative process.

Lovely. Don't look into it, it's how the sausage made, or rather, how the bread is baked. It's complicated and you wouldn't understand it.

> One might also wonder if McDonald's and Burger King will suddenly get into the bakery business.

Why stop there. Fresh bread at oil change places, at hardware stores, gas stations. Apple and Google will start selling fresh bread. Meanwhile Newsom will probably buy wheat and flour futures for the next few years.