skysight-inc/HackerNews huggingface dataset:
When the canonical example of an fdef takes significantly more code than the function itself, I think you have to re-evaluate your approach: https://clojure.org/guides/spec#_specing_functions
For those who don't know already -- one of the best parts about the OpenAPI spec is that it allows generation of the clients and servers and the OpenAPITools/openapi-generator[0] is the tool that does that effortlessly.

If you want to take your CI pipeline to the next level you can run it (dockerized, if you want) from a CI step to generate and commit + tag a completely separate repo to have your API SDK generation completely automated. I've written a little about the dumbest possible way you could do it (i.e. manually writing YAML)[1] for when you don't have proper framework support.

openapi-generator also has some really awesome new features and support for different languages, most recent big release was 4.0 (and most recent as of this post is 4.2.3)[2], been meaning to write a bit about that as well since their haskell support gets better and better every time. Super awesome & convenient project, the value being delivered for free is unreal.

[0]: https://github.com/OpenAPITools/openapi-generator

[1]: https://vadosware.io/post/quick-intro-to-manual-openapi-v3/

[2]: https://github.com/OpenAPITools/openapi-generator/releases
Vathys (YC W18) is hiring a machine learning compiler engineer
Location: Remote

Vathys is hiring a machine learning compiler engineer to build the core compiler to a system that will be a step function improvement in ML capability.

The ideal candidate:

1. Has a good understanding of the fundamentals of deep learning algorithms. Less "I can use Keras" and more "I can write a CNN from scratch in numpy".

2. Has used a NN compiler framework or IR framework in the past such as TVM, MMdnn, MLIR, Glow, Tensor Comprehensions, etc.

3. Has experience with compilers, especially optimizing compilers and compilers for high performance code.

4. Has experience writing kernels for deep learning applications.

5. Has at least passing familiarity with the concept of polyhedral optimizations

Generous compensation will be provided to the right candidates.

Please contact tapabrata_ghosh[at]vathys[dot]ai if you're interested
It takes 10 minutes at most to cycle one mile. What's the problem?
Russia is meddling in 2020 campaign to help Trump, intelligence officials say
This is a false equivalency. The overreach of the federal government is a topic worth exploring but this is different: this is a unification and consolidation of power into the hands of one man.

And to avoid getting too political I'll avoid questioning the loyalties and competence of this individual. I don't care if it was Obama or Bernie or Daffy Duck, this is a dangerous situation and it's compounded by the acceptance/acquiescence of a startlingly large portion of the population.
Multiple hundreds of millions to shoot in the desert with red cameras and add buildings behind armored people with their hair hidden? Plenty of movies have been done like that and they didn't become the most expensive movies ever made (which is actually Pirates 3).
European here. I walked to school, sometimes more than 3 miles from 8 to 12 years old.
Then I took one hour of train from 12 to 18.

Your comment got it right, there is a weird paranoia in the US. Typical American parents never allow their children to do anything by themselves anymore. When I was a kid, I used to play for hours in the street from my neighborhood, sometimes climbing on trees in the wood nearby. My parents had no idea where I was or what I was doing and that was fine. I cannot even imagine what American parents would think if this happened in the US nowadays. Social services would probably be called upon my parents.

I'm convinced that having micromanaging parent is not sane for a kid's mental development.
I'm riffing off what you're saying, not attempting to counter it.
Haha, all good.
Just went through this with my dad. Fortunately he was financially able to be in an assisted living facility which gave me and my sister much needed assistance and help during the process. As mentioned in the article, hospice covers very little.

Unfortunately nursing home or assisted living costs $200-$800 per day depending on the place you live and the assistance needed. If your loved one doesn't qualify for Medicaid, they are responsible for that. Medicare does NOT cover it, contrary to what many think. The only option for many is to drain their savings until they are destitute enough to qualify for Medicaid. One could argue that one reason you save is to take care of yourself in old age, but when the draining of savings actually happens it adds to the emotional toll.

