skysight-inc/HackerNews huggingface dataset:
There are interesting theories about how to use constellations of Pulsars as galactic "atomic clocks". Pulsars are generally extremely predictable in their emissions and with a big enough constellation, you can do old fashioned triangulation to get relative distance between yourself and enough pulsars to sync to some sort of standard time based on synchronicities in pulsar timing.

I've not yet seen a full proposed standard for such a thing, but it's also not far from how GPS itself works and how GPS forms its standardized time, which is synced to Earth based atomic clocks but includes more relativistic effects. Most cellphones actually use GPS time rather than "atomic time" today, because they need GPS services in general and also because cell towers use a variant of GPS time in their communications with cell devices for complicated three dimensional dances like tower to tower hand-offs.

It's kind of neat how even "Earth time" at its most accurate involves relative effects and triangulation in some of our most used and trusted devices. (Even NTP sync of non-cellphones uses IP pings as an approximate for triangulation to try to reduce error in syncing a laptop or desktop to nearby atomic clock sources. Though at least today in most internet usage, the Internet Protocol is less impacted by relativistic effects.)
https://archive.is/u7Bp9
> Depending on correct glibc, dependencies being installed with the right settings, environment variables,makefiles being compatible with what your system has,having the right kernel version, etc.

Apart from having a bingo at what dependencies you bundle, AppImage makes no effort to actually solve this, where as Flatpak and Snap do. The reason glibc, environmental variables, dependencies is important is because the Linux desktop is not a single distribution etc, nor is there one arbiter keeping ABI stability.

You venture out onto a distribution that is not what the AppImage was built on and you see what a wild ride it is of if things are working or not. Incompatible curl versions, glibc, mesa, etc.

AppImage pretends to work like .exe on Windows, or .app on macOS, but it doesn't share anything similar with them at all. Both Windows and macOS have stable userspaces where things don't change, Linux on the other hand...

For refence, Flatpak solves this via freedesktop runtimes and Snap solves this by installing Ubuntu containers.
was in similar position -- rolled all previous employers into vanguard IRA, self directed; VTI, NVDA, JPM, COST, MRK...

have not regretted decision to take direct control
Wait CRTs can be bricked?
Fine if you like it, but this is literally the first I've ever heard of anyone suggesting that GNOME 3 was a favorable continuation of GNOME 2; you hear that far more about MATE.
That is a fair point, but is that level required to get better data than the VLA but maybe not imaging an black hole? It would be a lot of data to receive via radio especially seeing how the signal being received was radio to start. I'm not intimately familiar with the signal loss from listening under the blanket of the Earth's atmosphere
As someone who lives on the lizzy line, it's definitely far from perfect. It is improving however, and I cannot overstate the blessing that it has been on my life.
If he had something that would hold up to scrutiny, he wouldn't put it on substack but in a proper journal.
It's always very amusing how all of the blockchain companies wax lyrical about all of the huge supposed benefits of blockchains and how every industry and company is missing out by not adopting them and should definitely run a hyperledger private blockchain buzzword whatever.

And then, even when faced with implementing a huge, audit critical, distributed append-only store, the thing they tell us blockchains are so useful for, they just use normal database tech like the rest if us. With one centralized infrastructure where most of the transactions in the network actually take place. Who's tech stack looks suspiciously like every other financial institution.

I'm so glad we're ignoring 100 years of securities law to let all of this incredible innovation happen.
For a long time (still?) Kraken also refused to add SMS 2FA as an option due to its weak security.

I still don't see how that's worse than no 2FA at all, which was an option, but I appreciated that they were banging the "SMS 2FA isn't very secure" drum.
Pretty sure the point of the article is that elevators is an example of how the construction industry has become very expensive in US not that elevators in themselves are the problem.
This looks exciting! Will definitely be testing it out in the coming days.

I see you offer re-ranking using local models, will there be build-in support for making re-ranking calls to external services such as cohere in the future?
>M4 is faster.

