skysight-inc/HackerNews huggingface dataset:
> It's an example of what Haskell's IO API might look like if it used sum types for error handling rather than throwing exceptions.

Apologies I missed that bit, it is indeed a perfectly reasonable API.

> So you're saying that you'd configure the compiler to do exactly the same checks that Go error linters do...none of which have anything to do with sum types.

We are arguing semantics as to what constitutes a "handled error". If a user chooses to explicitly throw away the error and not use the value, then you are arguing it is not handled. I am arguing that it has been handled (and checked as such). Either way sum types are a step in the right direction, despite all the shortcomings and unsound type systems of "practical" languages.
the software is important, but the hardware is much more so. if AMD could make performant GPU that had solid drivers, the world would rally and port all the major ML libraries to it over night. CUDA is not the moat you think it is. Nvidia is going to shoot itself on the feet with how they have been handicapping their latest GPUs. Unfortunately, it doesn't look like AMD is prime to compete.
You can count on the tech industry to provide you with a daily dose of outrage. This is very corrosive. Not only does it poison the well people want to use towards positive goals, but with tech being effectively unavoidable by anybody but extreme hermits, it creates a sense of complete and irreversible moral decay that permeates all of society.
Jitsi Meet has pretty wide OS support, no experience of it in enterprise though, only personal use.
This is 650MB[1] Windows bloatware (now spyware) that gets installed alongside the driver. For 99.999% of users, it provides absolutely no benefit[2].

For Linux users, all that is required is a periodic update to the open source kernel, as well as proprietary firmware blobs, and open source Mesa software, and that's it. If you really feel it necessary to see statistics for your Intel GPU, there is a sysfs interface for doing so, and open source tools readily available to make it easy to view and use these statistics[3].

[1] https://www.intel.com/content/www/us/en/download/726609/inte...

[1] https://www.intel.com/content/www/us/en/products/docs/discre...

[2] https://gitlab.freedesktop.org/drm/igt-gpu-tools/-/blob/mast...
At least two entries from the "Private" table (HUST and SSMRL-SEU) have already moved to the "Official/Institutional" table after the connection between the private individual and their institutional affiliation was made.
I get that the manufacturing process doesn't produce pure samples, and that it's highly likely that the sample has many "islands" of the right lattice structure within it, of various sizes and shapes.

What I don't get is why they don't just pulverize the sample, put it in a magnetic field, and then sift out the floaty particles.

Things floating at an angle and halfway make me very suspicious.

Also, why are all these videos like 5 seconds long? The stuff is supposedly superconducting at room temperature and would supposedly float indefinitely. Why not just put up a 24/7 livestream, do stuff like pass strings/paper/loops/etc around it.

I think this material is very interesting, but all the videos I see are so clownish that I am getting more skeptical as time goes on.
The distributed part is crucial, especially to avoid potential hardware failure. Happened to me, older machine ram (might be misremembering, that old machine had several parts replaced) failure made keypass unable to validate, claiming a corrupt database.
Brown is a "fake" color, in both additive and subtractive realms, indistinguishable from dark orange without contextual clues. Or one could be funny and say that orange is really "bright brown", either way.
Notably, Bitwarden is also self-hostable, which, in combination with the good mobile clients, was enough to get me to switch to it from Keepass.
The article suggests jitsi and I have had success using it in all the platforms you mentioned.
> If you need Photoshop or Word or another industry standard software then you don't count.

But you can always use GIMP, right?!