Long Term Care insurance is an option if you plan ahead, but it has become VERY expensive and hard to get now that the LTC providers have realized that their actuarial tables were way off years ago.

Tough situation.
Make sure to check out lmdb if you haven’t. It’s not relational and has an extremely anemic API but it makes a great low-level building block. Sled is similar I’m that regard, very different from the others you have named.
I’m having trouble understanding what you’re saying.

You’d think we’d be better off even with the higher attention, were it to exist, because the level of attention going into making FIDO2 as secure as possible would scale with its userbase. Same with any other security solution being implemented.
Facebook’s “moderation” goes far beyond merely removing illegal material and it’s disingenuous to claim otherwise.
Great intro to synthesis, helped me a lot
We're techies, not doctors. It's the computational solutions that interest us, only secondarily the underlying problems being solved.

Thankfully, it doesn't matter a whit whether or not a bunch of programmers read about medical advancements on their lunch break.
Different Text Colors in Bootstrap
I disagree, you can't just tack on simplicity to an incredibly complex product. Elastic Beanstalk is not in the same class as Heroku (despite both running on AWS). When you look at AWS the strength is in breadth and loose coupling. This allows internal teams to push a massive set of products forward in parallel, but the tradeoff is that the seams show everywhere, which directly works against having a simple and cohesive product experience. Theoretically it is possible, but I think you'd need to brand it outside AWS and probably dedicate way more headcount than a beancounter would deem reasonable to compete with DO, and even then I'm not sure AWS or Google are structurally capable of producing such a thing.
The computer pioneer who built modern China
FancyZones for Windows, efficient window management
That's probably because Bill & Melinda issued their grants a few years back. You can see a list of all of the high-tech outhouse makers here [0]. Many of the designs are out in the field for long-term testing.

[0]https://stepsforsanitation.org/innovation-center/
There's many things CPI doesn't factor. For example house prices:

https://www.thebalance.com/consumer-price-index-cpi-index-de...

"Note that the CPI does not include sales price of homes. Instead, it calculates the monthly equivalent of owning a home, which it derives from rents. That's misleading. Rental prices are likely to drop when there is a high vacancy rate. It occurs when interest rates are low and housing prices are rising. People are more likely to buy houses when the market is improving. Conversely, home prices fall when interest rates rise. As the housing market deteriorates, people move into apartments. That makes rents increase."

Anyhow, the point is that CPI is largely cherry picked data, and the way it factors things can be misleading. I wouldn't be surprised that it doesn't accurately measure people being priced out certain assets entirely.
There's a demo of this here: https://youtu.be/Hjb-AqMD-a4?t=609
In a similar vein, Scale of the Universe: https://htwins.net/scale2/
Try the Rivet mattress from Amazon
Hm the /amount/ of syntax isn't something I think about I guess, this being a Lisp.

I think they've taken the approach of making the system thorough and capable and this being a Lisp, we users can skin it with any level of shorthand that we please.

Datomic (the database from Cognitect) has a similar approach with its schema, which is quite verbose, but many folks that I know tend to simply write a function which spits out the schema, since it's 'just data'.

I tend to use Ghostwheel [1], but there's also spec-tools [2] and others.

[1]: https://github.com/gnl/ghostwheel

[2]: https://github.com/metosin/spec-tools
The Deadpool trailers were better than the movie.
Yeah, all the time, it's how it works - they don't want to give you any feedback (which IMO I should make a prerequisite for even interviewing me and wasting my time) but I barely get that. Just keep chugging along. I once worked at a company that barely hired anyone for 6 months, just kept wasting our afternoons interviewing people.
FCC forced by court to ask the public (again) about net neutrality
North was pretty standard by the 1800s, or indeed by the 1600s.

But there's a map in the public library of my hometown, showing it in 1890, in which the Old West Side is at the top of the map. So I'd guess that non-standard orientations were more common than they are now.
Let's say a server costs $10000 and gives you $500 a month in profit.

