skysight-inc/HackerNews huggingface dataset:
It already has the Linux kernel, a Wayland compositor, PTYs, symlinks, POSIX compliant filesystem and now a package manager. Clearly, they are interested in moving the gap.

Jokes aside, I don’t really think it’s a possibility in the near or mid future, but if Microsoft ever did show signs of pivoting towards a Linux-based Windows successor, I only pray that the NT kernel source code may be open sourced under a decently liberal license. No matter how late in time that move occurs, it will still be a boon for preserving an entire era of computing.
Not only are they rolling it out, it is the primary identity provider for the Social Security Administration (as of a few weeks ago), CBP’s Global Entry, USAjobs, and about 200 other federal sites (mostly internal agency sites and apps, including USDS’ Slack team). They also support state and third parties in certain cases.

They are an incredible product of the USDS, 18F, and GSA and it’s awesome watching them slowly but surely make digital identity with the US government better.
Open developer settings and change the three "animation scale" settings to 0.5x. Modern phones rarely have responsiveness issues outside gratuitous animations.
On BTC/USDT markets. It will collapse the USD/BTC markets that futures contracts use.
AMD was doing 3.9 with 4.5 turbo in 2012 and just like the P4 it didn't really do much per clock.
Some places do have energy and material recovery facilities next to their landfills that try to extract useful metal and useful energy from trash.
This IMHO is why React destroyed AngularJs.
I heard Apple is working on hearing aid software for AirPods. This is excellent news all around. My hearing is pretty decent (save for very mild tinnitus caused by being an "invincible" idiot when I was younger and listening to music at max volume), but I'd love to be able to use vaguely AirPod shaped, reasonably priced hearing aids which would, for example, boost speech and attenuate noise in noisy environments, especially if they are able to do so directionally, for the source in front of me.
What I've never understood is how the atomic nuclei has such influence on macroscopic chemical properties. The only useful property of the nuclei is its charge - an integer number, so all macroscopic effects should be completely defined by that integer alone, and all properties of water are sufficiently described by just three numbers - 1, 8, 1 (in any order).
>"Our industry (like any other) has very loud yet very dumb people who convince others that their way is best."

This is so f..g true. Also clearly seen here as well - preaching that this way is bad and that way is the true one.

>"I used to believe the above was fixable. Now I know better and just stay away from big companies. Work is more fun and fulfilling that way"

Exactly what I did. After reaching top still somewhat technical position at the company I got so fed up and burned out that I quit. Went on my own and been this way ever since for some 20+ years.
LedgerX.
For the uninitiated (like me):

https://en.m.wikipedia.org/wiki/Datomic

https://en.m.wikipedia.org/wiki/Datalog

It's a distributed database implementation of Prolog.
Here's the wiki article: https://en.wikipedia.org/wiki/The_DAO_(organization)
Think you're making a lot of leaps here, unless you're very knowledgeable of how recycling works in practice...
> A copyright license is a written agreement not dissimilar from a contract.

Neither a copyright license nor a contract needs to be a written agreement, except in special cases, and a copyright license either is a contract or is a gratuitous license.

> because the violator needs the agreement to be valid to avoid copyright infringement.

Not in US law if the use would be within an exception like free use, even if it is purportedly prohibited by the license (which, if the license were a valid contract, would prohibit the conduct even if it was free use without the contract being in place.)
> Take the argument that it is currently easy to tell whether or not it's a good time to call someone on the other side of the world. Currently, supposedly, all you have to do is look up what time it is there. This is, frankly, bullshit.

It's actually much easier than that. Just call them, and if they're asleep their phone will be on silent.

But honestly, who do you know who lives on the other side of the world, and you're close enough with them that you would give them an unscheduled call, but you're not close enough with them to know what times are good for them to receive phone calls, and you're worried that they would be upset by a phone call at a bad time?
Your user name is "nine" and you're studying a Wikipedia page about the Semitic letter which means '9' in gematria. Is any of this a coincidence?

