skysight-inc/HackerNews huggingface dataset:
Keep in mind that not all projects use the semantic versioning we typically see (ie major.minor.patch).

There’s a type of versioning called “ZeroVer” where the version is -never- to exceed 0.x.x.

https://0ver.org/

According to that site, the software ASCEND (0.9.8) was first released over 45 years ago.
Being 2 steps separated is no problem for me. Can you point to any specific production software systems, for which the author of those systems says they used CT for designing stuff, and that it helped in a meaningful way? The only one I have heard of is UMAP, and it was closer to "plain ol' category theory" rather than Petri nets or any of the stuff the applied CT folks do.
> Just use Twitter for the "one platform...

> ... intentionally locking yourself into a bubble.

im not trying to be snarky, but, i mean, using a closed off eco-system like twitter and suggesting people to use "one" platform is quite literally bubbling yourself.

using other options is the opposite of a bubble.
shrug I don't know how to explain it any better. We want to charge a credit card _before_ the lessons for the month, and the amount will be different each month (either 4 or 5 lessons). Stripe will let us do this _after_ the month (so-called "metered" billing), but not before; they will also do subscriptions but they need to be the same amount for each invoice. So I'm looking for a payment solution that will automatically bill a credit card for a variable amount each month without the client needing to manually enter or approve their payment information each month. It's a subscription where the amount is different each month, and needs to be paid _before_ the service is provided.
This is a fairly taboo subject in New Zealand. Criticism of the Māori is all but forbidden, especially by the mainstream left.
You're on the right track with guy being more more gendered than guys, but I wouldn't go so far as to say guys is completely neutral. Take "Guys and Dolls" for example. A very dated example, but that specifically-gendered usage does still exist to a reasonable extent, like saying "it's guys' night" and so forth.

Basically, guys is neutral in those cases where it's used to describe a group that isn't entirely male but otherwise it's male (somewhat circular reasoning, but I can't think of a better way to describe it); guy doesn't usually get that same logic applied.
> axioms are by definition arbitrary

sorry, the axioms of Euclidean Geometry are not arbitrary. They are axioms by the definition of axioms, but not by the definition of arbitrary.
A high school kid needs to make a "living wage"?

This is the absurd argument I see made all over the place in favor of high minimum wages.

If $20 per hour is ok, why not $30? Or $50? Or $100? It would make everyone rich, right?

What's the problem?

Command economies don't work.

Laws like this are short sighted and the only effect is to devalue our currency even more.
I think this apply to most leftist governments in Latin America and I believe this is a deliberate posture from Washington.

Using Brazil as a example: Lula government is doing an economic collapse and authoritarian slide speed-run while supporting Russia, China, Iran, Cuba and Venezuela. By all means Lula government don't align with US values and its actions goes against US interests. But at the end of the day it doesn't support Trump and share a similar "democratic/progressive" narrative.
It looks like any other standard EDA, naturally, but workflow is noticably different to KiCad, which is a good thing.
This is so interesting, thanks for sharing! (Might want to add 2020 to the title)
You aren't comparing apples to apples with those numbers. Bing has 100 million active daily users. Apple has about 2 billion registered "active" devices, which means they were used within a 30 day period. In this case, you are comparing daily active users for a particular service with monthly active users for an entire device. It's not clear if any Apple service reaches a lofty DAU.

Apple hasn't released daily active users for any of it's services, but it has argued recently that iMessage has less than 45 million active users in the EU (https://9to5mac.com/2023/09/04/imessage-app-store-gatekeeper...). Meanwhile, some estimates put Bing's monthly active users over a billion.
I'm a big fan of repl driven development for some tasks but you do need to go back and refactor plus add tests.
You’d need to fix the tax code for that to work. Good luck getting that by Congress anytime soon!
You can even boot from USB
> People still trust Mozilla (despite them doing their best to squander their reputation with releases like this).

I absolutely, completely disagree. I wish social media websites were controlled by foundations in the same way Wikipedia is.

Maybe it's too late, but it's worth trying. Stuff like this improves their reputation with me, not the opposite.
I would care if, e.g., some prior approaches did it poorly, and the category theory helped clarify it among the engineers who then agreed it was a good way to think about their problem.
Aha. Very good. Not sure how I missed that at the time. I’ll definitely be giving this a shot.

And your excellent blog is already in my RSS reader so I have even less excuse for missing this detail… :)
Sweet, now it is stuck in a loop where it says sorry, here’s a correction then spits out the same code. Do you have an example chat where that worked for you?
> time it takes to travel being much shorter

