skysight-inc/HackerNews huggingface dataset:
Is this an extension of Kaleidoscope (the language implemented in the LLVM tutorial)?
Reinventing the wheel is a cliche I have grown to detest. I have found that cliche is abused 9 times out of 10 to avoid the deep dive into a problem. On the other hand, approaching the problem again allows the developer to consider the precision of current solutions or consider a simpler solution. Good seniors aren’t afraid of making decisions.
it is just an experiment project
Elon Musk Explains the Science Behind Starship's Retro, Cartoon-Like Design
Logic proving systems need never hit Godel incompleteness. Many systems weaker than Godel are proven consistent within themselves, and are strong enough to verify code.

Godel’s Proofs rely on statement encoding using properties of integers not required for these logic systems.

Presburger Arithmetic, for example, avoids Godel incompleteness, yet provides a decent system for a lot of work.
I still cant believe the Aachen Treaty is going forward.
Viacom buys Pluto TV for $340M
I wouldn't call it an extension, but I did use the tutorial to quickly prototype from. There are still some remnants left in the code, but I don't expect much if any to be left in the near future.
Because it will most likely lead to inhumane atrocities that would turn the general public against the technology for a generation
Google has this dated as [2014] - June 14 to be exact. Google also shows the exploit-affected site title as mentioned in other comments...

https://www.google.com/search?source=lnt&tbs=cdr:1,cd_min:1/...
I think the idea is leverage form factor, usability, and familiarity. Those things + security upgrades would be a cheaper and effective rollout.
Why would you need more than a single machine to serve a request? You need multiple machines to serve many requests concurrently.
My ultimate use case is a contrived environment where I have the luxury of ignoring otherwise blatant feature-gaps--such as compatibility with other tools (like curl). I've come to the same conclusions about why that might be tricky, so I'm calling it a version-two problem.

I notice that function composition notation; that is, the latter half of:

> f(g(x)) = (f o g)(x)

resembles bash pipeline syntax to a certain degree. The 'o' symbol can be taken to mean "following". If we introduce new notation where '|' means "followed by" then we can flip the whole thing around and get:

> f(g(x)) = (f o g)(x) = echo 'x' | g | f

I want to write some set of mathematically interesting functions so that they're incredibly friendly (like, they'll find and fix type mismatch errors where possible, and fail in very friendly ways when not). And then use the resulting environment to teach a course that would be a simultaneous intro into both category theory and UNIX.

All that to say--I agree about finding the magic a little distasteful, but if I play my cards right my students will only realize there was magic in play after they've taken the bait. At first it will all seem so easy...
The fine says "$20 million or 4% global revenue, whichever is greater". That definitely penalizes small companies more.

>And then the big players will use Hollywood accounting but for data - make a bunch of small companies with little revenue that handle the actual data and "sell" those services to the mothership.

This is why there would be a threshold on data itself. Come on, a guy running a forum with 100 users from his basement shouldn't be expected to legally have as much responsibility as somebody running a website that has revenue in the millions. It just discourages start ups and hobby developers, because nobody wants to open themselves up to "denial of service attacks" where people get the DPA to audit you because they didn't like what you had to say on Twitter. Just don't run the small site and there is no risk of that.

But I guess Europe is already so weak in the web industry that it might be irrelevant. We're going to rely on American websites anyway.
We just recently launched an open source security key (https://solokeys.com), so this year I’ll focus on growing the e-commerce, getting better at rust, and learn more about hw manufacturing.
Really unfair to discredit Microsoft from anything but the web browsers issue. They massively pushed the idea of personal computers, probably more than any other company in history.
Kapwing adds a giant watermark to the videos to help acquire users. This won't work for products that aren't video meme makers.

Side note: I've seen articles from Kapwing on here recently. It seems they're following formulas to get on HN. It reminds me of TripleByte, and in the past, Mattermark. Please don't take the bait.
I've been a fulltime Linux user for 15+ years, and up until last year I avoided using Wine (because I didn't require it -- I didn't need any Windows tools, and I wasn't a gamer).