Nein!
You can't read all the data off the passport chip without first entering some of the info printed inside it, so I don't think it's an entirely passive read protocol.
IIRC, back in the day, there was the original DAO. They released this very large contract, citing "the code is the law".

The code had a bug, and someone drained the $50M or so contract.

Since everyone lost a bunch of money, the majority agreed to fork Ethereum and roll back the hack, leading to "Ethereum" (with the roll back), and "Ethereum Classic" (without the rollback).
> a 5% drop in the price of Bitcoin would make Tether literally insolvent.

Didnt BTC go down to 30K from 60K just recently?
It’s been the rule for all my life. I think I should be allowed to feel that it’s the rule rather than the exception.
artix and devuan devs like this post.
I like the idea of having iOS as just a portal to a bunch of your apps, but I think saying something like this would've made much more sense 5+ years ago. Nowadays, 99% of people see their phones are far, far more. Whether that is a good or bad thing depends on the person i guess.

> 7: "swipe to unlock" in thin text on... the background? So what do I swipe? Oh, the screen itself...

I can already detect what is probably a massive difference in technical literacy and age between us but I'll humor myself anyways. I still have an iPhone 3g lying around with the old physical looking slider and while i do agree it made more sense than just swiping up from the background, our great UX overloads at basically every phone company around the release of iOS 7 probably decided that just swiping on the background was more aesthetic and "modern".

Now that I think about it, the same could probably be said for just about any major mobile UI change over the past few years.

Also regarding what you said about the move from a physical home button, I am torn here, I like both approaches very much (as someone who has an iPhone SE and a 13 mini on hand) and can't really decide which is better. Though I will admit that once you really master the fully gesture based UX of newer iOS releases, it is just a tad but more efficient, if less "sensible" overall.

I still do wish Apple made a flagship alternative iphone which was just an 8 plus but with the latest and greatest chip and screen and battery and whatnot but with classic old look and feel, I have no doubt it would sell pretty well too.

> Overall it's just far less relaxing and straightforward than it used to be.

I genuinely believe this is by design, these products (both software and hardware) are being sold to people who already know what's been going on for the most part (and in the case of newbies, this is what they are first introduced to so they never even knew there was another reality) and can easily adapt to the new interface changes. In practice, I remember people being frustrated about the iPhone X's gesture based interface but Apple has improved it to the point where no one really mentions it anymore, it's just a part of the refined iOS experience now i guess.

> Swiping the screen up from the bottom is not a complete replacement for that.

Last note, you have to at least acknowledge that it's mad satisfying to do so, if a little unnatural at first.
> I don't think i agree with that definition of symbol.

Really? How would you define it?

> The word "Dog" refers to an equivalence class

Yes, and if you wanted to, you could use dogs (actual physical dogs, not the word "dog") as symbols. It would be kind of a silly thing to do, but you could. (For the sake of completeness, because I'm not 100% sure this is what you were referring to, the word "dog" is unambiguously a symbol, one which denotes the equivalence calls of actual physical dogs. The equivalence class of the word dog includes things like "Dog" and "DOG" and "perro" and "hund".)

> Is first-aid a sub-discipline of mathematics in your view?

No, because the business of first aid is not the business of manipulating those symbols, it is the business of manipulating actual physical bodies. First-aid isn't math for the same reason that (say) building computers isn't math. This is not to say that math can't be a useful part of either of those activities, but they aren't equivalent.
your comment makes me realize I have not thought about GHz for a long time. I think we just don't have the demand for high clock speed anymore so they didn't push for it?

I'm not a hardware guy but I remember reading that added cores are better suited for mobile computing (thermal and energy wise) than clock speed.
A noinline inline function? What sorcery is this? (2020)
You would thinks so! But one time in the middle of Shinsekai in Osaka I've seen a trash can for drink cans full of regular trash - oh, the horror! ;-)

On related note, Shinsekai is nice - it remainded as a bit of back home & the hostels there are super cheap. :-)
Zaid Ajaj is prolific to say the least. I can't believe the number of F# tools he has created.
> However, if you look closely, even that pipeline is kind of skewed. Very few Americans pursue advanced degrees, and even when they do, they concentrate towards business or some other non stem course.