And that depends on how far you travel, of course:

Fixed overhead for planes is around 2.5 hours (depending on airport, etc.) for parking, travel to terminal, security, time to gate, 'deplaning', time from gate to ride/car. For Amtrak, that's about 40 minutes IME.

Marginal time cost for distance is, of course, far less on a plane.
"1 + 1 = 2" has a commonly understood meaning that implies a system of axioms and theorems and whatnot so as to be an objectively true statement in that context. You're not being asked to interpret what someone means by "1 + 1 = 2"; you're being asked to examine that string of characters in the context of a specific system that you clearly understand.
I remember getting a call from an unnamed bank who needed to connect two Microsoft software components. They had spent tens of thousands with top-line Microsoft support and their final answer was that it was impossible.

For some reason the bank called me and my buddy. I asked why they called me. "Because you never use the word 'impossible'." I told them I wanted $20K if we got it working. Two hours later we had it working. I waited two weeks to deliver it because it needed to seem like they got their value out of us o_O
The Timer is also my favorite and most used App on the Watch. I was hoping that a new OS update would give us the option to turn the “Recents” ON/OFF or an option for me to pin the timer option I want. I’m still OK with the App, but I was hoping my choices are similar to others.

I even wrote an article to remind myself that the Timer is indeed a good tool - https://brajeshwar.com/2023/timer/
Although a definite minority in New Zealand, Maori culture has a huge influence at this point, particularly in all government operations. I've brought up this genocide of the Moriori by the Maori (and in 1835, not an ancient memory) to Kiwis, and what surprised me is that everyone appears to know about it - and nobody seems to care, despite what it implies for the history of the Maori culture.
150F is like 65C which loads of CPUs run fine at. Going past 212F (100C) is usually where you'll start having problems with a lot of common desktop processors.
OK, so name a concrete, production system that followed this pattern.
Me too! But you need more than a fork of a fork for that to happen.

The problem isn't the idea; it's that all they did was throw their logo on it and swap out auth.
Back in the 70's I worked at Aph that developed handheld LED games for Mattel. Glen, the owner, would put the wire-wrapped prototypes in a Samsonite briefcase, and off the the airport. Security would wonder what the heck it was, so he'd open it up, fire it up, and play the game. It would draw a big crowd! (Back then nobody had seen anything like it.)

Another friend, Eric Engstrom, was developing a phone. The prototypes were made of modelling clay with wires and chips and LEDs. That really set the security guys off.
Yeah, I like to lie too.
Apple has put such an emphasis on increasing the performance of their mobile chips and honestly I just don’t know why at this point. I don’t need nor want to play Resident Evil 4 Remake on my phone. I much rather have more battery life.

With that said I suspect this is probably a software issue and can probably be resolved with an update.
I just checked how much it will cost me to travel to Boston, MA from Cleveland, OH.

Pretty straightforward route. 11 hours of travel and 172$ per seat in couch vagon. Considering that I wanted to take my whole family to this trip it just doesn't make sense to go by train. Car is going to be faster and cheaper even considering parking fees in Boston.
Not quite the same, still funny: https://www.jwz.org/doc/cadt.html
If you use Facebook, then I do not believe that you care about your privacy.

If you don't use Facebook, then it shouldn't matter if they move to a Sketchy App Store.
I wonder if products like these are a dying market with distributed work.