On my last holiday break I wanted to install and play a few games, which included using Wine to play Windows games. I was pleasantly surprised at how well it worked. Out of the ~10 games from GOG that I installed, all of them worked.

Great work.
> I can't recommend CMake enough here

I've used CMake for many years. But now that I've discovered Meson, I cry a little every time I have to edit a CMakeLists.txt file.
Warning multiple threats detected on file keygen.exe

Quarantine or ignore

Meh...it's probably fine.
Organic food is way worse for environment, it’s way less efficient and requires a lot more resources to create
_her_
> I'm just waiting for the time until websites won't load at all unless you have hardware DRM turned on that will take all of your control away.

I already leave websites that become unusable with adblock on, or without it on. It will just trim down on the amount of sites I go on.
This is clever but not sustainable. There needs to be the equivalent of the "no call" list that does the same thing for internet marketing.
silverlake: https://www.atlasobscura.com/places/holyland-exhibition

i'll leave it to you to find the others, but one of my faves in culver city is the museum of jurassic technology (has a rooftop aviary): http://mjt.org/

> "My definition would be could you live comfortably without ever using a car"

that's a pretty high bar. how would you move in/out without a car/truck/van? carry everything by hand? i don't own a car but i use one periodically.
In an alternate universe where Apple produces babies, they'll eventually become so thin they'll snap and bend if you look at them funny.
It was a marketing gimmick to get financing for local lenders. It was never actually about you funding a specific person.
I don’t have an answer to you, but I changed my affiliation to No Party Preference after undergoing the same deluge of election spammers. When I asked them how they got my info it came from the Democratic Party (which I am thankfully now no longer registered for. Not sure why I ever made the mistake of signing up...)
It’s far worse though.

You’re going to eat another meal in 6-24 hours. Glassdoor is affecting people’s lives and livelihoods.
"In 1989, computers only supported a single small display"

Macs supported more than one display at that point, I think.
https://github.com/hashcat/hashcat has some assembly optimizations. They look fairly readable.
I'm not sure about the effect on remote work, but I presume this one was meant:

> Australian parliament passes encryption laws unamended

https://news.ycombinator.com/item?id=18616303
I find marketing gross, regardless of whether it is necessary or not, and when people use language like that it makes me gag. People who speak that way are drones for a worthless, parasitic industry. That's my complete thought. Have a good one.

Oh and it's funny you think this site is any different from any of the other cess pits out there.
You'll need to go to the RoV (Registrar of Voters), BoE (Board of Elections), or equivalent for those counties, and submit the paperwork to un-register. That should remove you from the voting rolls there.
For a modern definition, I like:

Working class: One who makes money by collecting a wage.

Upper class: One who makes money through investments or similar business dealings.

Middle class: One who partially makes money by collecting a wage and partially through investing.
TL;DR: for oral contraceptives for women: paper suggests that taking hormones month-round and avoiding periods altogether is safe.
It's bad for exporters, great for everybody else in Switzerland.
Anyways I didn't own any fiat since then, but of course living with the volatility of other assets have their downsides. I'll move back partly to fiat, as it still has its advantages.
It's not really a right to be "forgotten". it's a right to not have a minor, old incident be the most prominently promoted info about you.
Yes, there are tools that output plain HTML/CSS.

