skysight-inc/HackerNews huggingface dataset:
> you regularly see downright absurd stuff like this

That's a bug which only occurs on five year old distributions and which was fixed years before any exploit was ever found. Honestly if that's being brought up as a bad example Linux is looking pretty good compared to other operating systems.
Old concept - recycle. Proven to not be a real thing.

New concept - make infinite garbage - burn that shit.

Good to know it's "smart" incineration - not the bad old kind. Like "clean coal" - not the bad old dirty coal.

Good news for packaging industry - infinite demand to burn stuff up to make energy.
I'm completely with you. Cynical me says Apple is merely siding with privacy to make their walled garden attractive and protect iOS-exclusive content and apps. Actually, Apple's cancelled iAd program has already shown they're not above privacy invasion. But for now, Apple differentiating on privacy with plausible economic reasoning is a good enough guarantee for consumers I guess. In the end, only new legislation and tech (provable privacy, while also letting advertisers have their unique visitor stats, but no profiling) will overcome the demise of public media and monopolization of the web, and maybe bring back value and trust in online media. As for Google, it's a bit premature to worry about them ;) and they aren't stupid after all.
They already have a language to blow python out of the water in ML and it's called Julia.
> cause fewer allergy problems

I have a very hard time believing that. Do you have a source? It's all anecdotal, but the few people I know with dog allergies, seem to be very mild cases. While horse allergies seem to be fairly common and much more severe.
The lunar laser ranging experiment is still going 50 years later
Do you know other places where such content does usually get posted?
As a very fresh junior developer, crafting a CV is extremely exhausting, because it is very hard to gauge what you can put in. Take git as an example: I used it for a couple of personal programs, read part of the documentation, had some errors and managed to get rid of them.

I know the theory of how to use it on large projects. I even know enough to know that I'm pretty much just scratching the surface, but so are probably most other people.

Same with most other skills. At how many lines of code can I call myself proficient in a language? And what if I copied large parts of code from stackoverflow?

All in all I think I spend like 8 hours on writing and formating that freaking thing, and it still just feels like some of my skills are a stretch.
Probably "invaded".
Is that realistically a concern?

Recycling cans is economically viable, so they aren't just going to be getting dumped, and the plastic isnt likely to escape in the mean time.
I'm currently on 4gb (ram sticks slowly died one after another, hope to replace the pc soon) and yes, Firefox taking up an entire gb is pushing it. Windows takes about 2gb for itself, leaving annoyingly little for other tasks.

~15% of steam users have 4gb or less [0]. And I doubt gaming PCs drag the total average down. So yeah, only a "miniscule percentages of users" caring about ram usage of browsers doesn't seem based in reality we still live in.

[0] https://store.steampowered.com/hwsurvey
My native language is Portuguese. When I learnt the Cyrillic alphabet I realised it would be perfect to have letters for diphthongs in Portuguese. It would simplify and obviate many diacritics.

Take "simpatia" and "ânsia". In the first case, the last "ia" is not a diphthong. In the second it is and you need the diacritic over the a to make it the tonic syllable (Spanish is more clever in that the general case is that the "ia" ending is taken to be a diphthong unless you put an acute sign over the i - ía).

But, when diving further into Russian, I soon found out that they do weird things like pronouncing a G as a V (его - his).

So, my conclusion is that even if you have the perfect alphabet, it will soon become obsolete.
Did he ask you for a job?

I'm not exactly sure what you are responding to, or complaining about for that matter.
Definitions of Software Architecture
They're essentially one and the same given how ad networks are being actively utilized as an attack vector.
1) Resume screen
2) 30-minute coderpad/codeshare exercise on a problem/pattern you actually use/encounter during the course of your work over phone. (No inverting binary trees). Expect a 20% pass rate here.
3) Reasonable take-home problem that you've timed 2 of your own staff completing well in 50 minutes. This is where you will get the most complaints from applicants, but that's OK. Let them select themselves out of the process. Expect a 30-40% pass rate here.
4) In-person interview. At this point, you should be mostly committed to hiring the candidate. Do a couple livecoding deals, but be extremely lenient in how you interpret results. Other week, we had a candidate fail the problem, but they kept their composure and showed they knew what they were doing on the way to bombing the problem. Candidate seemed sad at the end of the interview and happily surprised when we extended an offer.