Faster at what exactly? Where can I buy these M4 chips to upgrade my PC with to make it faster as you claim? Oh, it's only shipped as part of a very locked down tablet OS and restricted ecosystem with totally different apps than those running on the X86/generic ARM chips which can run anything you write for them? OK, fine, but then what's the point of it being faster than those other chip if they can't run the same sw?

Like I said, you're comparing a Ferrari to a van. It's faster yes, but totally different use cases. And the world runs mostly on people driving vans/trucks, not on people driving Ferraris.
I don't use it. Somehow I'm constantly checking how much time remains. Can't get into the flow. And if I do get into any kind of flow state, the last thing I want is to get interrupted by a timer.

I think it might work great for physical work. Remembering to stretch or take a break. But, for me, not for any type of brainy work.
You Shouldn't Write a DAW [video]
> Or AMD / Intel could just make more power efficient x86 core? What would they gain by switching to ARM?

I mixed some thoughts in rewrites. I hope Nvidia releases laptop/desktop SoC. AMD is getting better at x86 mobile, Steamdeck is pretty decent. I hope they keep getting better.

I'd like to see high-end integrated GPU on a SoC from AMD for laptops/desktops. That doesn't exist yet. It requires a discrete GPU and there's a kajillion issues that stem from having two GPU paths. Just give me one SoC with shared memory and a competitive GPU. I don't care if it's ARM or x86.

> Also developing a competitive ARM core in less than a year is pretty much impossible

What makes you think they'd just be starting? Nvidia has been shipping ARM cores for years. Nintendo Switch is an Nvidia Tegra.

Here's an article from October 2023 claiming that Nvidia is working on CPUs for Windows to ship in 2025. Qualcomm has an "ARM for Windows" exclusive that expires at some point in 2024. https://www.reuters.com/technology/nvidia-make-arm-based-pc-...
Thanks, this is the hint I needed.
> Trying not to beat a dead horse, but I recognize there may be many reasons people come up with for writing a new library instead of reusing one. My point is that it has a business impact to do it that way, because unless that library is open-sourced, the next time it happens it will be an overall loss for the industry due to solving the same problem again and again in slightly different ways.

One of the reason to use Lisp was to leapfrog the competition. See for example: https://paulgraham.com/avg.html Applications were written in novel areas by small teams. The commercial Lisp vendors had their development environments bought and be used by these teams, but they could not post success stories, because they were not allowed to mention the customer and its application. Here often substantial and complex software had been written, at the core of some new business venture. The reason this software code could not be used by, then was not that it easy to copy, but that the developers did not want to give their competitive advantage away.

For Lisp libraries -> if any library domain gets complex, there will be only a few ones which actually get used, because it was non-trivial to write. People might try to write simpler or new ones, but the better ones are hard to replicate and Lisp developers will tend to use those. For example the Lisp cookbook recommends one Regular Expression library: https://lispcookbook.github.io/cl-cookbook/regexp.html That's what most developer tend to use - it is widely ported, written in good style, well tested, ...

A strange thing in the Common Lisp world is that new developers stumble of old libraries. They expect libraries with lots of bug fixes and a long maintenance log. But the library hasn't much touched in since some years.

They detect then, that this library is "done". It has reached a state where not much needs to be done. This is also an effect of Common Lisp, where the language is mostly stable for several decades and code can be used for a long time without the need for a new attempt.
In the vegan community there is lost of discussion of animal products causing auto immune issues. A compromised gut lining will let intact animal proteins into the body. The immune sees the animal foreigners but also attacks our body; us being animals too.

Type 1 diabetes, aka childhood diabetes, is thought to be from casein in A1 milk; where the immune system attacks the beta cells of the pancreas. Seems plausible to me; rates of dairy consumption seem to correlate with type 1. (see Finland).
Kermode and Mayo's Take (film reviews)

Weekend (The Guardian)

Economist Podcasts

In Our Time (BBC)

Football Weekly (The Guardian)

Behind The Money (Financial Times)
Switching from Google Photos to iCloud will soon be a lot less painful
> It's not like sending an SMS to my phone is any more secure or harder to access than sending an email to my phone.