Borrowing money to buy that server is definitely not giving away free stuff. Nor is that pricing unsustainable.

No matter how profitable a business is, there's a limit to how fast it can expand debt-free based on how fast the profits accrue.
Yeah, but their COGS would likely include shipping, return costs, AWS fees, etc., so the math could work.
Clojure is hands down my favorite programming language till date, and I've used a handful at this point. Got professional experience with C++, C#, ActionScript 3, Java, JavaScript, Scala and Clojure. And I've toyed with Python, Kotlin, Rust, Haskell and Elixir a fair bit. Still, I'd say Clojure is my top. Its just well thought out, to the point, and so fun.

Wish the core team many more years of work, and I hope the ecosystem stays afloat, and prospers.

Also, kudos to never breaking my code! That quality is so underappreciated.
HDDs should be fine, I think. Magnetic dip in rocks endures for billions of years, permitting studies of paleomagnetism to reveal historical latitude. Of course, the magnetized regions in a disk are a few microns away from opposing regions, and that is a higher energy state than having them all aligned, but I would still expect the remanence decay time for that metastable state to be geological, given the ultrahigh coercivities used in modern disks to reach such high recording densities. Unfortunately I don't really understand thermal magnetic relaxation.
>Or put in mathematical terms, the proof of a theorem/statement cannot be any less complex than the theorem/statement itself. The closest you can get is a trivial theorem/statement whose proof is of equal complexity to itself.

I don't think this analogy is apt. The domain of all problems and all associated solutions which programming covers includes proving theorems but this does not fill the entire set of all problem and solution pairs.

A problem could be: given axiom A and axiom B what are 100 theorems that you could generate that utilizes one axiom or the other or both? This is analogous to my reversal of the addition problem. The solution is not deterministic and is not irreducible.

In your vernacular you use the term well-formed without fully defining it. Intuitively I think by well-formed you mean deterministic and irreducible.

The domain of all problems and solutions includes "well formed" as a subset but encompasses much more than that. Programming is able to generate "1 + 1 + 1 + 1" from 4 and simply because it is 100% possible to write a program that does this, therefore the context of the discussion includes problems and solutions that are not well formed.

Your intuition is wrong in the sense that you believe all problems and solutions have to be "well-formed." They do not.
You asked the question and now you don't like the 'idea' of the answer. Use real numbers instead of feels, and again if you need real concurrency, use a real database.
https://news.ycombinator.com/item?id=22378553
People have been doing this exact thing for two decades at least but obviously with less computing power. There's literally nothing new about the idea. The real trick is being incredibly lucky and finding something that actually works in humans after multiple trials. I'm sure you know this based on your comment and this isn't really directed at you (truly wish you best of luck, I really hope the computing power and skill we have saves lives) but I absolutely hate these types of articles, which I've seen becoming more frequent the past year. AI + scientific challenge + possibility = puff article. This is the type of semi-hysterical reporting I expect from a local news station.
Things That Setup New Developers for Success
What's the threat model that requires multiple identities?
> I'm pro right to die, but it's complicated.
> I think I should have the right to say "Nope. I'm done with this crap."

This is a pretty standard way of staking out a position on this topic but I think it is quite misleading.

Laws regarding euthanasia have very little if anything to do with limiting the actions of someone who wants to die or protecting their "rights". After all they can't be prosecuted after they have passed.

Without some special provisions, a doctor or anyone else who assists in someone's death could be prosecuted for criminal homicide. And once you've carved out that exception you also have to devise a way to protect an individual from being killed by someone under the pretense of lawfully assisting with their suicide.

So it isn't really about the "right to die" but instead is about regulating homicide. I know that sounds strange, but there are several legal principles that could be described as "regulating homicide". For example committing homicide in self-defense or in order to protect someone or as part of a lawful military action.
I'm thinking plastics in everything: foams, fabrics, coverings, resins, glues. Even fasteners and structure.
I kind of agree, theres an obvious difference between a bank loan and typical startup equity seed round. However it does get very blurry in practice, eg:

