skysight-inc/HackerNews huggingface dataset:
Show HN: A novel math library for the TypeScript community
here is a little library of fun math functions and types that have been slowly iterated on in one form or another during my free time for the past decade

the stuff on rhythm is the most fleshed out and should be documented enough for others to dive into

theres also some rough utilities for playing with prime numbers which can be helpful when composing rhythms

the next step for this library is to implement functions and types dealing with the concept of a loop which is a generalization of a circle, ellipse, and egg plus additional features!! this abstraction is what im most excited about right now but the current implementation is rather slow for professional use when dealing with audio/signals

the majority of the code presented here was developed in the context of me playing with simple 2d graphics and animations and thus may hinder more serious use from others. nonetheless i felt like it was time to share

if you want to play around with the code yourself i recommend using a tool that ive been developing that enables rapidly developing animations where frames are described using svg elements ⓐ la react

https://github.com/clumsycomputer/clumsy-graphics
You version your APIs, but do you version your services ?

Think of your new service as having a different deployment target, its own DB, and could be under a different repo altogether.
GPT-3 is surprisingly good at generating dungeon crawler style adventures. It even successfully tracks page numbers and the "turn to page X" prompts.
Whoa, 25Gb symmetrical for normal consumers? Is this Switzerland only?
Path of Exile is free and a far superior game. don't give money to Blizzard, please.
So is XKCD but it has the explainer site / wiki.
>Same reasons why Ukrainians fight back against Russians.

No, Ukrainians are fighting to defeat the aggressors. The main difference is that if they succeed, the occupier will not have anything to say. Palestinian tactics can only succeed by the mercy of the IDF.

In contrast to this, it is symmetric conflict, in which Russia targets citizens by desperation, but those losses are nothing compared to what would happen if they've succeeded.
Nox was fantastic, as a Diablo with a bit more tactical play. I also really liked the original Icewind Dale 1 for the same reason.
The instant feedback of Factorio is also nice. Its much more like a Dataflow language or Excel where code (factory) and data (products) coexist
Coops are a thing, at least in the UK. The gist is it works like any other company, everyone simply owns a share of it, and according to some rules some have more tha others. Management is still like a normal company, as is pay and everything else. Its simply dividends are paid to everyone who works there.
With FinCEN Notice 2020-2 it's clear that the US wants to treat crypto as foreign bank accounts to coerce disclosure but that severely limits the scope of regulation they can do as it would place public blockchains as strictly not being American jurisdiction, and it would make monitoring American activity on these blockchains outside of the scope of domestic agencies and spy agencies would not be legally able to spy on American activities on these blockchains. When you understand these facts it explains why the US pursued dubious NK sanctions over what would be a much stronger case of considering the Tornado Cash protocol an unregulated bank which it is. There is a very big technical and legal distinction between what centralized BTC mixers do with UTXOs to be considered laundering and how the Tornado Cash protocol exploits how ETH works on-chain to combine ETH in a single account without taking KYC.
The ideas and what a modern reading brings to them can be difficult to disentangle. A more charitable take might be that because emergence is fractal that there are uncountable ways not involving Hegel to arrive at and express a similar underlying idea.
I don't know why they don't do that either. Perhaps because a transition like that will take multiple decades of consistent and steady guidance to succeed, given the nature and size of C++ codebases and nobody will take the responsibility for it?
Git Re-Basin: Merging Models Modulo Permutation Symmetries
>Have they outperformed Zoom and Teams? That feels like a stretch, even if I prefer Discord to either of them

Better product
Voxengo Plug-in Developer “proves that the universe has a ‘creator.’”
Only tangentially related, but can someone give me the pitch for Earthly? I think I'm just missing something basic.

Our CI consists of tests, builds and deployments (all docker containers) that are kicked off in bitbucket pipelines. Is there some way that either our local development or CI builds can be improved by using earthly? Appreciate any info!
While a complete re-write can be fun, in my experience it's usually not the best course of action. In decreasing order of most bang for your buck (your mileage may vary)

* Profile the code, clean up the hot paths in the native language.
* If it makes sense, implement as a c-extension
* Restructure your application to handle concurrency/parallelism. Lots of options to try here; thread pools, external task queues, break your application into multiple services.
* Re-write one of the smaller services you spun out in the language of your choice.

Edit: formatting
You got me confused.
So it's made up extremism?
Veritasium - Math's Fundamental Flaw https://youtu.be/HeQX2HjkcNo

At 13:46 it gets into the "is there a way to prove every complete statement?" and furthermore goes into the Godel math for "there is no proof for the statement with Gödel number g" where that statement itself has a number "g".

The entire video is a good watch though.

And the related problem is that with Godel we don't know if math is consistent either.
It might be easiest to give a sense of what "unprovable but true" means by way of an imagined example.