It's not, but much like 'fax' hanging on in the medical environment because it has been labeled "secure" by the regulations, there is a line in some regulation rule somewhere that labels "SMS" as "secure" but does not label "email" as "secure", and because they do the minimum to meet the regulation, they go with "SMS" and go on about their day.
you got me, lol.
to be fair the only reason numpy is there is because truly
pure python doesn't have matmuls, and I didn't think reimplementing it wouldn't serve a didactic purpose.

A cool idea for a v2 without numpy would be implementing matmuls with lists, matrix transpose with zip() and switching np.exp for math.exp. And getting all that on fewer lines as possible.
I've been using OG Syncthing from the Play Store for a long time but was just looking through F-Droid and noticed this Syncthing-Fork and then I see this comment about it. Looks interesting. You recommend it?
To clarify further, flash attention is explicitly targeting a compute engine with separate MMA and "scalar" vector execution units that allow post-processing the MMA outputs without involving memory bandwidth (though arithmetic intensity, especially relative between the MMA and the "scalar" instructions, is of concern), with a substantial amount of manually-managed L1D$ to use as sub-matrix accumulator, and a linear-in-context-length amount of "VRAM" that requires sensible arithmetic intensity to avoid being a bandwidth bottleneck (iirc in the hundreds when counting the scalar multiplies hiding in the MMA instructions).

This v3 with async might for once be so tied to Hopper that it's not trivially portable to another platform that has the mentioned hardware blocks (AFAIK every AMD GCN card that can do compute shaders would qualify, though they do lack a specialized MMA unit).
There are many people who would like to think it does understand. And even more who just assume it does. When a baby is born it puts its fingers in its mouth. Already it knows something AI doesn't.
100 small functions that only get called in one place is also bad. It implies that most of them are slight permutations of each other and can be cut with the right parameterisaton. Unless your logic genuinely has 100 qualitatively unique special cases, and in that case, you’re probably screwed, as there are no elegant solutions.
Personally, I think you are wrong about both 1 and 2.

They maybe cannot reason as well as a programmer or a mathematician, but they can do so better than a LOT of humans I know.

Also, they can learn, we’d just have to feed data to do so and we don’t… we just don’t.
The glitch is Boeing's focus on stock price instead of quality products. They can't seem to build an airplane correctly. They can't seem to build an orbiter correctly. I would hope all of that has been taken into consideration by the decadal survey members, and that's why they were not mentioned
Will Guidara: Restaurant Smart vs. Corporate Smart
Defense Startup Helsing Raises €450M to Expand in NATO's Eastern Flank
Got a job from here last year, goes alright, tho it was a lucky one as noone else has invited me for an actual interview.
Can't we all just agree as an industry to use LinkedIn profiles and move on to more productive things? I know they're horrible but come on already.
This is one of the most important improvements in all of AI, because it benefits most AI users by giving them access to more, faster, for the same hardware with little to no tradeoffs.
well, the alternative to being old is being dead
Given the reference to “the well”, it’s likely the parent was referring to mass.
Software/OS passkeys weren't supported, at least not well enough for Github, on Linux when I last tried. Per web search they still don't.

Stuff that I could do without, like a yubikey, is junk in my books.
It’s all a gradual improvement over time though, as both companies are able to adopt better practices and customers become accustomed to it. Many, many more people are using TOPT than a decade ago.
Popeye was the first thing I saw her in, and after that, I could never unsee her as Olive Oyl. Personally, I think that movie is absolutely wonderful (especially the “Everything Is Food” number, but all the songs are great).

For whatever reason, the Fairy Tale Theatre episodes are hard to come by. They’re not on any streaming service although there have been DVD releases. The first episode featured Robin Williams as the frog prince with Eric Idle directing.

It was only in the last couple years that I learned that not only is she not Robert Duvall’s daughter,¹ they aren’t related.

⸻