- Redemption rights & liquidation pref in preferred shares effectively turn it into a loan

- Convertible notes are debt instruments but most obviously should be described as "raising"

- Venture debt typically has upside in the form of share options in addition to the debt repayment mechanism
I think the Vim way is to spend very little time in insert mode, so most of the time you don't have to think because you will be in the other mode. That said give me VSCode anytime!
UOS aims to replace Windows in government and public institutions in China
The "blah blah this could have just been a library instead of a DSL blah blah no one will use this blah blah" conversation always comes up, but always ignores the fact that even if it were just a library, that alone wouldn't make people use it... It also ignores the fact that you'd get just as many "blah blah why not just use this other existing library blah blah" comments.
A few years ago I started a personal project of implementing a lot of common ML algorithms in both Scala and Clojure simultaneously. I expected Clojure to be a much better fit for this sort of thing but I was surprised to find that as my codebase grew in both languages the Scala code was much, much easier to understand and maintain. There were a lot of time consuming bugs in my Clojure code that were prevented by Scala’s strong typing. I was able to refactor with a lot more confidence in Scala.

So as much as I like some things in Clojure I’d pick a statically typed language for most jobs now.
Ah that was just a bit of a rhetorical flourish.

Forms put data into databases, analytics take it out and do stuff with it. That's kinda like a dual, if you squint and wave your hands enough.

Where VBA is concerned, forms to put data into the database, and analysis/report programs that take it out again, have always been the main use cases.
And this is the right way to look at it. In addition to being a free agent, every citizen should be treated as a shareholder in the nation.
Download Music: Hushdot- twale – 9jaflaver
Obviously Tiger was into athletics because he felt it improved his golf performance - and was probably right in doing so, considering that it was his peak period of accomplishment.
Probably SQLite if not just flat files
Schema is a pretty nice alternative: https://github.com/plumatic/schema
Walmart has a decent quality memory foam mattresses for under $200 (Spa Sensations). I've used them for many years and don't see a reason to spend more.
Do you have a source handy? Would be curious about the context of this.
Or maybe it's because you don't see articles about open defecation posted here all that much.

I can find two. One from two years ago and one from six years ago.

https://hn.algolia.com/?q=open+defecation

If you search on toilet, there's a lot more articles that come up, but at first glance, most don't appear to be about solving open defecation, though there is one on the front page of the search about the Gates foundation funding toilet research.

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

In contrast, you can put in antibiotic resistant and limit it to the past year and get pages of hits. Granted, they won't all be about the latest sexy research methods.

https://hn.algolia.com/?dateRange=pastYear&page=0&prefix=tru...
Learning and switching to Clojure as my primary language is the best decision I've made in my career (which is relatively short at 10 years, I'll admit).

It's probably somewhat decreased my earnings compared to trendier languages, and I worry that the market for Clojure developers is small and fragile which might bite me in the future... but I've never been happier doing my job than I am since I've started working with Clojure!

- The language itself is beautiful to read and write, minus a few warts that take some getting used to here and there.

- The jobs that are there tend to be smaller teams at larger companies which is my preferred type of setup.

- The community is mostly self-selected and tends to be fairly friendly.

- Working with the REPL feels like having a conversation with your computer, teaching it how to do what you want it to do vs fighting with a compiler.

- I like the "batteries not included" ethos - everything is a library and I can pick and choose what I like.

- Working on the JVM means I get access to untold thousands of Maven packages plus the JVM itself which is a very solid system.
Thank you! This is much needed!
To add to your useful comment I’d like to suggest the Stoplight desktop editor (electron app).

I’ve tried pretty much all GUIs that existed a year ago or so, and started with Apicurio which was good, but was missing support for oneOf, allOf and the like.

Switched to Stoplight and it has been great! Love that you can just manage your spec in a repo along with the project.
> What assumptions allow serious players to assume this?