For example, we (Anima - YC S18) are doing it (https://www.animaapp.com)
The number of American companies that will assign debt to your name without reasonable identity verification is greater than zero.
Sorry for being behind in the news. What's this Gmail "scandal" you quote from a few months ago?
Maybe, with high enough turnover. Of course franchise fees kill margins, and you need to sell an awful lot of Big Macs to equal the kind of revenue a 1500 sq. ft. fine dining restaurant can do in a year.

There's far more high end restaurants downtown in my city than there are fast-food franchises.
Nah, CWM is better. Floating, not decorated env with a menu switcher and tags everywhere. Just open a FEW windows per tag, learn to context switch LESS, that's it, keep a kiss approach ;).
Astranis (YC W16) is hiring an in-house Technical Recruiter
I said it's easier to deceive the sensor.

The way you avoid this problem is to avoid creating the incentive to subvert the loop.

I am fairly confident that every metric, target, index, goal, KPI or score that has ever been connected to money, power or fame has been subverted. As far as that goes, yes, I see the world as black-and-white.

Glassdoor scores are tied to ability to hire. It's easier to game the scores than to not suck, especially since "horrible place to work" is going to correlate strongly with "dubious ethics".
Yes, hence them being substitutes.
A previous employer would do the same thing. They would astroturf reviews whenever they received a bad one.
Can a downstream client of Chromium (like Brave) add it back in?
Wait. So why didn't google just put this on a subdomain? It's a phishing quiz at a phishy domain, and the first thing that happens on iphone is it asks for your name and email (instructions are covered up)
Oh really, downright fearmongering? Do we need to have a little history lesson?
I long for the day when there is no genocide in living memory.
Do you have evidence? Or is it all just fear mongering?
Mods: This is from September 19, 2017.

Old comment thread:

https://news.ycombinator.com/item?id=15281506
Sadly, yes. They were not exactly wrong in their approach.
Sure...I imagine it's an option. I know someone who digs moles out with a pocket knife and a bottle of isopropynol. Lots of things are options. Doesn't mean they're all good ones.
Sure but is it really all that different from a free trial or a limited free version?
You either store the keys centrally, or use a weaker encryption strategy. Those are the only ways to decrypt something. Either one makes it easier for anybody to hack.

The classic metaphor is that of a castle wall. If you put a gate in it, no matter how well your fortify that gate, it remains a weak point compared to the rest of the wall.
a bunch on HN? those two things are now correlated since tech took over venice (particularly snapchat) and prices skyrocketed. venice was actually somewhat affordable for a beach area not that long ago (unlike santa monica or malibu).
Piketty specifically proposes an international financial transaction tax. That's his suggestion to get at invested wealth.

He also cautions that his suggestion is likely never feasible. You'd have to get most of 180+ countries on board, else capital will flow through the markets without the tax.
You are putting words in my mouth, this isn't what I said.

I called Bayh-Dole act a fascist law, because it encourages the privatization of public research. It is literally a gift from the public to the corporation and encourages public organizations to participate in corporate behavior which is antithetical to their actual stated missions.

The PPP (public private partnerships) in common wealth countries are aimed at achieving

* less oversight of government activity and accountability

* union busting

under the guise of efficiency and cost reductions. And are anti-democratic. Fascism is the description we give to a certain type of corporate-statist behavior. The wonderful (facetious) effect this has is that is imperceptible to a lot of folks while slowly shifting the ideology to the right.

I am not calling people national socialists. I never called a person a fascist. Bayh-Dole was probably well intentioned but the result has been the exclusion of public research for the public good. It stifles more innovation than it encourages. What term would you use?
I eat loads of sweet potatoes but my favorite recipe is to put them in my curry. Sweet, salty, spicy.... It blows regular potatoes in curry away. I cook the purple ones hot rock style and eat hot or cold if it is summer.
Okay, do you have a source? Regardless how is getting unsolicited financial mail, identity theft? I really don't understand. Am I missing something?
I feel like Wikipedia has also become more and more political as it gained popularity. Some of the decisions the admins have made over the years make me question the trustworthiness of what I read on Wikipedia, because some articles paint a one-sided view of events. Luckily it seems to mostly be limited to certain topics.
Thanks for weighing in. I wish it was that fast. I'm a new customer (formerly CrashPlan) uploading about 7TB, mostly photos and videos. Got a 500Mbps up/down line (in theory and in practice), but my daily uploading to Backblaze has never surpassed 30Mbps I've tried both low, medium and max thread numbers.

In such a case, could the HDD itself be a bottleneck as it's trying to slice and dice a lot of files large and small? It's running at 70-80% active time.

Probably doesn't help that I'm located abroad either..
At the very least, it will make it easier to implement not weird looking ambient occlusion and viewspace reflections.
This. Low cost, large audience products that are easily shared can get away without paid advertising. Most other verticals will benefit from it.
yes cheaper [et.al.], also durable as many gamers that go salty and rage after in game death would attest.
and the speed of reflashing a PIC modded device in the hands of even a novice picasm programmer is an interesting angle for field expedient repair/mods.
Most free trials aren't visible to other people.
http://optout.aboutads.info

one button. over a hundred opt out cookies.
The end goal for fighting climate change is to have everything running on renewable energy so that we can all enjoy plane trips without screwing up the planet.
The $30 xbox controller will interface to the submarine via $37970 worth of secure hardware.
If I remember correctly it was at least their first 100,000 users. Every person who signed up got $20 and $20 more for each referral; that's paying to acquire your first users directly. Was eventually trimmed down to $10, then $5 before being dropped altogether around 1,000,000 users or so I think. And advertising mostly took care of itself via word of mouth. Of course, that's ridiculously out of reach for a lot of startups, but it is definitely paying to acquire your first users.
Reminds me a bit of “PSD is not my favorite file format”[0]

0: https://stackoverflow.com/questions/5355708/psd-file-format#...
But the point is that a temperature of 1 degree celsius is constant heat which will eventually melt all the ice. That's what outdoor temperature from the sun is, right?
But also like learning any skill correctly, one needs knowledge. Feedback during the practice helps a lot to make sure what's being practiced is correct.

Teaching, instructional design, curriculum development, etc., these are knowledge-based skills just like programming, but without the automatic corrective feedback that a compiler or automated test gives you.
There was no pool, no lings. Just double gas cancel to get 2 extra drones without needing an overlord.
The magic /proc thing is a very interesting challenge. Trust me, since I read your comments I've thought about how to implement, though again, it's not the sort of thing I'd build for a production system, just a toy -- a damned interesting one. And as a tool for teaching how to find your way around an OS and get the information you need, it's very nice. There's three parts to this: a) finding who's before and after the adapter in the pipe, b) figuring out how to use that information to derive content types, c) match impedances. (b) feels mundane: you'll have a table-driven approach to that. Maybe you'll "taste" the data when you don't find a match in the table? (c) is not always obvious -- often the data is not structured. You might resort to using extended file attributes to store file content-type metadata (I've done this), and maybe you can find the stdin or other open files of the left-most command in a pipeline, then you might be able to guesstimate the content type in more cases. But obviously, a sed, awk, or cut, is going to ruin everything. Even something like jq will: you can't assume the output and input will be JSON.