Goldbach's conjecture is that "every even number bigger than 2 is the sum of exactly two prime numbers", so 4 = 2 + 2, 6 = 3 + 3, 8 = 5 + 3, etc.

For this statement to be *true* it just means that every even number there must exist two primes that add to that number. This is a statement about infinitely many integers.

A *proof* of Goldbach's conjecture consists of a finite number of formal reasoning steps that start with some axioms and end up at the statement of the result.

To this day, it seems as though Goldbach's conjecture is true. It holds for every number we've been able to test. However, no one has proved it is true or false yet (or proved that it is unprovable).

The proof of Gödel's result's involves very carefully formalizing what statements and proofs mean so that they can be encoded as statements about arithmetic. He then shows there is a statement with encoding G that says "The statement with encoding G cannot be proved" – if it is true, then it cannot be proved.

It's kind of confusing at first, but there is an easier way to get an intuition why there might be true statements that cannot be proved. Think of each statement about the natural numbers as a subset where each number in the subset makes the statement true. There are uncountably many subsets of the natural numbers (by Cantor's diagonalization argument). Proofs are finite chains of finite statements so there are only countably infinitely many of these. Therefore there must be subsets/statements that are true that do not have a matching proof.

The approach that Gödel's proof takes is not too different to the above argument – it is essentially a diagonalization argument – the complexity is in making the encoding of statements are numbers very precise.
> By that standard, my monitor can run any app in the world... as long as I plug it into a computer that runs it!

Well, yeah, and if someone says your monitor sucks because it can’t even run apps, that’s exactly what your response would be. That’s not a slight against your monitor or against a Chromebook.
Halle Bailey Turns White in Little Mermaid Remake Video Altered by AI
The argument advanced here is perverse: you can’t erase the illegality of an action by making it autonomous. In other words: putting a brick on the car’s accelerator doesn’t absolve you when the car runs someone over — the law recognizes that a human or set of humans is the efficient cause of the crime, regardless of how much code (or steel) you obscure it with.
As an Australian, I’m assuming said cockatoo was wild, but wanted to come in and say hello. Relatively common occurrence over here.
If you have an Android device as a “music making” device, you have much larger problems than BT.

It’s better. But still not great.

https://9to5google.com/2021/03/05/google-android-audio-laten...
https://kernsec.org/wiki/index.php/Kernel_Self_Protection_Pr... is basically trying to upstream grsec's good ideas in upstream-friendly ways.