I would imagine this is a symptom of immigration abuse more than a rationale for more of these visas, as if often touted.

Besides tech, US universities are probably the biggest abuser of the foreign worker / visa pipeline. Not only for workers themselves, but the educational system itself now caters to inflated tuition paying foreigners who know they'll be awarded, on top of their degree, an OPT or similar visa that will allow them to chain it to another longer term method like Perm residence, marriage, H1B, etc - such that they'll be here for decades with the ability to remain and work and (push down wages for citizens), even though the original deal was they were coming here to study for 2 years and then go back home.

If you were a smart 20 year old American deciding on your major, and you noticed that 90% of the tech classes were foreigners, what would you do? And furthermore, the graduate tech programs didn't even seem to want you, because they knew they could get a foreigner to pay 2x as much tuition and / or work twice as hard, because the gov't was allowing the college to essentially "sell" a work visa along with the diploma to the foreign students.

If I were advising some bright 20 year old, I'd tell them to run from academia and tech as fast as they can - use their smarts in law or medicine where you'll make 2x as much with 2x the respect, and you won't be competing against millions of foreign workers in your own country.
Wait till it gets ransomwared and then you'll see something... I sure hope they have a plan B.
Ask HN: Open-source / DIY digitizing hand written notes?
Hi HN!

I have several years worth of handwritten notebooks that would be really cool to transcribe and make searchable within my personal knowledge management database.

I am wondering what options might be the best for transcribing many years of handwritten notes to digital format?

I was (naively) thinking of trying to learn some Machine Learning and train a model for OCR, but, am thinking this seems like a common problem that might have been solved before?
What guarantees that everyone would sell that Bitcoin for USD?
Now that I think of it... I inherited some generic, large suitcase from my family when I was young, in the early 2000s. I used it for some international house moves, where I had it absolutely packed to the brim with possessions, and I distinctly remember carrying it around and getting blisters on my palms from the pressure.

The thing is, it actually did have wheels. It had pissy little casters, about 1" in size at each corner, and basically totally useless/ornamental for anything but a perfectly flat floor. Also, the form factor was totally wrong - the wheels were on the bottom / long side of the traditional suitcase design; when resting on the wheels, the handle was still at about knee or thigh height.

So, it's not just a matter of having wheels or not, it's also about the vertical form factor modern "spinner" suitcases, as well as the extendable handle. I'm no luggage expert, but I suspect the telescoping / extending handle is actually fairly tricky to manufacture as compared with slapping some caster wheels on the bottom.
>First, police disproportionately arrest people of color, especially Black people.

That's similar to saying that police disproportionately arrest men relative to women, therefore they must be sexist.
You would still need to transfer data, and the state troopers would incarcerate you. Aggregate data is still data.
my partners hearing aids has a smart phone app, but it seems to be built with the concept of someone else putting the calibration into it. They can then create profiles for the different situations, however it strikes me that the hearing test calibration could be done in the app as well. I would imagine for a lot of people, if you could just buy them online you wouldn't need the clinicians for many cases.
Structure editor can mean many things things.

You have text file that contains structures the editor knows about. You can edit and modify syntactically and semantically incorrect structures, leave them broken incomplete, etc.

Then there is a strict structure editor idea, where editing is writing ensures correct structures, modification happens from correct structure to another correct structure. That has never cached on. It turns out that editing code is more than just writing down the algorithm. It's also sketching, doodling and playing with ideas, ...

Lisp environments have the best of the both worlds. You have text, but also alive structures that live in the runtime image and can be saved. Close match between text syntax and the internal data structure makes it pleasure to work with.
There’s a 90’s style browser in Haskell here for demo purposes. Lacks JS.