OK, this was a bad joke.
The page suggests using Jitsi instead (https://meet.jit.si/), which is apparently open source and can be self-hosted. I've never used it, just pointing at what the page suggests.
I remember my annoyance when I banked with Wells Fargo and they had a maximum password length of something like 12 or 16 characters. Later I found out they would lowercase the password before sending it to the server.
Scrape any website quickly with LLM (open-source)
Set the settings once, never have to worry about the site changing it's layout again.
Sadly, the federal government doesn’t have a great track record here either…

https://en.m.wikipedia.org/wiki/Office_of_Personnel_Manageme...
I still have my old 11th gen mainboard and thought about doing this but I don't really have a use case for it sadly.
for what its worth, I added it my blog
https://github.com/anshumankmr/myblog/blob/master/robots.txt
> even as they sometimes don't show the same info as they come from different points in time

And for unfathomable reasons Google Earth (the desktop version) can show historic aerial imagery, but no historic street view pictures, whereas Google Maps works just the other way round – you can view historic street view photographs there, but no historic aerial/satellite imagery. (And the browser version of Google Earth apparently can't do either.)
Nice thread! I really like "How do I use whitespace to communicate that different items belong to the same idea?". It's like the 'non-verbal communication' of written comms hah!
This is great until you find a website which requires or disallows select special characters. With so many sites allowing a password reset via email, I wish we embraced the password-less login email "magic" link such as used by Slack.
Show HN: Axilla – Open-source TypeScript framework for LLM apps
Hi HN, we are Nick and Ben, creators of Axilla - an open source TypeScript framework to develop LLM applications. It’s in the early stages but you can use it today: we’ve already published 2 modules and have more coming soon.

Ben and I met while working at Cruise on the ML platform for self-driving cars. We spent many years there and learned the hard way that shipping AI is not quite the same as shipping regular code. There are many parts of the ML lifecycle, e.g., mining, processing, and labeling data and training, evaluating, and deploying models. Although none of them are rocket science, most of the inefficiencies tend to come from integrating them together. At Cruise, we built an integrated framework that accelerated the speed of shipping models to the car by 80%.

With the explosion of generative AI, we are seeing software teams building applications and features with the same inefficiencies we experienced at Cruise.

This got us excited about building an opinionated, end-to-end platform. We started building in Python but quickly noticed that most of the teams we talked to weren’t using Python, but instead building in TypeScript. This is because most teams are not training their own models, but rather using foundational ones served by third parties over HTTP, like openAI, anthropic or even OSS ones from hugging face.

Because of this, we’ve decided to build Axilla as a TypeScript first library.

Our goal is to build a modular framework that can be adopted incrementally yet benefits from full integration. For example, the production responses coming from the LLM should be able to be sent — with all necessary metadata — to the eval module or the labeling tooling.

So far, we’ve shipped 2 modules, that are available to use today on npm:

* *axgen*: focused on RAG type workflows. Useful if you want to ingest data, get the embeddings, store it in a vector store and then do similarity search retrieval. It’s how you give LLMs memory or more context about private data sources.

* *axeval*: a lightweight evaluation library, that feels like jest (so, like unit tests). In our experience, evaluation should be really easy to setup, to encourage continuous quality monitoring, and slowly build ground truth datasets of edge cases that can be used for regression testing, and fine-tuning.

We are working on a serving module and a data processing one next and would love to hear what functionality you need us to prioritize!

We built an open-source demo UI for you to discover the framework more: https://github.com/axilla-io/demo-ui

And here's a video of Nicholas walking through the UI that gives an idea of what axgen can do: https://www.loom.com/share/458f9b6679b740f0a5c78a33fffee3dc

We’d love to hear your feedback on the framework, you can let us know here, create an issue on the GitHub repo or send me an email at nicholas@axilla.io

And of course, contributions welcome!
You list things we could tackle to reduce CO2 emissions.

And yes, we should. And we will tackle them to some degree.

But that does not change the fact that we will live on a warmer planet in the future.

We can't make the planet cooler by taking these measures. They only slow down the pace at which it heats up.

That's the point of my post. That we should also incentivize the development of new technologies that will help mankind live on the warmer planet.
That is if you are lucky enough to have a choice of hardware provided by your employer, but usually "easily" fixed with an external keyboard if need be :/

Germany is pretty grim here, most not-even-huge companies will just order QWERTZ.
> Why? What's the point? It's a map. Street names are pretty much the #1 most important thing.

My pet theory here is mislaid/misaligned interests: 90% of Google Maps users are probably using it for automotive navigation, not for identifying cross-streets.

A more strident person would argue that Google is consequently, in part, responsible for reinforcing America's obscene car dependence. I'll leave them to make that argument :-)
I came directly to the comments to recommend Jitsi instead. Glad the author made the same early in the article.
What I found interesting is go to the (ref) for his advice of writing down passwords, which is a 2005 blog post from Bruce Schneier. His advice seems obvious and correct even then, but just scroll through the comments and see the terrible password recommendations people were giving back then:

> Why not just use a combination of words and numbers you can remember, and mix in some 7331 speak? I find this to be easy to do. Example Th0M42Y0rk3

> one recommendation I heard a while back was to mix in other information into the passwords when you write them down…like your phone number or driver’s license number or address, etc, etc – stuff you know very well already…

> One of the most interesting ways that I’ve heard of to create strong passwords is to use a pattern of keystrokes from your keyboard, i.e. a circle of all the keys around the ‘F’ key for example, or an inverted V starting at the ‘x’ and ending at the ‘b’.

> This is great timing… I just gave a security awareness presentation where this was one of the topics. My advise was to take a short phrase, do some creative (i.e. non predictable) substitutions and use that as your password. Then you can write down your phrase as a reminder without revealing the password.

It seems like security experts spent a tremendous amount of effort to try and prevent people from writing down their passwords, then the world changed so much that "your attacker achieves physical access to your wallet and steals your passwords" was not a significant threat to most people any longer, and everyone had to reverse course.

In my opinion, not having to remember passwords allows you to have so much more security against attacks that are actually likely to affect you (database leaks, rainbow table attacks, dictionary-based cracking methods, etc.) that it is well worth the trade-off of having to secure your piece of paper. A modern password manager is another good variant of this method.
No Great Scott does DIY electronics
I'm sure their lawyers have though out a good defense but it very much does sound like an additional restriction placed on the right to distribute the source. Hopefully Red-Hat will be proven wrong before more companies jump on this.
Is there any reson that it has to be a partition?
> GHC would be a better example, I think. It performs stream fusion. This means it can turn 'map f (map g xs)' into 'map (f . g) xs', and of course it gets more complex than that, but that's the basics. It directly optimises lists (which, this being Haskell, are lazy sequences).

Is it for built-in map or it would work in a general way for, say, `myMap f (myMap g xs)` ?
Automattic is looking for the world’s best systems engineers to power tens of billions of page views, and support over a billion web surfers each month across our entire line of products and services, including WordPress.com, WooCommerce, WordPress VIP, Jetpack, and many more.

As part of a small and vertically integrated team responsible for a huge setup, you’ll have a unique opportunity to participate in all aspects of the management of our infrastructure. You’ll help us develop, build, and maintain a leading global infrastructure that reaches billions of users… and share our learnings with the world.
We are a globally distributed team, and where you live doesn't matter.

If you’re passionate about maintaining a leading global infrastructure, attaining maximum uptime, enabling maximum speed across services, and everything to do with security and DevOps, let us hear from you.

https://automattic.com/work-with-us/job/systems-engineering/
Pretty sure Intel would be happy to apply a level of indirection through external contractors to get this done either way. That's the world we live in. I don't see how engineers at Intel would risk antagonising whoever dreamt this up.
the underlying system has to be something - it can't be HTML all the way down to the CPU microcode. There was also the short-lived FirefoxOS, which is now https://en.wikipedia.org/wiki/KaiOS and countless kiosks.
I would be very surprised to find out they're not legally obliged to guarantee dumpster fire netcode and worst possible UI out of all the competitors.
Why is it that whenever somebody comes up with a clear cut and reasonable shortcoming of a big tech product, there's a mass of sycophants that crawl out of the ground to say "nobody wants that, you're just a weirdo"?

Everybody drinks water. It often isn't intuitively obvious where you can find water. Even in city parks, water fountains may not be where you expect but often are where you wouldn't. Google maps also sucks at finding bathrooms. Everybody pisses, even cyborgs.
It is radically good-looking (for some tastes) but radically impractical, probably because it is a design exercise made without any particular interest or competence for what makes a piano actually work well.

I don't see a word about novel designs that allow fitting the mechanisms that are normally spread along the keyboard, with ample room along and below each string and vertically moving parts, into the small hub of the spiral, with oblique and all different movement directions; making this thing sound as well as a vertical piano with similar strings should be considered wishful thinking.

Making those three rendered pedals do something seems also especially challenging.
Thanks for the links. I guess it makes sense to use swap space in aiding suspend to disk if some of the allocated memory is already paged out to it. I wonder though if in the [2] link you posted if you can have a swap partition for the purposes of hibernation, while also disabling swapping of memory while your machine is in-use.
I'd be interested to hear more about the cellphone bit, if you're willing to share.
A more insidious failure is how google maps does not always show local businesses. When I lived in another city I would search for "tacos" and I would get Taco Bell. Never mind there were five local places that serve tacos nearby. These were not deprioritized, they were never listed. Search for them directly and they come up. But broad search.... you realize that the yellow pages app is actually better at a comprehensive list of businesses.
I do something similar, but instead of writing it down I keep a flash drive in my wallet that is encrypted. It also contains copies of important documents. I backup the encrypted files in many locations. I still use the browser password manager though because I'm lazy. Fingers crossed.
The consensus on HN is that it’s le epic exciting discovery. The consensus among physicist is that’s it’s likely to be a dud
We did it pretty good in NZ: https://en.wikipedia.org/wiki/Ultra-Fast_Broadband
OK big question

If Jitsi doesn't require a user account, how do they prevent a bunch of random bots using up all their resources with sybil attacks?

How do they pay for all that bandwidth, for TURN servers etc?

What are the economics of it basically
I think it's possible.

We're working on the problem of protocol-level solutions here: https://social-protocols.org/
Gabies system for remembering passwords

https://docs.google.com/document/d/1mBnwHLMqtHWdgvhLyzcLtfrg...
Crisps has pretty entirely been overtaken by chips. Magnificent word though, sometimes I use it to either be funny or just remember the taste and texture of a sadly underutilised word.

It never applied to hot chips/ fries though, just the other kind.

If you want a raised eyebrow response, just ask "are you going to finish those crisps?"

They'll know what you mean, but they'll still act confused. It's great.
This is priceless:

> The ball had grown to mean so much to him. It wasn't the signatures, or that he thought the ball might be worth something like $20,000 ... The ball became a family heirloom over the next three decades. But not in the way you'd expect. Calhoun never locked it up in a vault or even put it in a protective case in the house. He left it in the basement of his house, and Clarence and Calhoun's other three kids would dribble it and throw it around. He wanted his kids to be able to touch and feel something that had altered the trajectory of their family.
Please show me a F500 publicly listed company that isn't greedy.

The way our capitalist economy functions and CEO compensations are set, encourages nothing but greed and short therm profits at the expense of everything else.
You might want to actually read the article...

His city council was working on approving a new housing development that required bridges so they incorporated the designs into their plans prior to construction.

They were built to match the banknote designs.
I'm using Helix these days, but I seem to recall neovim handling markdown with code blocks fine.

Less sure about "minor" dsl-like support, like online css/html/js in php etc? (Or SQL strings in c# etc).
Let's hope they don't forget about the indrect revenue because honestly the only reason I even use google for local results at all is google maps.
I would assume that the vast majority of piano playing happens with older repertoire. Narrower keyboards can maybe make pieces by the likes Rachmaninoff accessible to more people.
+1 for a simple Nokia phone. Cheap and no internet. At 7 that seems perfect.
I have had a lot of work done on my mouth. I consider all dentists as incompetent, swindling, quacks until they prove otherwise.

My current dentist's niche is NOT performing anything that is unnecessary. A lot of people are taken aback when they say everything looks good. Makes for a great culture in his office.
This seems like an outgrowth of design students being taught marketing.
I think this a myth told by marketing.

They already know the photos have the objects they are interested in. Are they still working on motorcycles buses and signs?

The recaptcha part doesn't even depend on recognition, it's just a statistical comparison with what other humans clicked on given the same prompt + some pointer analysis and browser fingerprinting.
No, that only pins the current goroutine to a single OS thread (which is needed for some APIs -- namely, all of the other namespace APIs and some thread-related APIs).

There is no way to make an entire Go program run as a single threaded program without using CGo the way we do in runc. Even GOMAXPROCS=1 doesn't work. CLONE_NEWUSER will always fail in a multi-threaded program.
> Is it all that obvious or clear that "if we don't like what you do with our stuff, we will not renew your contract next year or sell you anything anymore" a restriction on the software they already delivered?

Yes, it's obvious.
Try mapy.cz - https://apps.apple.com/cz/app/mapy-cz-navigation-maps/id4114...

They're based on OSM data, and I generally find them better than Google for street names
Google and Alphabet and all of its services including on Android have been slowly turning into a buggy counter-intuitive mess for the last several years.
Some years ago I was seeing a dentist that I had no complaints about--I try to take good care of my teeth, and she would tell me what I was used to hearing, teeth look great, nothing concerning, and so on. Then one day I go to my 6 month cleaning appointment and something is off. The name of the practice is the same, my dentist's name is still on the door, but I don't recognize anyone on the staff. When I'm greeted by the hygienist (who I've also never seen before), she says I'll need x-rays taken, even though I had them taken the previous appointment, because their computers crashed and they lost all their old ones. Um. Ok. Then after my cleaning, a _new_ dentist I've never seen before comes in to check my teeth. I can't remember what excuse he gave for why the previous dentist (whose name was still on the door, I remind you) wasn't there, but it was something hand wavy. Anyway, surprise, surprise, it turns out I needed several thousand dollars of dental work done, also it's apparent that I grind my teeth and need a night guard to prevent further damage, all my enamel is cracked or something and needs sealant, and all other kinds of craziness. Anyway, I said no thanks and high-tailed it out of there. Not sure what happened--almost seemed like some new money hungry dentist weaseled his way into my old dentist's existing practice, somehow got all her patient details and appointments, and then tried to pull a switcheroo on everyone.

I found a new dentist for my next cleaning 6 months later and got my usual teeth look great, no problems, see you in six months. That whole experience does not foster feelings of trust toward the profession, to say the least.
If no one answers I'll ask internally (I'm in Microsoft but just an engineer and not in teams), I can tell you that in our org we don't have access to customer data, actual customer data is encrypted anyway and every access to a production machine is recorded, audited and has to be justified legally (and is very rare to the point I haven't _actually_ seen it done except to literally learn how to go through the process on a machine with no dat).

I'm also curious what the ToS says about teams, if it allows it I'd be pretty disgusted and I was very surprised Zoom does this..
> I've never had a site do any substring historical matching.

Would this even be possible if the password is properly stored after salt+hash?
It's easy enough to host as a small set of containers behind a reverse proxy. Bandwidth is the main bottleneck in my experience, but there is peer to peer to some degree.
Wow, nifty! I would love to see the results.
Times in the last 40 years that...

My wallet has been stolen: 0
My house has burned down: 0
LastPass has been breached: 2+
LastPass' browser extension has caused me headaches: 9000+
To look at the performer and the strings, there are clavichords. Vastly easier to build, and presumably suitable for guitar-like pickups and electronic amplification.