1. Actually, it turns out she is Robert Duvall’s daughter, just not that Robert Duvall.
That is too pragmatic for an industry the pretends it values efficiency.
Beautiful! Same in spirit as what I was going for, but even better. I really like the way the weights are updated in this one. Thanks for showing me this!
Is there a physical reason for it? Or is it just that keyboard manufacturers don't care about latency?
A modeline is not like reprogramming a firmware or anything, it’s just settings on how to move the electron beam. I don’t know what I did, but it probably moved too far or something, It wouldn’t show anything else but brown
Anyone can buy ammo without showing ID in most states, definitely can do that online in quantities larger than you could buy at the AARM - Automated Ammo Retail Machine. Also, the AARM only dispenses if ID is VALID and if facial recon matches. The AARM would not be the first option for someone that has questionable ID and/or is up to no good. The AARM is not your usual coke machine.
Turn off advertising features in Firefox
A very interesting and enjoyable article.
No amount of money would make me want to work for the likes of Meta or Amazon. The planet is fucked up as it already is.
my answers...
1. divided lights help keep costs down by getting the glass in more manageable sizes and being able to replace smaller panes when things go wrong.
2. Yes they are an abomination.
3. These faux finishes keep costs down by removing the need to make perfectly flat untextured surfaces. Some believe that wood texture over other choices won't shock the consumer.
4. We should be using more recycled materials the bigger issue is that the color choices tend towards black or diarrhea.

The way I see society has to maintain a certain amount of continuity to maintain momentum. The original article seems to touch on this need but I think spend too much time developing a more conplex and less true perspective on the issue.
Why is this frightening, may I ask ?
Interesting! Is there a way to deploy this on AWS RDS?
Do you hire only software engineers? This page doesn't mention it but it seems like you do based on your sign up page.

https://www.otherbranch.com/for-engineers

(I am asking because I am more of a data science / research person.)
The acquisition of Micronics by Formlabs marks an exciting milestone in the advancement of accessible SLS (Selective Laser Sintering) technology. This strategic move is set to accelerate innovation and make high-quality SLS 3D printing more accessible to a broader audience electronics recycling. By combining Formlabs' expertise in user-friendly 3D printing solutions with Micronics' specialized technology, we can look forward to a new era of efficiency and precision in additive manufacturing. This development is a significant step towards democratizing industrial-grade 3D printing. Visit here https://www.gardnermetals.com/
That is so cool!!! I have always wanted something like this! Arg I wish other filesystems supported a strategy like this!
"why build an monolithic mirror?"
"why not make it multiple times 8 meters"

Cheap, simple design that doesn't take 20 years and a NASA to develop.

8m is a massive gain in angular resolution over Hubble's 2.3m and an improvement on JWST's 6.5m. From the our linked article:

“Diameter is a huge lever arm,” “The larger the diameter, the better the resolution and sensitivity.”

Based on the fairing specs it looks like Starship could achieve 9m. That would be nearly double the collector area of JWST.

JWST is one, very expensive, exclusive design that perhaps only NASA is capable of delivering. What if someone other than the US wants a cutting edge "Great Observatories" class space telescope? A big, simple monolithic mirror design made feasible by super heavy lifters.
Yes; trying to drive a refresh rate higher than what’s rated can do it-I think it had something to do with the flyback transformer? Some (later) crts had guards against this, and ddc more ore less prevented it.
Directional Decisions
In Singapore, the banks have moved away from SMS entirely, even for notifications. Now they have to come through the app.

But for login you basically register a single phone, download a certificate to it and that becomes your second factor. If you login via web or another phone, you need to approve the login from that phone.