https://github.com/chrisdone/vado
There are also other S3 providers with much more sensible pricing, like Backblaze B2, Wasabi, or Cloudflare R2.
I think that's the real question. How much does it cost to add a bunch of packaging that serves no purpose other than to sell the item? I have no idea.

At the same, I don't think doing nothing at all a good alternative. If anything I don't even think this is the biggest obstacle. That's probably the fact that literally no country in the world wants to volunteer to put themselves at a competitive disadvantage.
They (through Alameda) issued about a third of all USDT, ever
Beverage (e.g. fancy dispensers that dropped a cup and filled it with your choice of juice, coffee, etc) and food vending machines (sandwiches, microwavable meals, etc) used to be much more common. I'm old enough to remember them from the 1980s and 1990s, albeit as a kid, and they seemed very common, though in the 1990s they began to look antiquated--very 1970s'ish. At some point I stopped seeing them altogether. One of the last beverage machines of that sort I remember seeing was in a university break room circa 1997.
Not exactly what you’re after, but https://www.lowtechmagazine.com/
If people aren't buying as much Bitcoin at $100k+ (I assume you are referring to Bitcoin), then what will cause it to go to $1m? I don't think they can have a guaranteed pump like you are saying.
Show HN: Tag. A tiny JavaScript framework from that dude that built Cutestrap
Not specific to detective books, but nearly identical concepts:

The Thinkers Toolkit - this has some good techniques for breaking down problems and how to structure your questions.

Structured Analytic Techniques for Intelligence Analysis - This is I guess more of a textbook for teaching people how to structure analysis and provide some insights in how to approach and analyze different problems.
Shout out to 18F and GSA Digital services people. They're doing god's work where most government agencies are dysfunctional and completely incompetent.
I've never dealt much with transpiling to JS, but I would guess that it's a lot easier to do it from the AST or some other higher-level intermediate representation than it is from CIL instructions. That way you don't have to fuss with programmatically figuring out what stack manipulation instructions are trying to accomplish or any other target-specific noise like that.
Not quite, it's a middle ground, https://fable.io/docs/dotnet/compatibility.html Blazor, (or Bolero as an F# friendly extension) compiles to WASM to run any .Net library.

In practice you occasionally find something that doesn't quite work, for the most part things related to IO and the TPL but I occasionally run into some more niche functionality with Date & time for example.

You can use most of the core F# library and some non fable centric libraries (e.g. FSharp.UMX of FSToolkit.ErrorHandling) work just fine.

I find it mostly a non issue, as any IO you want to go through the browser API instead or it's not supported. It didn't take take long at all to easily slip into the "I'm in the browser now" mindset.
Podcast – Bitcoin ETF debut – what you should know and how to buy?
An improper hearing test can result in an improper amplification curve, which can lead to further hearing loss.

Perfect is perfectly acceptable to aim for, when it comes to your hearing for life.
Because it's not nonpublic information. It's public information that no one else had put together the pieces on, yet.