(Oddly, grsec itself has expressed opposition to Rust in the kernel, I think on the grounds that their custom GCC plugins can't cross the language boundary. Now that there's work on supporting Rust in GCC itself, I'm not sure if that objection still applies.)
Apparently that exchange rate isn't real.

https://www.reuters.com/markets/us/cuba-more-than-quadruples...
You normally start an ad campaign across facebook offering discount beauty products but you need to 'enable' this 'security software' onto your bank account...
if they trade on material non public information, then yes that's illegal.
I guess “better storyline” is the wrong request “more story in the main game”
> use virtualization as required

Can you elaborate on this? I'm not sure what is meant by virtualization in this context.
Yeah even at the time there were magneto-optical disks[0], which I think got as high as around 9.1gb. I had a bunch ranging from 120-480mb, which was huge at the time. They are a bit thicker than a regular floppy, but nearly the same form factor. Awesome at the time for backups and of course very useful for print/publishing businesses that had to courier over huge 300dpi documents to print, stuff like that.

[0] https://en.wikipedia.org/wiki/Magneto-optical_drive
HP11C calculator (1981) might be the oldest. I occasionally use it for a quick calc just because.

HP16C of similar vintage also.

edit: And an HP71B (1984) which is definitely programmable (assembly and BASIC; I don't have the FORTH module).
I considered doing that, but it was more easier to just gain 15kg of weight to my actual body.
Succinct data structures can represent an object (such as a bitvector or a tree) in space close to the information-theoretic lower bound of the object while supporting operations of the original object efficiently. In simple terms, you can build datastructures which can encode huge amounts of data into a tiny fraction of the datasize, while still allowing you to perform queries and calculations on them.

As long as the data can be used efficiently, less space is desirable because less space implies faster and cheaper algorithms. For example, they allow a data representation which would otherwise need to be written to disk to instead be fit into main memory which improves access time.
Yes, Wrapping and Saturating very neatly provide behavior you might want in some context. I use them a lot in embedded contexts.

Since indexing is nearly always fallible, it should be fallible!
Unless you're in government/health. You're going to lucky not to be laid off multiple times in your career and if you're not laid off at all in your career, consider yourself extremely lucky.
Yep, the root of trust has to start somewhere.
People who need less visibility can transmit a different registration or just turn off the various transponders.
The only thing that would concern me is whether it's spoiled --"rotten" and things are coalescing and not fully formed yet.

That said, US-based people I've know that are from the Philippines also think it's a bit odd and do not consume it and they treat it as a joke to shock "the American".

That said, It's not too much different from raw oysters, which I also will not eat.
If history has taught us anything, it is that change will always have a significant impact. In this piece, I explore the future of Web 3.0 and Blockchain Technology and why they matter.
Any science behind your implied claim that port cities will stop operating because of sea level rise, rather than adapting or migrating?

It's incredible how widespread misinformation about climate change is. All these replies from people who support the OP's claim but have no idea why and are just taking random stabs at imagined reasons.
So it’s just happenstance than online gambling mode happens to have a huge profit margin?
Oh, to be clear it has nothing to do with morality. Similar to someone elses comment above, having the experience of thinking you can salsa dance while drunk and actually being able to salsa dance are very different. In the same way, Someone might gain some understanding of H's thinking by taking psychedelics, but that does not lead to the same understanding as actually processing, imagining and writing the material does. I also think you might be devolving a little into flamebait here, as it seems you have taken my statements personally but they were not directed in any way at you.
This makes sense. I totally get the starry-eyed, romantic appeal of rewriting in your new favorite language, but I know that maturity would counsel for a good dose of conservatism when it comes to this.
The fighter jets can refuel during flight, which is a routine operation.
Electronic design automation apparently, not exploratory data analysis.
Agreed that it isn’t ideal, but about “awful” specifically - I’m not too sure. I would never ask such a question but I would assume the intent is just to find out how you think and not to get you to spit out a number. Would it be fun if the interviewer worked together with you to approximate it?
How about a floppy to USB/flash/SSD adapter. Do we need to make the physical thing still?
Would love to hear your take on Amazon.
It doesn't create a green thread.

I meant async in the technical underlying runtime sense of not blocking an OS thread when doing seemingly blocking operations and tried to describe it in an approachable way. Async in the sense of a python or rust function that is declared as async. If you think in terms of function colors (async and non-async) Go only has async ones.

The `await` and `go` bit are an intuition about how Go works, where waiting for the result right away is the default, while running concurrently needs to be called for.

It of course doesn't create needless goroutines on every function call.
"Follow the science!" implies that science can determine an exactly correct public policy but this is nonsense. Public policy is all about tradeoffs,e.g. excess deaths for economics and mental health. It has to take into account how people want to live and their emotional reactions and all the unpredictable complex effects of human behavior. The scientist can say what he thinks would happen to cases in New York City if 95% of people wore surgical masks whenever they left the house and (if he is being honest) how confident he is in that prediction.

How to balance that predicted effect's benefits for society against the negative effects of requiring this is absolutely not up to the scientist and is no more in his field of expertise than it is in mine
The company behind PoE is owned by a CCP-controlled company, Tencent. Go play Torchlight or something. :)
Tip: Use android firefox with ublock and open m.facebook.com
"Basically" means in your opinion. Even north korea is democratic. The US picking between two parties is not so democratic either. Putin maybe a quasi dictator but their government isn't just one guy, are all the ministers in their legislature dictators too? Even with dprk of course they all vote for kim but what about other elections they have?

My question is who cares? They are a sovreign nation and the form of government they have is an internal matter. Their leaders and government are recognized by the world (even America) as legitimate rulers of their country
Blogspam is a subset of SEO, for sure.

This comment does nothing to convince me that it isn't the subset you're targeting, because that last sentence sounds a lot like you're describing blogspam.

(parent comment was edited after I wrote this, read "last sentence" as referring to the paragraph beginning with "We help businesses create more useful content and get it to the right people.")
It will greatly depend on the specifics, I suspect.

An analyst hears something being talked about on a different table in a restaurant by chance is legal.

An analyst offering money to a retired nuclear weapons defense contractor in order to sell might… suddenly disappear.

In between those two extremes? Ask a lawyer, not the internet.
I just want to thank Choose Your Own Adventure books for making my Grade School Book Reports a lot less work :)
The kind of programming language that's designed to make things not impossible, but just a little inconvenient. A bit like Brainfuck, Excel or Lambda calculus.

If that sounds appealing to you stay the heck away from Zachtronics.
Ask HN: How does my bank not know my income?
I received an email from one of my credit card providers asking me to update my income. My first question is: in this modern world where data sharing and collecting seems ubiquitous and cheap, how do they not know this? Don't things like the Equifax Work Number [1] collect that data?

This prompts a more interesting question: How much longer until all of my personal information of this sort becomes accessible to anyone who wants it? What will we lose when it does?

[1] https://theworknumber.com/
Maybe the pinging of a modem? You can tell from the tune how well it is doing!
> “Our API faithfully exposes the data and capabilities of the Federal Reserve, Visa, The Clearing House, depository networks, and accounting tools. It’s lovingly boring and exceptionally powerful.”