What’s the benefit of a digital whiteboard when I have drawing tools on my computer for a fraction of the price, and the amount of time spent in the office has been cut by 50-100%?
TLA+ also uses that convention (along with the temporal logic operators [] and <>, and some other unusual conventions like #=).
It's responding to the scenario described in GGP.
Isn't that just typical private equity investment, in every industry? Drain every ounce of blood from the body then leave the carcass.
I was going to say aspell (currently at 0.68 up from 0.10 on 1998-09-12) http://aspell.net/man-html/ChangeLog.html but of course the "used by many" is the debatable part of your question

Even PuTTY I would guess is not "by many" but who am I to say not having been locked to Windows for ages

gettext at 0.22 up from 0.7.1 on 1995-07-04 would certainly be in the short list https://git.savannah.gnu.org/gitweb/?p=gettext.git;a=blob;f=...
Nope. I haven't really noticed a difference in sleep quality. I had an issue with my 10, which is why it was replaced. In fact, I think the 11 is slightly louder. The filter on the back is smaller and harder to get to. I like the 10 a little better.
I tried to use Orion, but when I tried to make a new tab group so I could close one of my windows and come back to all its tabs later, Orion made a new /empty/ tab group and closed all the tabs in the window. Worse, none of those tabs were recoverable with Cmd-Shift-T. I had to go back through ~3 days of History reopening things, discovering they weren't the right things, reopening more things…

I went bacb to Safari after I couldn't find an Orion way to make a new tab group without destroying the current window's tabs.

In Safari, could have made bookmarks for these tabs, I guess, but Safari doesn't give me an obvious indication of whether the current tab already has a bookmark. So, my Safari bookmarks sometimes have duplicates because I forgot I'd already made one and didn't burrow though the Bookmarks menu to check. So, Safari tab groups are more useful to me than bookmarks for anything that's part of an unfinished project/idea.
People still use X formerly twitter?
Hey look at that you can even see the patent online!

https://patentimages.storage.googleapis.com/23/09/13/1877d77...

And they misspelled my name as Lain :(
Closure compiler was actually one of the biggest influences on the design of TypeScript, and even the early motivation for the approach that TypeScript took.

From https://medium.com/hackernoon/the-first-typescript-demo-905e...:

> There were many options already available, but none seemed to be resonating well with a broad enough section of the market. Internally at Microsoft, Script# was being used by some large teams. It let them use C# directly instead of JavaScript, but as a result, suffered from the kind of impedance mismatch you get when trying to stand at arms length from the runtime model you are really programming against. And there was Google’s Closure Compiler, which offered a rich type system embedded in comments inside JavaScript code to guide some advanced minification processes (and along the way, caught and reported type-related errors). And finally, this was the timeframe of a rapid ascendancy of CoffeeScript within the JavaScript ecosystem — becoming the first heavily used transpiled-to-JavaScript language and paving the way for transpilers in the JavaScript development workflow. (Aside — I often explained TypeScript in the early days using an analogy “CoffeeScript : TypeScript :: Ruby : C#/Java/C++”, often adding — “and there are 50x more C#/Java/C++ developers than Ruby developers :-)”)

> What we quickly discovered we wanted to offer was a “best of all worlds” at the intersection of these three — a language as close as possible to JavaScript semantics (like CoffeeScript) and syntax (like Closure Compiler) but able to offer typechecking and rich tooling (like Script#).
Give me a specific example. Maybe a link to some code, or a design doc, where topology comes into it.

If you're thinking about "topological data analysis" and "persistent homology" or similar, I have been down that road already and consider it a dead end (nobody uses it). See: https://buttondown.email/j2kun/archive/whats-in-production/
Speaking of quantized vectors
https://huggingface.co/papers/2309.14717
Would you pay higher taxes for it?
This seems likely. ~6 years ago on a Delta flight I noticed that I could use Google and view cached pages without paying for WiFi. I managed to catch up on the news on my flight…
How cow! You can buy them?!
TeX converges to pi

It's currently at version 3.141592653

https://en.wikipedia.org/wiki/TeX
Reactive Signals and Build System
Guess we can say goodbye to bandcamp then, sigh...
All these episodes sound great!
“CL” is probably “change list” — I think that term for a patch is from Perforce.
Back in the days before ransomware and RATs and APTs and ubiquitous cloud-hosted corporate email, when viruses were accidentally introduced rather than spear-phished, state/criminal-gang-sponsored existential threats to a company, I had the idea (without the ability to manifest it) of a virus that would infect an MS Exchange instance and set everyone's Out of Office on and all incoming email to be forwarded to every other mailbox in the company.

Not sure if it is or was feasible, but I still like the simplicity of an automation-stack doing the really hard work of exponential amplification.
I have never seen that site before, but taking a look right now, my conclusion is that it is satire.
True but that site is satire https://0ver.org/about.html
There is a variety of cargo cages on the market designed to support drybags on the forks, however the majority require that your forks have the proper mounts:

https://bikepacking.com/index/cargo-cages-anything-bags/
mvdtnz, meet the world. World, meet mvdtnz
they got rid of the Chatanooga choo choo?
famous last words... i'll check back in a year and see how bandcamp has been gutted by songtradr.
> despite what it implies for the history of the Maori culture.

Which is?
Thank you, truly. It means a lot.

I'm international, so I'm not represented by the union, but I support them for exactly the same reasons that you state here.

I don't think it's related to the unionization. I'm sure it didn't help, but Epic also spun off SuperAwesome today.
I like how Python resolves ambiguity.

When you see English text, it works at a high level on objects. If you see ASCII characters, it looks like C, you know you're messing with low level granular elements like you might commonly do in C.
I think you're exactly right. Epic thought that buying a music company would let them acquire what they needed to do sync... but sync doesn't matter for Bandcamp, so it was hard for them to align.

(while I work for SongTradr, I know nothing of the acquisition, so this is just speculation)
> everyone appears to know about it - and nobody seems to care

"Why do you care? Are you saying that makes European colonization justified? Are you trying to imply Europeans should feel slightly less guilty? That they are not history's sole villains? That these were "savages" in need of "civilizing"? Are you some kind of Nazi? I wonder how your employer will feel about having a white-supremacy-apologist on their payroll. Hey everyone, this guy is defending colonialism and genocide!"

See this play out a few times, and you learn to shut up.

Edit: Right on cue: https://news.ycombinator.com/item?id=37698608

Note how the story linked therein [1] minimizes the genocide by calling it a "myth" in the title, and in the body reduces it to:

In 1835 a group of about 900 Taranaki Māori [..] sailed from Wellington to the Chathams, with the intention to make it their new home. They had recently been driven out of their own rohe during the Musket Wars. Shortly after they arrived they killed around 300 Moriori and enslaved the rest. So yes, some Māori did kill some Moriori, and the story is an awful one – but to attribute this to all Māori is wrong, and if you find yourself wanting to do it you should question your motives in doing so.

Wikipedia [2,3] describes it slightly differently:

Later, a prominent pacifist culture emerged; [..] This culture made it easier for Taranaki Māori invaders to nearly exterminate them in the 1830s during the Musket Wars. This was the Moriori genocide, in which the Moriori were either murdered or enslaved by members of the Ngāti Mutunga and Ngāti Tama iwi, killing or displacing nearly 95% of the Moriori population.

What does this tell us about when is it permissible to minimize and deny genocides?

[1] https://thespinoff.co.nz/atea/03-08-2018/the-moriori-myth-an...

[2] https://en.wikipedia.org/wiki/Moriori - "Currently there are around 700 people who identify as Moriori"

[3] https://en.wikipedia.org/wiki/M%C4%81ori_people - "A June 2022 estimate gives the Māori ethnic population of New Zealand as 892,200"
Interesting to know that zer0ver exists! Do you know how they claim it to be the most popular versioning scheme?
Exploring the Cutting-Edge Technology: Dual-Infrared Laser 3D Scanners
Here is a story of a similar form:

https://devblogs.microsoft.com/oldnewthing/20111014-00/?p=93...

It’s a pretty predictable fact pattern.
See my above reply

https://gist.github.com/alfrdmalr/faa012e421d9f7f60c3e6d2d32...

IIRC in one of the "what's new announcements" from the TS team included sample code to do it as well.

Edit: here is another example of doing it https://gist.github.com/kuroski/9a7ae8e5e5c9e22985364d1ddbf3...

And here is a medium article walking through the code step by step https://medium.com/@fullstack-shepherd/typescript-transformi...
I'd be more interested in the former.
Llama 2 Long
I haven't attempted to yet. Most of my efforts have focused on running from the Cstar environment running on a sun4 frontend since those binaries and headers are a bit more conducive to reverse engineering with modern tooling like ghidra. Or at least that's what fits my RE skill set better.

That being said I have a couple starlisp images for sun4 that should eventually run given the layer at which I'm targeting for the emulator. It's a.goal.to get them running, but hasn't reached the top of the priority queue yet.

FWIW, tensorflow/pytorch are remarkably close to the vague vibe of starlisp.
TIL the difference between "divest" and "disinvest". When seeing the title I didn't think "disinvest" was a "real word" and ironically it is red squiggly underlined on my screen after typing (maybe "dis-invest" is more proper?).

Had only ever heard of universities divesting from {x}

Regardless:

> The difference between disinvestment and divestment is nominal and appears to be one of scale. Disinvestment, meaning the sale of shares, can happen in small lots at any time to raise funds without losing control of the asset. Divestment or divestiture, on the other hand, usually refers to the sale of controlling shares. [1]

[1]: https://www.ansarada.com/mergers-acquisitions/divestiture
Talk of the Moriori has historically been used as a cudgel to beat Māori with when seeking redress from the evils of European colonization. It’s not that it’s taboo or no one cares, it’s that we’re weary of the motivations of people bringing it up and how they frame this history.

https://thespinoff.co.nz/atea/03-08-2018/the-moriori-myth-an...
> tools as ahead of their time

Steve Yegge had once mentioned in a podcast that the tooling inside google internally is somewhat like magic, and years ahead of anyone else outside.

It sucks a bit that it's all internal and unavailable to the outside. They're not even looking at commercializing it (presumably it's too dependent on google infrastructure for it to be sellable).

Unlike amazon's ethos, which is that the internal infrastructure is made available (at some point) to sell to outside.
That's because that's the preview page to creating a pull request between those forks. It's a handy way to get a diff, but intended for something else.
It's easy to say these things, but specifically, with some factual basis: In what ways is FL better run than NY?
There were no humans at all in New Zealand until about 1250AD
I am curious to know how people here use their RPIs today, and how the RPI5 might help. I have had a model 3 for many years, which I enjoy tinkering with from time to time. I still haven't gotten over the novelty of having such small, cheap computer that runs Linux and does a pretty good job of it. That said, all I do is tinker with it. I turn it on, write a bit of code, marvel that the code runs, and turn it off. I've bought a couple of hats which are fun too, but again it's just tinkering. I'm curious to know who here has found "serious" applications for their RPis.
Show HN: Extendimage.ai 2.0 – Generative image outpainting
I wish there was an actual equivalent to F360. It’s like Photoshop vs. GIMP. They’re “comparative”, but in reality, not really.
No, I think people should be able to make a choice between working in a office vs working remote, which considering how many jobs are remote nowadays, you can kind of already do.

I'm not saying all companies should work in a office, I'm just sharing my viewpoint from someone who prefers in office compared to remotely.
It's called PXE boot.

You need a server to host the ISO (via http/ftp/tftp or whatever you prefer) and a DHCP server that will distribute the ISO URI to the client.

Configure the client to boot from the network in the bios and put it in the same LAN as the dhcp server.

That's the gist of it.
And we should feel bad for the largest corporations on earth... Why, exactly? These companies would sell you oxygen if the market was there for it, why on earth shouldn't we target these megalithic parasites?

If they want access to EU citizens, then they have to play by the EU's rules, otherwise they can get bent and say goodbye to that whole market.