IMHO this process works fairly well and does a good job of being economical with people's time.
That's probably fine. It drops the number of people who could idle ads from "approximately everyone" to "only people who know how to and want to set up an AHK script/other macro."
>>"You have to distinguish between inflation (which every country has, on varying levels) and hyperinflation. "

We agree. Inflation is caused by too much money chasing too few goods. That can happen because the money grows or the goods shrink. My point is that the historical episodes of hyperinflation are originated by the later.

>>"In the German case, there was no massive damage to the economy [..]"

From https://alphahistory.com/weimarrepublic/reparations/ :

"Berlin had failed to pay a £1 billion interim instalment, leading to the occupation of three industrial cities along the Rhine."

"In April the London meeting of the Commission fixed a final reparations figure of £6.6 billion. The reparations instalments were to be paid quarterly in gold or foreign exchange backed by gold, along with tradable commodities such as steel, raw iron or coal. Berlin was informed that any defaults on these payments would lead to the occupation of the industrial Ruhr region and the confiscation of raw materials and industrial equipment there. Though this revised amount was less than two-thirds the figure first proposed, it remained well beyond the capacity of the war-ravaged German economy"

I don't think hyperinflation could be avoided after that.
List and delete old and heavy node_modules with style. free up space
Extra credit for using Perl, which is the only language less readable than C++ templates.
We're burning coal and gas to generate energy. Why not burn some plastic instead? It's not like it's worse than burning coal.
"Smart burning" is still burning. Why not convert it to oil?
https://news.ycombinator.com/item?id=20729477
There's quite a few large working ones: https://en.m.wikipedia.org/wiki/List_of_pumped-storage_hydro... It looks like 60s/70s were pretty good for building initial low-capacity ones.

Now it looks like the plans for new ones are entirely dominated by China. (Or were projects in other countries just not researched/included?)
> I think it's reasonable for a doctor to prescribe a horse

And that's where you and I disagree. This therapy animal business seems to be exploding in popularity, and maybe there's something to it, though it seems too popular too quick to be properly vetted. But even if animals are the ultimate therapy, this idea that any and all animals should now be accepted as therapy is over the top.
I'm by no means a specialized data scientist, but I've done some (very surface-level) text crunching with both the TF/Numpy stack and Rust.

To me, the nice thing about switching to Rust for that kind of stuff was that it dramatically raised the bar of what I could do before reaching for those hyper-optimized descriptive libraries.

Want to calculate the levenshtein distances of the cross product of 100k strings? Sure, just load it into a Vec, find a levenshtein library on crates.io, and it'll probably be fast enough.

Could it be done in Python? Sure, but with Rust I didn't have to think about how to do it in a viable amount of time. Does that mean that Rust is going to take over the DS world? Probably not in the short term, Rust currently can't compete with Python's DS ecosystem.

But if I'm doing something that I don't know will fit into an existing Python mold (that I know about) then I'll strongly consider using it.
The big point here isn't that these two brothers invented an alphabet — that alone isn't that remarkable — but that it had gained so much acceptance so quickly, and that they are still here to talk to. It sounds like writing in their language in Arabic script is still in a chaotic state where orthographic conventions have not been established, so it's the perfect time for a natively-suited alphabet to come on the scene and take over.
Not everyone is able to choose what software is installed on the machine they use. Especially for AV, that may be enforced by the company one works for.
Just to clarify, does Common Sense 2019 Pro come with an ad-blocker for protection against malvertising? I still run into a lot of people who think malvertising isn't a thing. It was worse back when flash adverts were common, but it's still really bad
I thought the only people that used AV programs were old people that were getting scammed?
In my case, the dataset is wrong. My entire neighbourhood was built in 1987, and my house had extensive renovations in 2010. Now my house is marked as being built in 2010. Oddly, pretty much every house in the neighbourhood has had some big renovation or other, but only mine and one other one ("2008") have the wrong date in the registry.