At some point you just want a Haskell shell (there is one). Or a jq shell (there is something like it too).

As to the pipe symbol as function composition: yes, that's quite right.
Yes, if the time scales of the updates were spaced across generations. But I guess commercial availability of such technology would mean much shorter time scales leading to very bad consequences for the aging population. Eventually, perhaps leading events like one generation deciding to stop manufacturing babies. Could lead to scary consequences if not thought through...
I always found it strange that the most popular ad blocking method is one that is internal to and relies on the browser itself.

Companies can change their browsers anytime and for whatever reasons they want. As far as I can tell, users have little control over the organizations/companies that write browsers, not to mention that the most popular browsers are written by companies that benefit from sale of the online ads. This make the ad-blocking browser extension brittle.

I also find it peculiar that the preferred approach to ad blocking has been blacklisting rather than whitelisting. In other words, users prefer to let a third party pick a list of servers to block. Everything else is allowed by default.

Besides issues of delegation and having to trust a third a party, this of course is a very large, constantly growing list that includes many, many servers most users will never, ever encounter in their entire lifetime online. Though it may be unnoticeable for now, an enormous block list is inefficient.

The alternative, which I have found easier to manage, is for users to determine what servers they need to access, "whitelist" them (e.g. by placing them in localhost authoritative DNS or /etc/hosts), and then block everything else by default. This is similar to a firewall ruleset.