Of course if you lose the phone (or it's damaged) you need to go to the bank to fix it, but that seems like a reasonable approach.
Funny enough I have a friend at Microsoft who likes it as a secure, lightweight alternative to Docker.
A bit of history for those who missed it.

Neovim was forked in revolt, because Bram, being a BDFL, was reluctant to “async” scripting, afair. Then in version 9 (or was it 8.x?) it still landed and neovim lost its main reason to exist. Talks about merging back were talked for a while. Now it’s functionally just a fork with different everything. I wouldn’t expect better software quality than vim, projects like vim are on another level.

Personally (opinion ahead), I find Vim a proven classic and neovim feels like yet another github project with a never-ending backlog for bells and whistles. Watching youtube videos on how it works with all these rainbow unicorn plugins makes me want to close it immediately. They made exactly that vim that Bram has foreseen and didn’t want it to evolve into, because it falls into the uncanny valley between an editor and an IDE. I believe vim mailing list should still have his message with concerns about that.
SEEKING WORK | US | REMOTE

You: Have problems related to data, want to modernize your operations (no more clickops), want to build a mobile app, want to add AI to your product.

Me: 10 years of experience, previously at Amazon, currently an LLM research engineer. Expert in CI/CD and Infrastructure as Code through Terraform. Skilled in building AI-enabled application through the usage of RAG and agent-based workflows. Also have built many MVP style products with Flutter and .NET.

Feel free to contact me using my email jacob [dot] windle [at] hey [dot] com or through my Linkedin: https://www.linkedin.com/in/jacob-windle-569b282b9/

I also blog from time-to-time: https://jake-windle.gitlab.io/
Using Aerc-Mail with Outlook
I absolutely recommend it, at least if you're somewhat tech-savy you'll enjoy the more detailed status display, advanced options etc.
> 40 fl. oz per quart,

That's the imperial quart. The US quart is 32 fl. oz.

And, of course, the US fl. oz is slightly different from the imperial one. And neither is 1 (weight) oz of water (but at least the weight ozes are the same in US and imperial...).
Ask HN: Is there a way to get notified when my cat has seizures?
My cat Yuri has epilepsy since birth and even if he’s on medication, he has random seizures from time to time. Generally these are not very dangerous, but sometimes they won’t stop and I need to get him to the vet as soon as possible, or else he might die.

Right now, when I’m not home, I check him on camera to see if he’s doing ok. This can be stressful, especially when my phone has bad coverage or if Yuri is hiding.

It would be great if we could find some way to detect his movements (or sounds maybe?) when he’s having a seizure and send a push notification to my phone.

I’m an iOS developer so I could easily do the server/app part, however I have no idea about the rest. Is there some sort of gyroscope or something we could attach to his collar? Or maybe a programmable smart watch? Or anything else that could help?

I’d really appreciate any help or advice!

Some extra information:

• Here's a youtube video showing how a seizure looks: https://www.youtube.com/watch?v=PUzJebl0464 WARNING: this can be disturbing!!

• Seizures are totally random, but usually they last around 3-5 minutes. They start slowly, and at their peak the cat lies on the floor, moving legs quickly and shaking its head.

• Yuri's heart rate goes up for 10-15' until he calms down.

• I'm open to any solution and it's not a problem if it's not perfect (but I would prefer false positives over false negatives)
A complex unfolding mechanism makes things a lot more expensive, slower to develop and more likely to fail. If you could get an improvement over JWST delivered in 5 years at a tenth the cost that's a good option to have. Starship would theoretically allow for huge telescopes (like the 15m LUVOIR-A) but not all projects have the sort of budget or expertise for that.
Not a certification limit, but you need valid performance data to be allowed to take off. So if the data is only provided up to 50 C / 122 F, then you can't take off legally at 128 F.
What American cities could do to save us from this unbearable heat
"Once in a blue moon" -- you mean the thing that constantly happens? If you're not using logs, you're not practicing engineering. Metrics can't really diagnose problems.

It's also a lot easier to inspect a log stream that maps to an alert with a trace id than it is to assemble a pile of metrics for each user action.
Getting this right now with Google and Apple. Extremely frustrating, especially after years of working in the space.
> I also want to set up a NAS on a mini-PC with some sort of attached external storage, but I haven't been able to get past this blocker

You could also buy a PCIe to multiport SATA (RAID) card, but you'll also need a bigger[1] NAS-like case[2] to house the hard drives and multiple power cables for the drives

1. Depending on how mini your PC is and how many drives you want to attach to it

2. I have noticed any case that's sufficiently NAS-like (hotswap trays) is sold at a premium.
Their ad business is generally booming but the brand rap can’t be worth letting these in. OTOH maybe it’s either all in or don’t bother. There’s no way to staff reviews at the scale you need an ads business to work.