I'm not going to correct it, because it doesn't matter.
Why not simply bury it? Plastic is pretty intert and non-toxic. Wouldn’t that be much better in terms of carbon sequestration?
> So, my conclusion is that even if you have the perfect alphabet, it will soon become obsolete.

Hangul seems to hold up pretty well, though I guess expressing a simple phonology helps.
Giochi Abandonware
So normally I read 30 to 40 % of municipal waste is organic. There is a lot of interesting work being done in accelerating that conversion to proteins and fats via insets. Shouldn’t we couple incinerator strategies with something like this? Also with bioplastics coming the organic % is likely to go up.
They had two alphabets which were familiar to them but didn’t fit and should be adjusted, probably repurposing some letters for different sounds. Any other alphabet was completely foreign to their culture, would probably require some adjustments too and thus would not bring any benefits besides some existing fonts. As languages would evolve, it would create an incompatible fork anyway. Own alphabet brings 100% compatibility, cultural heritage and reduced cognitive load when learning new languages (ask English speakers how they figure out how Z, S or V should be pronounced in German).
> But does it happen because it is the only option or the best option?

I don't understand the difference. Model-checking scales better than deductive proofs and is far cheaper. If you have less than 5 years to write a 10 KLOC program or your program is larger, then deductive proofs won't work. Does that mean it's better or that it's the only choice?

> Also, encoding semantics specs is hard, so proper verification of algorithmic side is usually not an option anyway.

This is true for all formal methods, but here, too, most of them beat deductive proofs. With deductive proofs you have to annotate every unit (or work much harder). Model-checking (and concolic tests) can handle partial specifications. This is yet another reason why formal methods research is not focusing its efforts on deductive proofs.

> Again, I don't need separate model checker here, moderately advance GHC type system works just fine.

It doesn't, though. Memory safety is a compositional property, as is every kind of property that can be easily checked by deductive proofs (or almost compositional, requiring one or two inferences). Most correctness properties are not compositional. That deductive proofs (of propositions that aren't compositional) don't scale is not some hypothesis of mine. They've been tried for years, and they just don't. The biggest programs ever verified with them are ~10KLOC and they took years of expert work.

> Wiki disagrees with you. Oh, well.

No, it doesn't. But if you think it does, it means you don't yet know what signatures, theories, structures, interpretations and models are -- the very basics of all formal logics -- so explaining that might take a while (in short, if propositions and functions are part of the structure, of course FOL can quantify over them; if it couldn't, it wouldn't have been the lingua franca of mathematics and the crowning achievement of formal logic). You can read my very short introduction to formal logic here: https://pron.github.io/posts/tlaplus_part2#what-is-a-logic . It's relevant to any formal logic you may want to learn at some point, as they're all more similar to one another than differen, but it may be too terse if you don't have any prior background.

> As I said, at best I might be interested in HOL Isabelle. And even that is doubtful, so far Agda and Coq appear more useful for what I'm interested in.

Sure. In general, Lean/Coq/HOL are more geared toward research -- inventing new logics, formalizing "high" mathematics -- and TLA+ is more geared toward industry use and verification of software and hardware, and because that's what I need, that's the one I use most. But it really doesn't matter which you learn -- they're all much more similar to one another than different. Their most important differences are in user-friendliness and their tooling. I would recommend Lean over Coq and Agda, though; I think it subsumes both, and its documentation and tutorials are better, so it's easier to learn. I enjoyed TLA+ and Lean more than Coq and HOL, and I haven't tried Agda. But this could be a matter of personal preference. Again, they're all more similar than different.
In a world where funding is largely about your ability to market your product, I don't see why it's that unlikely. It's not even that they're particularly stupid, just that the market isn't magically immune to things like the sunk cost fallacy.