The number of servers any user will use in their lifetime is relatively small compared to the total number of ad server addresses in existence now or in the future. It is manageable.

If you are a non-technical Chrome user, and you have no idea of what servers you are actually using repeatedly day-to-day, there is a built-in feature that can help you make your own "whitelist".

Here's the URL:

chrome://site-engagement
> Single unit pullbacks, medivac shuffling, and focus firing, all together, are commonly seen in pro-level matches. The guys are superhumanly insane. The current pro players can sustain 500 APM during battles. The only reason they don't do this even more is that they are usually fighting on two or three fronts at the same time, while managing base and unit production to the second.

Not to the level AI can do it. Did you see the video where zerglings dodge tank shot splash? a human could never do that
(rimshot)

But to the actual question of anybody actually getting this done, I still don't see the reason why. Yes, these things can be done; but for what purpose? Like, is there a professional advantage?
Yes, also known as the "Curse of Expertise" or the "Curse of Knowledge", is a big part of it, but being aware of it is just the start. Understanding how to break down the skill into the pieces that the learner can absorb is one of the hardest things to do.
Sure, maybe the controller can't hack the sub, but the hacked controller could be set to execute repeated down-arrows on the night of the enemy's attack.
I normally prefer humor to stay on Reddit, but nice one.
A problem I see with limiting APM to the same level as a human is that for that APM, a human will move units tightly packed together, while a computer will likely move a bunch of units at different ends of the map
We'd never have developed vaccines with that attitude, though. The Precautionary Principle sounds great in theory, but it's a recipe for permanent stasis.
> Chrome made web browsing/dev pleasant like Firefox/Firebug did and it really took off being based on Webkit like Safari which also worked well on mobile.

This is the big one for me. When I'm not developing I actually prefer to use Safari-- I like it's interface better and it feels more at home in macOS. It's "good enough" too.

What I'm really a user of is the Chrome Dev Tools. Firefox's are looking quite solid lately but I just haven't switched over.
I'm 26 right now and I'm not planning to have kids until I'm 35 for this exact reason. I don't want my kid to say: "Daddy, why do other kids have disease resistance and I don't? Do you not love me? Or were you one of those stupid anti-CRISPRers who don't believe in science (the anti-vaxxers of the next decades)?"

I'd rather wait for 5-10 years to make sure I don't make a lifelong mistake.
Another option is a schema management tool that doesn't rely on migrations at all. I'm the author of one, Skeema [1], for MySQL/MariaDB. Others include migra [2] for Postgres, and sqldef [3] for MySQL or Postgres.

These all use a declarative approach [4], where the user just specifies the desired new state, by adding or changing the set of CREATE statements. The tool knows how to run the correct DDL to reach that new state.

[1] https://github.com/skeema/skeema

[2] https://github.com/djrobstep/migra

[3] https://github.com/k0kubun/sqldef

[4] https://www.skeema.io/blog/2019/01/18/declarative/
Technically, you could even do dual monitors with IBM PC, by having both a CGA card and a MDA/Hercules card. Obviously, the utility was limited, but apparently people did it.
I find it takes more like a week to fully get rid of the headaches and tiredness. The real challenge comes the next time I get extremely busy - its hard to not reach for the crutch
Disclosure: I work on Google Cloud.

Thanks for mentioning this! I’ve always (begrudgingly) had to tell people that while I love Backblaze you have to understand the geographic risk. I always suspected you had a “yeah, we can put you here if we edit this config file” but the drop down will be much better for everyone. Looking forward to it!
Spoiler: it's always been like that. Sometimes it's useful to look at the talk page for the article and/or the history of revisions, looking for obvious controversy.
Yeah I think you're right, a form of end-to-end wouldn't be too hard.

But it would only protect against passive attacks by your provider. It wouldn't protect against active attacks by your provider. Your provider could issue itself a new cert for you and your correspondent and then intercept the messages. It's certainly an improvement over what we have now though.
I didn't say frames of reference don't exist, I said frames of reference don't exist for photons. I'm not sure Einstein or his theories indicate any disagreement on that point.