Two questions:

1. How is this different than Open Banking?

2. Why is Visa referenced / why isn’t Mastercard included? (Is it because Mastercard owns Finicity, and Open Banking service)
In addition to that, it's pretty common on other dating platforms to say something along the lines of "don't use this much, it's better to reach me on instagram".

Part of that is looking for new followers, part of that is using IG as the primary social portal for their lives.
I'm glad there's a dark theme, but it's all a bit overwhelming. Once I browsed away from the site I kind of sighed with relief. It's all so shouty and eye catching. Just want them to dial it all down about 20%.
'Super nice' is just not the vibe I got from his writing, personally. I liked him anyway. For more nostalgia there's his collection of non-computer columns, A Step Farther Out; IIRC the main topics were space and energy. Wasn't shy about despising anti-nuclear environmentalists, for a counterexample to "super nice".
Pakistan in its current state could be what civilizational collapse in the west would look like. You can't fall off the floor.
> But the strong guarantees of rust are just so compelling.

Rust's safety comes at a cost. I think its not for the greater good to pretend to ignore such, and fall too deeply into hype, that can be partially generated by the companies behind it.

With all things, there are positives and negatives. If you are into RAD or programs that you are creating are not mission-critical like that, then a person might want to avoid things like: longer compile times, low readability, difficult syntax, longer development times, etc...

There is plenty of room for newer languages like Odin, Go, Vlang, etc... Where the focus has a wider scope for more convenient general-purpose programming.
Agreed, I remember dial up using an AOL CD. And CDR was around the corner.
Good work on the pricing and free tier. Much cheaper than your competitors (we're busy testing out ipinfo.io). But would recommend you add a bit more data in your API response if you already have it or can built it out easily. For example, any geocoding, ASN name, whether its a proxy or a VPN etc.
Notion: https://www.notion.so/8be00849e2424c72b60d3882e5ae892b?v=152...
S2 has a good amount of documentation about it.

https://s2geometry.io/

https://blog.christianperone.com/2015/08/googles-s2-geometry...
I don't understand what the advantage of an expansion card that sticks out like that is over using something external on a cable.

The main point of the self contained expansions is that you are unlikely to loose them and they can safely travel around with the device. With a card that protrudes like that, if you want to put the laptop in a bag, you have to take the card out, or risk damaging the card and/or laptop as the protrusion gets levered around. The expansion cards plug into USB-C connectors that are soldered directly onto the motherboard, so the risk of damaging the motherboard though the expansion card does exist (although it's probably not that likely, and any damage would probably be localized to just the motherboard's USB connector).

With a external Ethernet port, you can have the USB expansion card in between the motherboard and the USB Ethernet device, to prevent wear on the motherboard's connector when repeatedly connecting and disconnecting the device.

So what's the gain by using the expansion card format, when it can't permanently live in the laptop? You might as well just use a cable. I guess maybe if you only carry the laptop by hand and have to constantly use Ethernet, like if you're debugging a network installation, it would be good? But a regular USB Ethernet port seems like it would be more practical for most cases.
It might be an exchange rate topic? Since you're highlighting Japan, then yen is very weak compared with the dollar right now, so it seems way less expensive. Compared with the previous generations I think it's quite a bit more expensive.
This essay reminds me of Stein's Law:

"If something cannot go on forever, it will stop."

https://en.wikipedia.org/wiki/Herbert_Stein#Stein's_Law
let innocent_var = operation_that_panics_but_returns_something_random_instead();

unsafe {
do_something_assuming_validity(innocent_var);
}
Thanks for your work! I always recommend this as a well-written programming book.
The entertaining thing here, though, is the creators of TC made the blueprint for a brick and then told a bunch of other people running ethereum virtual machines they they had a plan for a brick. Some initial gas fees were paid so the users would actually absorb the 'brick' program.

Then the creator of TC stepped away.

The node operators took the gas fees in exchange for putting the brick on their accelerator and validated the brick contracts.

Who's to sanction here? Honestly the node operators running the Ethereum virtual machine 'car' look like the closest human to hold accountable, if that's the desirable outcome. Continuing our logic, ethereum should basically be shutdown if the runners of the brick program are to be held accountable, because that's basically every node.
This is fairly unclear. Can I run this code on my machine? What about contributing to it?
Was this related to Singularity University? I think there's a similar house in Woodside these days.
> Not even K&R themselves.

This feels like a town cop enforcing strict speed limits in the couple of miles that fall in their jurisdiction. If K&R show up at your door and want to touch your production code, you just let them, bring them coffees, and ask for autographs. Even if it breaks, it would be an amazing story.
PoE is mostly theorycrafting, which turns into "can I 1-shot this mob before it 1-shots me"
Back in the day it meant falling on your sword and letting someone better/new take over.