I mean that's what currency holdings are (at least, it's the only model I know of that makes sense). People who held pesos and people who held local-law bonds were in much the same position in the Venezuelan crisis and reacted much the same way.

The weird part is the other side: the assumption that you can treat treasuries as a cash equivalent, which rests on the assumption that the federal government will keep consistently wanting debt and will keep targeting a stable rate of inflation, that there will always be a functional tri-party repo market, etc. Occasionally these assumptions are violated and some people lose money - see the "flash rally" for a fun recent example.

I mean, the traditional model is that bonds are less liquid and less dependable. A government pays a bit more interest on them than they pay on cash deposits, but in return they get the flexibility to issue more or less when they want to. They're not inflationary to the same degree as cash, because everyone understands that bonds are not quite money, that a missed interest payment and a debt restructuring is not quite a currency crisis; people don't accept bonds in lieu of conventional payments. But US treasuries are well past that stage; if more are issued, that changes the de facto money supply, and the federal reserve watches that effect closely. If the US risked defaulting on treasury bonds, there would be massive panic. The government, i.e. the public, pays all the costs of issuing bonds instead of cash, but gets little in the way of benefit; they monitor their issuance so closely (to prevent things like the flash rally) that they might as well just issue cash instead.
That seems an unfair criticism, most of that fdef is about the relationship between the args/return as opposed to just the types.
From Shewchuk’s thesis:

> From the beginning of the implementation of Triangle, and well into the
development of Pyramid, floating-point roundoff problems plagued me.
Each program would sometimes crash, sometimes find itself stuck in an
endless loop, and sometimes produce garbled output. At first I believed
that I would be able to fix the problems by understanding how the
algorithms went wrong when roundoff error produced incorrect answers,
and writing special-case code to handle each potential problem. Some
of the robustness problems yielded to this approach, but others did not.
Fortunately, Steven Fortune of AT&T Bell Laboratories convinced me, in
a few brief but well-worded email messages (and in several longer and
equally well-worded technical papers), to choose the alternative path to
robustness, which led to the research described in this chapter. For
reasons that will become apparent, exact arithmetic is the better
approach to solving many, if not all, of the robustness worries associated
with triangulation.

Of course, what can be done with polygons is often not feasible for more general kids of shapes like parametric cubics.

* * *

What is a “clever vector path algorithm”, and how do you avoid them?
No. It's more effective because it's fundamentally more secure.
Cosmetic Ad Filtering in Brave
because the cost of a train/bus driver is negligible compared to the train/bus and its riders.
Don't plan to sleep on it right after you take it out of the box. Give it a few days in a well ventilated room - open the window at least a bit. If you can keep it on the balcony, it will work even better.
It is so hard to find true friends nowadays, I feel jealous and happy while reading this article.
Similarity clustering to catch fraud rings
This is really interesting, I might give this a try over the weekend!
Philosophical Zombie
> There is one major benefit of a Spiking Neural Networks is the power consumption. A ‘normal’ neural network uses big GPUs or CPUs that draw hundreds of Watts of power. SNN only uses for the same network size just a few nano Watts.

I don't know much about machine learning, so this is confusing to me. How do SNNs use less power than CNNs?
Just keep in mind that if you just disappear your family won't be able to get a death certificate for at least 7 years if they don't find a body. With out a death certificate they won't be able to collect life insurance, inheritance, or deal with the estate.
The standard is actually designed specifically to prevent that.
Most things here are arranged that way and it works pretty well for the most part. There are a few things that still have cliffs, though. One of my friends is on a disability pension but is still able to work part time. If he works too many hours then he's disqualified from the pension so he's had to cap his work hours. Another thing is the childcare subsidy for working households - the subsidy itself scales in a reasonable manner but there's also a hard cap on annual payments which applies above a given household income threshold. If you go slightly over the cap you can end up out of pocket by $10k or more.