(Contrary to some of the other commenters, you don't have to be an insider yourself to run afoul of the law. If the information is not public and you got someone to leak it to you, for example. https://www.investor.gov/introduction-investing/investing-ba...)
Why would it necessarily tank the price? Using tether to pump the price attracts new investors, and if the rally starts to slow, they can just print more
Crypto markets maybe, but not main indexes. Experienced financial players smell tether for the scam it is and don't touch it, or I'd they do, they're in on the grift.

Laymen who bought the hype stand to lose a lot though.
> for example, look how much relies off the idea that the universe is the same everywhere, which we now know as wrong

What is this in reference to?
there's good amount of drama right under the surface if you look at dark matter as "unexplained fudge-factor that gets bigger any time we look at space with more accurate instruments"
Pages and word count are after-the-fact measures and don’t have a relationship to either perceived value or productivity. Nor does the time it takes to write a book. Schedule and length may be imposed by an editor or publisher, just like programmers get from managers.

Code that adds business value (or reduces business costs), delivered within schedule and budget, is what management looks for. But is that What we mean when we programmers talk about productivity? I don’t think so.
The Mac pro is still a Intel based machine, it comes with relatively beefy GPU configurations as well ( the PC world has even better options) and with a lot of expansion slots that you cannot do in a Mini, the top of the line model is a 28-core 2.9 GHz processor. It will definitely beat the M1 Mini[1] in performance and cost(~5-10x).

You(I) may not see the value of that increased performance[2] and will be unwilling to pay the premium (assuming there is no use for other features like expansion cards), however there is decent market who do value that 2.5x more than the 5-10x price difference it costs.

[1] Roughly 2.5x in multi core performance. https://browser.geekbench.com/mac-benchmarks

[2] The power draw is also considerably more for the Mac pro ~ 1180W compared to 150W for the Mini, so not 1:1 comparison technically, however if you are only looking at non portable compute as the only value prop then it shouldn't matter.
Anecdotally, I got 2 32gb intel servers for €20/month a piece before Hetzner became known everywhere and prices rose. Now I’m locked in.

The biggest issue is their limited regions. Otherwise I’ve only ever been extremely happy.
It happens outside the U.S. as well, but the U.S. has a particularly weak form of democracy which makes it more prone to regulatory capture. In particular, money is a more powerful policial level in the U.S. than in most other democracies, and that creates a positive feedback loop that tends to encourage and reinforce regulatory capture (you use RC to make money, which you then turn around and use to pursue more RC in order to make more money...)
My degree is in mathematics. Opinions vary on whether that's considered a science (I consider them distinct).
(NB: Post author here)

Glad you liked it! Please do give us feedback especially about how it is to use with your library…will be intrigued to see how they interact. Also , cool to hear about the library more generally, any particularly good syntax you think we should try to learn from?
I'd imagine the folks who take up these projects require f# everywhere in their lives to obtain happiness
Correct. Tether is a giant scam as I and many others have said before: [0]

Won't be surprised to see the scam finally unveiled and to cause a seismic crash in the crypto markets.

I would start packing my crypto holdings out of the market real soon™... Things are getting quite, unstable and euphoric once again.

[0] https://news.ycombinator.com/item?id=27960613
Not necessarily. Aside from being more technically challenging, it's more of a "what are our goals" kind of question. Do you want to give F# developers who are afraid of javascript a way to avoid it altogether, or a way to bring those developers into the javascript ecosystem?
Fugitive businessman close to Venezuela's Maduro extradited to US
In some respects, yes. But both are creative and technical processes that show huge variance in quality and value across writers and programmers. No analogy is perfect but if we intend to measure programmer productivity we can start by looking at how that’s measured in similar activities.
> If you want to call that informal, fine, but that seems to me like a pretty tiny garnish of informality on top of a mountain of formality.

Perhaps you forgot, but you decided that this sin of sprinkling a tiny garnish of informality was so circular and awful that you had to stop reading right there, and provide paragraphs of explanation as to how "number" is a formal concept.

If you really thought this was just a tiny garnish of informality atop a mountain of formalism, then I don't know why this is the point you had to stop reading to warn people that this work sucks.
The public’s one account for government
Metals are really easy to reclaim and the energy required to separate nearly pure metal from some minor contaminants is a lot lower than separating it from ore.

If anything, recycling batteries is one of the most obviously beneficial things to do. Works for lead, and recycling aluminum cans was also cost effective (when you get rid of the cost of collecting the cans). Glass is also cost effective.
Because I had to look it up :

> 2008 Nobel Prize in Physiology or Medicine for his discovery of the human immunodeficiency virus (HIV)

> During the COVID-19 pandemic, Montagnier was a promoter of the conspiracy theory that SARS-CoV-2, the causative virus, was deliberately created in, and thereafter escaped from a laboratory.

https://en.wikipedia.org/wiki/Luc_Montagnier