If people are still paying you for an idea that you might be somewhat sceptical about, are you going to stop doing it anyway? Maybe you will, but I imagine there are plenty of people where the money will just confirm their biases towards their work.
Anecdotally, I swear that in the late 90's one of the bird species in Michigan switched over to the Nokia ring tone.
A bit snarky isn’t it? I explained why it isn’t irrational to use Rust — nowhere did I say you have to use Rust or that Rust is the only solution to that problem (which it obviously isn’t). Assuming the person opposite doesn’t know things is an extra unpleasant move on your part and I am not sure why you feel attacked by any of what I wrote.

For the record, I also use C and I know that expert level C can beat naive Rust at any time (expert level Rust should allow you to do literally the same thing you do in C, just wrapped in a “I can handle this”-unsafe block.

Your response tells more about yourself than it does about the subject at hand. Rust isn’t stealing your cookies and nor am I.
I don't understand how you can compare the cost of a wind farm to fossil fuel. The former provides megawatts, and the latter provides megawatt-hours.

You would have to incorporate assumptions on lifespan, maintenance and/or amortization.
For the US equivalent, see https://en.m.wikipedia.org/wiki/American_Indian_boarding_sch...
It's not okay and people have gone to jail over emailing themselves confidential corporate info / data to their personal email. I don't see how transferring everything outside of the company network would be viewed any more favorably.
[1] (Debian had a weak PRNG for ~2 years in ~2006-2008) teaches us every distribution or OS vendor can make huge mistakes, with very simple actions (ie. the systems are complicated).

(I'm not saying you should not trust Debian though.)

I do wonder if a stateful OS such as nixOS can help mitigate the threat of malware easier (sans extradition of data, for that we'd need capability-based security, or something like pledge). If it'd be user-friendly, like TimeMachine, that is.

[1] https://www.schneier.com/blog/archives/2008/05/random_number...
That setup doesn’t work with games, too - unless you’re willing to turn off your GPU in the main OS so that it could be used in the other guest.
Much more expensive to build pipelines and that is why gas gets flared at oil fields.
Japanese electronics giant NEC tested a drone-like prototype yesterday
Log-height is a sufficient but not necessary condition. There are a few other ways generalize balanced trees, notably logit-weight.
too much underscore citations.
In Japan, in Chiba, for 500 yen, you can buy a 4 litre plastic bottle which you can reuse over and over again for drinking water from the local super market. Maybe you have a similar system available if you check.
This sounds like a great idea - go without something for a while and you'll appreciate it and notice it more when you go back to using (hopefully less of) it.

It sounds like a significant challenge to do this outside of an urban environment that is well served with "alternative" retailers though.

A friend nearby, leading a similar suburban-supermarket lifestyle to me, tried a slightly different thing for a few months - all single use plastic was disposed of in a very visible location (a clear plastic (doh) sack in the kitchen) as a reminder of how much you've used. Apparently it was very shocking.

Other motivational ideas:

- any plastic you use goes to landfill. In your back yard.

- Collect all your plastic waste. Take the 10% that would on average (globally) end up in the ocean. Chop it up and add it to your meals. See if you like it as much as the seabirds and turtles do.

- Admit that any plastic you send to recycling is just going to get "recycled" into energy anyway. Incinerate it at home instead.
I mean, what are the chances that Goldman doesn’t sell that info?

It does seem odd for Apple to choose to hand that data over to the bank with the absolute least scruples. GS has made a name for themselves screwing their own customers.

I would’ve hoped Apple would partner with a smaller bank that has something to gain, and then say something like “because we care about your privacy, we have partnered with Bank X to develop the first credit card with truly private transactions” or something like that.

The fact that they just leak the data to the credit card industry is odd. With all their cash they could’ve bought a bank and issued the card themselves. Hopefully that’s their endgame.
How does it help against new threats exactly, if they are not auto-detected in the first place?
"English is written in the Roman alphabet not because its sounds are particularly well suited to that alphabet, but because it's the alphabet we had."

Forgot about the Futhark? English is written with the latin alphabet because the bibles were written in latin.
Develop Denver Conference Review
> A message to crackers: Nobody wants copy protection. All it is designed to do is give a program a fighting chance. Now we realize that there is a great competition to see which group breaks this game first, however, if you do break it, please consider this: If you let this game out early after release, and there are few sales, it will be very difficult to justify followup games of this type. Nobody benefits; not the developers, not the users, and not the Amiga community.

Actually users benefit: they can get games without paying for them. Of course it's a short term benefit if the market dies because of that, but saying as a blanket statement that no-one benefits is just not reading the market well. Also hardware manufacturers benefit from people buying hardware to play games.
> Better grid management also helped the economics of wind. At times, strong winds can cause wind farms to produce an excess of power relative to demand, causing a farm's output to be reduced.

I think this part is particularly relevant to the HN community. As we reach higher and higher penetration of renewables on the grid, we will need to dead with the intermittency more and more. A common phrase I hear at utility conferences nowadays is, "We used to forecast load and deploy generation, but in the future, we will be forecasting generation and deploying load."

I think this area will be the next wave of innovation that needs to happen in the energy transition, and it's going to be primarily software driven. Smart load management will be key to avoiding huge storage and infrastructure capital expenses. For example, in Hawaii, they are starting to explore new utility business models that don't just rely on a fixed rate of return for capital spent.

Anyway, as we cross 50%+ penetration of renewables, I think software is going to take a leading roll in connecting and managing everything so we can have the flexibility we need on the grid.
Not sure about "chinaman"
If you haven't hired any people that you regretted (ultimately), I wonder if you're being too conservative in your hiring? Sure you don't fail, but are you ever surprised that a marginal borderline outside the box case turned out to be 100x ?
> But if I'm doing something that I don't know will fit into an existing Python mold (that I know about) then I'll strongly consider using it.

The thing is, for anything performance intensive and scientific, you're almost guaranteed to find a Python binding.

It has all these bindings because scientists are almost always writing either Python, C++, or Fortran (with a smattering of R or Octave on the side).

Want to do linear algebra? NumPy is always there, otherwise you can go lower level: https://docs.scipy.org/doc/scipy/reference/linalg.blas.html

Old-school optimization? https://www.roguewave.com/sites/rw/files/attachments/PyIMSLS...

Computer vision? https://pypi.org/project/opencv-python/

In fact, I'd basically argue against using most language-native implementations of algorithms where performance is at stake, because most implementations don't have all the algorithmic optimizations.
I’d phrase it as, “It’s not _just_ about floating point artefacts.” Rounding is a source of error inherent to storing arbitrary precision numbers in finite space, floating point numbers are just a very common way to do that. Numerical stability is basically about information loss, typically when adding a very small number to a very large number causing information about the small number to be rounded out.

It happens with ints too, but it is so much more obvious than with floats that no one would be surprised.

Repeating i += 0.1 a million times will produce the same value as i += 0.2 a million times if i is an int, since the rounding will make both effectively i += 0.
Staying on a Houseboat in Amsterdam, Netherlands
(Note that when I say panels need to face north, that’s because I am in the southern hemisphere. Obviously in the northern hemisphere it’s the opposite so should face south).
Sometimes the architecture is not designed by a single person. Sometimes it is a group. Sometimes it evolves from every-developer-does-it. Sometimes the role switches quickly from person to person. I don't know scientific studies to compare the approaches. Usually everbody just agrees that ideally one person should do it all.

It is usually easy to identify architectural decisions. You can then find out who made that decision and thus figure out who is the architect.

For example, in a web project: Who decided to build microservices vs a monolith? Who chose the database technology (PostgreSQL vs MySQL vs MongoDB vs ...)? Who chose the cloud platform? Who introduces external SaaS products? Who split up the big thing into pieces for different teams?