skysight-inc/HackerNews huggingface dataset:
Two counterpoints:

- Direct your discontent toward the corporations and landlords who are exploiting Prop 13 when it wasn't intended for them. It was intended to protect homeowners (often on retirement income) from skyrocketing property values that is out of their control. It's done great at that, but unfortunately (like any regulation) has also been exploited by the greedy.

- That aside, don't presume to be entitled to buy the house you want in the place you want it to be for the amount you want to pay for it. It sucks that I can't afford to buy a nice home in my hometown because FAANG came in and made it the place to be, but I'm also not entitled to that. The notion that people like my parents ought to be taxed out of their home so that well-off twentysomethings can have a more favorable property market really grinds my gears. There are lots of people trying to just live in their hard-earned homes after doing the work and taking the risks of building the tech industry, and most of them didn't become wealthy venture capitalists in the end. Just like most of us won't.
In 2017 Doxagram made well over 100k selling a emails and phone mumbers associated with a relatively small list of instagram accounts.
Fable (F#) has interop with JS and examples using an Elm architecture.
Why software have to be so complex
> You can't and shouldn't rely on your audio handler getting called on time via a timer in order to keep playback stable, especially not on a non latency sensitive use case, which Netflix very much isn't.

I don't understand this criticism, but I am likely missing something.

From what I gathered from the article, Ninja is specifically for firmware. It buffers frames, and delivers those frames whenever requested.

> your processing loop needs to be directly driven by audio hardware buffer events/interrupts

Again, I could be missing the thrust of the criticism, but isn't that exactly what's happening, here? Ninja supplies an endpoint, and it's the hardware that calls it?
On the flipside, isn't this just a case where you are bound by the CAP theorem? If you want your central identity management database to be consistent and available, as I imagine Google do, it can't be parallel?
Exactly, we can all to some extent look at our outcomes and compare to see where we stand. It's what grades are for, after all. A humble attitude in a completely new environment isn't a bad start though.
ReasonML is, as it has always been, a 100% syntax map to OCaml. It will always be that, but moving forward it will be nothing more than that. Compiling future ReasonML versions to JS will require js_of_ocaml.

The success of BuckleScript meant that a _lot_ of people used what they thought was ReasonML but it was really ReasonML+BuckleScript. This lead to a ton of confusion the moment newcomers realised they needed a second website to look up APIs.

ReScript includes a snapshot version of ReasonML for backwards compatibility, but it will never be upgraded.

The future of ReasonML is likely slow and steady progress, potentially fading into obscurity as the target audience is now very small (OCaml developers who don't like OCaml syntax).
What? are you implying that the US government perpetrated attacks on US gov personnel?

the amount of insane unfounded crap posted in HN comments is growing and i'm not sure if there is a fix.

BTW recent articles say it's microwaves
Matrix is great IRC, slack replacement but signal is WhatsApp replacement.
US Covid relief bill smaller than either parties pre-election promises
As someone who considers himself well read and reasonably curious, I’ve found myself falling victim to “fake news” through social media. I’m quick to admit I was duped when fact checked by friends during conversations, but I’m nevertheless still longing for the days when I didn’t need to find at least 3 sources for any vaguely controversial thing I learn.
[dupe] https://news.ycombinator.com/item?id=25426195
From a proof-theoretic perspective, mapping a problem to SAT and proving a statement by solving a SAT instance may be regarded as "brute force" because, as the article mentions, the proof is in a sense "meaningless" and hard to generalize.

However, from an algorithmic perspective, an approach such as the described one, which uses look-ahead and conflict-driven clause learning (CDCL), is much more sophisticated than a naive exhaustive search that relies solely on brute force to solve the task. The article mentions this:

“Look-ahead recursively splits the problem as cleverly as possible into subproblems, via looking-ahead. CDCL tries to assign variables to find a satisfying assignment in a straight-forward way, and if that fails (the normal case), then the failure is transformed into a clause, which is added to the formula.”

Quoting from https://en.wikipedia.org/wiki/Conflict-driven_clause_learnin...:

“The CDCL algorithm has made SAT solvers so powerful that they are being used effectively in several real world application areas like AI planning, bioinformatics, software test pattern generation, software package dependencies, hardware and software model checking, and cryptography.”
There was a story about a rental car stopping when it crossed a border, because the rental package was domestic use only.
Assume nothing! If, for some reason, it is important to get an accurate gauge of how you rank compared to others, then find engage some kind of assessment that will determine that. If that's not viable, then it probably isn't important to know (often when it is viable it also isn't important to know also).
This isn't really a Hacker News-worthy subject, but since we're all here, I would interpret this news as an indication that the most destructive, norm-breaking impulses of this administration are yet to come. If you're planning something so absurd that even Barr won't go along with it, you know it's going to leave a mark.
Happy CAC user here. I would love to see them as common as driver's licenses. Maybe then we could do away with SSNs as a secret identifier.
My cousin burned a hole in his stomach with Ibuprofen trying to quash some pain that turned out to be metastatic esophageal cancer. (Somehow, he's still alive.) Mind your NSAIDs!
1) A high-speed rail from LA to NYC would take ~15h with stops in the middle. While it's a large investment, it would shave off millions of tons of CO2 released every year. Of course, you cannot travel oceans with high-speed rail.

2) Again, fast travel across the globe is a luxury, not a necessity. More than 80% of the world's population has never been near an airplane.
It's funny that you expect me to find a charitable reading of what I consider an obvious non-sequitur; while denying my comments the same curtesy.

Yes, I used some colorful language; my argument would probably have been stronger without it. I'll try to avoid loaded terms like "dumb shit" in the future.
I've used kate a lot in the past but my favourite editor pick has to go to Visual Studio Code with the vi extension, followed by vi.

Visual Studio Code feels like what kate promised to be but never was, mainly due to all the bugs and lack of love for extensions.

Thus, the world is forced to endure webview resource hogs that are designed to phone home extensively just to be able to experience what kate promised but never delivered.
Yeah, they really botched the implementation of such an essential feature.
from the feedback I got, they migrated to something else
> sift through material from around the body in order to scan for infection. Without lymphatics, fluid would build up in body tissues, and there would be no way to alert the adaptive immune system to invading pathogens

sift/scan/alert/invade

I always find it interesting how much agency we assign these systems when we describe them. Listen to some of the descriptions of our genetic machinery, you’ll hear the same thing. I understand much of it is to help the audience understand, but even when you dive deep into a topic it doesn’t seem to go away entirely.
"Futurism’s ties to fascism are not a thing to brush off lightly, but it’s also important to remember that Marinetti believed it was the artist’s duty to put forward a bold public personae. He lived to ruffle feathers."

Jesus christ what an abominable thing to write. Let me say something shouldn't be brushed off lightly while brushing it off lightly. Clueless.
How could one design a system that would not fail when something as critical and cross-cutting as capacity or identity management failed?
But Apple TV+ doesn't have any localized content (except for subtitles and translated metadata), and its been available from the start. I understand if they want to do a slow roll out but then communicate it, at the very least.

I still haven't found any likely explanation anywhere. What am I missing?
Adopting Ruby 3 types with RBS: Deep dive
I think this is generally not such a great idea, quite a few things end up getting achieved because somebody is punching above their station. I think you learn the most when you steam train into something and get stuck - then figure out how to get out of it.

In general, I think it would be better to assume that you're not more intelligent than the person you are speaking to (at least on a particular subject) and that you may not be the smartest person in the room. That's not to say you are below average, but that there is still something you can learn from at least one person in your company.
You mean as a consumer or as a creator?
Palm oil plantations are common because of the massive yield of the oil palm in the tropics. The only thing that comes near it is sugarcane. So it seems unlikely that you will economically put the palm plantations out of business with the process described.
from what I heard, they use typescript instead of reason for some time already. I don't know if they use react or not. I also heard that they weren't always using reasonreact even when they were using reason. So they've never been 100% on the same stack than what was advertised by the reason team.

It probably explain why fb dedicates so little resources to reason too.
This is normal. Coronaviruses cause disease, including COVID-19 which is currently a global pandemic. Disease and public health are the responsibility of physicians and epidemiologists, it is dangerous for people to think for themselves about a disease that has cost over 1.5 million deaths and free access to information encourages independent thought.

Its fine to think for yourself about what music to like, when it comes to disease you should think how the experts and official authorities tell you to think.
I study WW2, and FYI it's much more complicated than "the Treaty of Versailles."

The problem is that the "state" that started WW2 was the Austria-Hungarian Empire (against Serbia), and Germany was just a treaty ally. But then A-H dissolved, leaving Germany holding the bag. It didn't help that Germany refused to negotiate a peace treaty earlier, and that they destroyed the Alsace region during their retreat.

But in the end, it would have taken an occupation to demonstrate that Germany actually lost, and that didn't happen.

Hence the later Allied occupations of Germany and Japan in WW2.
> commodities in general check the same boxes without the awkwardness of Bitcoin

To name a few properties, commodities can not be transferred anywhere in the world quickly and at low cost in a censor-less fashion, can not be transported in an immaterial form (e.g. a "brain wallet").

> when you say "better money" you mean for this specific use case right?

I mean better at exhibiting the properties of money (originally articulated by Aristotle): durability, divisibility, portability, etc.

Fiat fails at durability, through ongoing inflation. Art fails at: divisibility, etc.

https://hangthebankers.com/aristotle-and-the-definition-of-m...

https://omniequivalence.com/monetary-properties/

https://www.economicsdiscussion.net/money/top-8-qualities-of...
I'm not talking about why someone might move out of Silicon Valley, but as a response to the gp, explaining that the policies aren't being imported from CA. They're being home grown, in TX, in the government schools.

If the parents value fiscal conservatism and traditional values, they'll pull their kids out of government schools and teach them themselves. This will also strengthen the family bonds, weakening the power of the state to make such bad calls.
I study WW2. One of the most startling things, and one that takes the longest to comprehend, is that the entire industrial output of the US went into the war effort for about 5 years.
You might want to clarify that this does not search 28M books, it searches metadata for 28M books. Very different.

I notice many titles did not have authors. I spot checked this one: https://openlibrary.org/books/OL25434821M/Still_Star-Crossed

This title has no author in the search results, but does have one on the linked page. Perhaps an import issue.

Edit: Forgot to say "This is awesome. Particularly for 12 hours work!"
What's causing electricity load-shedding in South Africa?
the original ones on release were awful for sure
Yet he too gave up on ocaml
The Traditional Vi
Not only no, but fuck no.

When you have talent, it is your duty and responsibility to hone it and care for it. You have a gift; to squander it in a misguided attempt at humility or fear of trying is the worst sin you could commit.

Stop listening to what other people have to say about where you should go and what you should do; their reasons are either selfish or fearful. Only you are sufficient judge of what is your true potential, and that only comes through the continuous experience of discovery and trying.

Become your potential, because you're the only one who will ever care enough.

This advice will be downvoted to oblivion because very few people can understand it, but I implore you to at least TRY it, take a chance on yourself. SURVIVE and THRIVE!
I think if it's important to you then don't assume, measure it. Ask your students, colleagues, partners where you could improve and see where you are already good at (above avg).
Yeah, probably the most useful action that can be taken in the antitrust case is to force Google to spin out the crawler into a separate entity that sells access to the crawl database from a single, public price list. They can set those prices however they like, but can't customize the pricing for certain customers or refuse new customers.

Everybody (including Google) pays the same price per query/byte/whatever. CrawlCo gets ownership of the crawling IP range and is prohibited from entering any other market. GoogleCo is prohibited from doing its own crawling, but can ask (perhaps require) CrawlCo to add new crawl products which are then available to everybody.

Basically force Google to do with their crawler what Amazon voluntarily did with their datacenters.
You cannot just use alchemy to create matter. Here they use sugar to synthesize palm oil. Then where does the sugar come from? How would it be sustainable to have massive sugarcane plantations instead of massive palm tree plantations?
I wonder how Trump reconciles this with his promise to severely reduce regulation?

If it was initiated by Congress, it would not be surprising: the GOP-controlled Senate is not nearly as anti-regulation as Trump. (And certainly the Democractic controlled House is very pro-regulation.) But the FTC is (typically) is under direct control of the administration, at least to the extent that its leadership is appointed by the White House.
actually bucklescript has never really been used at bloomberg. And bob left bloomberg a long time ago. So this fork is definitely not happening because of bloomberg.

To have code that you can compile to both native and js, the easiest thing is to stick to the ocaml syntax. It is supported by all the versions of the compiler (rescript or ocaml). And to also use the ocaml syntax for the tools doing code generation, such as atdgen.
The mistake or cognitive error people make is that the potential of an average human is actually extraordinarily high. Being “average” is in itself more than enough to achieve close to anything.

Compare the human brain to anything currently in existence, and it should begin to dawn on you that we basically carry around a low energy power efficient supercomputer inside our heads.
I had no idea this is still around, it has even UTF-8 support
don't feed the down voters.
I’d say both shifts in mindset is a tactical decision. Sometimes you really need to have faith in yourself to achieve something. Sometimes you need to remove your ego to sustain something. Every situation is different, but I would agree one should not give up tactical options in the greater strategic battle of coping with life and the onslaught of dealing with people.
Because it is rare that they go above 1080p. In mac's chrome, they just go to 720p max, which is way below industry standard. And the worst thing is there is no option to set the quality even if I am ready to handle some pauses in the video if my network speed can't catch up(which it can, just that they err on the safer side)
Interesting! I wonder, back in those days, when your day to day job involves coding in Assembly, I guess reaching to a disassembler on a regular basis also should've been a norm, no?
Intel's SGX: when 20 patch versions aren't enough (2019)
Could you tell us more about the solver ? where can we find the source code ? how does it works ? thanks.
What's 'the entire "Manhattan" project'? I mean, other than the nuke on Hiroshima which I suppose you don't mean?

Remember that there's HN'ers who never worked at Microsoft :-)
Those issues were discussed at length in the article. Not that it contradicts anything you say though.
It depends on what you like to do outdoors I guess. I've lived in southern or northern california for almost 20 years and can pretty much run 365 days a year and bike almost that much. I HAVE run in snow storms in Illinois and North Carolina and heat waves in Houston and Austin, TX so my range of "comfort" is definitely a bit wider than the average person but in general the whole of California has near perfect weather IMO though it does get very hot as you go inland in the summer.
Big / Bug Data: Analyzing the Apache Flink Source Code
Why not? It's the only moment in time when people are interested in the life achievement of a person. There will never be enough interest for a second discussion that balances his achievements with the negative consequences.

As a society, where else could you show that people shouldn't ignore negative consequences when they seek their success?
I have no skin in the game w.r.t to OCaml/Reason/etc. I do wish compile-to-JS languages would give up on the readable Javascript thing. I think ClojureScript nailed it with their reliance on Google Closure's aggressive optimization mode __because__ it produces obfuscated, highly optimized output.

Purescript also shares this goal, and it is a bummer, performance-wise, in older browsers that don't handle currying and various other "readable" representations well.

Worse still, if your target output is readable, then someone might start touching the compiled runtime objects with Javascript and then... god help you as you watch the guarantees of your fancy type system unravel before your very eyes.
No, this is definitely a COVID scenario. There have been spot checks in the past because of the high number of refugees but this was back in 2015 or 16. Took a sleeper in February this year, crossed four borders, no checks at all.
SolarWinds hackers have a clever way to bypass multi factor authentication
People who start with unsupported conviction that they are good in tech, interact with tech a lot more. They over time really learn a lot and meantime end up blaming everything except themselves. But, people who start with conviction that they are not technical kind of person, never learn and just give up.

Drivers who assume themselves to be bad drivers tend to drive very little or not at all and never improve. They are parallelized by fear, their assumption they cant do anything rubs on others who are in car with them who then start to give them advice - making situation worst.

I have seen that dynamic a lot of times, because in my country it is quite frequent with women drivers. Not most women or something, but there is certain kind of woman who assumes own incapability and it is self-fullfiling prophecy.
Then why don’t I hear people discussing it in German?
I wouldn't call slightly imprecise wording a "serious mistake".

I object to points at the part of the post. My objections are unchanged by what we call it.
> And frankly I don't want to get stuck behind one on a road with a dramatically higher speed limit than what you can pedal at.

In big cities that's never a problem. Cars are stuck behind other cars.

> You can make a bad faith argument comparing

I didn't compare myself to that, only an example. If anything that's a straw man and bad faith on you..

> Don't forget that by cycling you are choosing to bring a knife to a gunfight.

It's not a fight. But you and other drivers looking at it like that is very telling, heh.
Oracle, HPE, Schwab may not be the hubs of innovation, but they acquire a lot of SV startups, supporting the startup ecosystem. Of course Google, FB will continue to acquire startups just fine, but the pool of acquiring money just got a bit smaller. If large companies continue to leave, they pool will get even smaller over time. I think it represents a potential problem for SV. These departures affect B2B startups so far. But, what happens if Twitter moves HQ? I remember Jack Dorsey saying the SF workforce does not reflect Twitter's user base and he was considering to adjust that.

I think that talks of the wealth tax in CA, is another problem. Now that the possibility has been put forward, the high-net individuals may not be waiting around for that to happen. High-net individuals are funding a lot of startup ecosystem as well. I think that might be a problem.
That depends on the tax amount, doesn't it?

The rough estimate of the amount of damage a tonne of CO2 released into the atmosphere causes is $196 (source: wikipedia).

A an economy class return flight from Munich to Barcelona (a typical night train distance) releases 0.45 tons of CO2 per passenger resulting in an additional cost of $88.2 (72.6€), 36.3€ per leg.
What’s worse having VDSL or DOCSIS/GPON and not being able monkey with your config?
Just realized that https://reasonml.org is deprecated.
If I had to guess, I'd say that Barr will get appointed Special Counsel for something or another.
Support for Intel's SGX (Software Guard Extensions) was merged for Linux kernel 5.11 and It took them only 41 submissions. LoL

Merge:

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin...

Submission v41:

https://lore.kernel.org/lkml/20201112220135.165028-1-jarkko@...
"readable output" isn't really about being human-readable, except in unrealistic example cases. The bigger benefit is shared data types; this helps immensely with JS interop.

https://rescript-lang.org/docs/manual/latest/shared-data-typ...