skysight-inc/HackerNews huggingface dataset:
My favourite language is Clojure, but this exact thing leaves a bad taste sometimes. Clojure has the attitude that you should validate on the edges, using spec or similar, and then have dynamic types in between. This is really super convenient! However, as the codebase grows, subtle type errors do slip through and it gets rather hard to catch, since its now a runtime error that may not happen until a long time later (and then Clojure's notoriously bad error messages certainly don't help). So you hope your test suite catches it. Luckily, with generative property-based testing, which Clojure has reasonable support for, this can often get caught early, but during tests is still not as early as with a type checker and generative tests could still take a very long time to catch subtle issues (but it catches a lot more than just type errors!). Of course, Clojure also encourages developing in the REPL, so most of the time, you can be pretty confident that it will work before you even run the tests. Still, I feel like some kind of static typed Clojure (not a separate thing like Typed Clojure, which is slow and clunky, but something with first-class static type checking as part of the language) would be awesome. Maybe in reality it would conflict with many of Clojure's other niceties though.
Right. I think they failed to imagine how big the local disruption would be.

Especially since they were busy demolishing & re-planning districts anyway, replacing slums with big block projects. They clearly had no idea how awful these new districts would be, and to me this seems like a very similar misunderstanding of how cities work.

I also wonder a bit if they learned the wrong lessons from rail. Some cities, like London, added a ring of terminal stations, which still today means you have to schlepp across town to continue. Other cities, like Berlin, re-built so that lines ran through, and in hindsight the disruption was worth it.
Let’s keep that in mind when we propose the next sweeping utopian change to the country.
> What else can you do?

If the CEO has a single general job, it’s maintaining strategic cohesion. If there’s a debate, that’s fine. But it should be controlled.
None of them marked lack of violence or emotional abuse as a priority, either. Telling that even women - Females! - didn’t even write in to mention it.

After realizing that, it seems to confirm what I’ve suspected all along: people mostly want to money and the potential to make more money in the future.
18.04 LTS is GNOME
I don't agree. Very few people do anything significant enough to warrant a book about their life, but everyone who travels lives a better life afterward.

tens of thousands of biographies (if there is really such a number)

There's more than 80,000 in the biography section of Amazon, and that only includes the ones in print right now.
Steve Jobs' response to an insult during developer Q&A (1997)
>EvilGnome’s functionalities include desktop screenshots, file stealing, allowing capturing audio recording from the user’s microphone and the ability to download and execute further modules.

I'm glad this is still considered malware in the Linux world at least, and not just "analytics"
Ed. Never mind, can't read apparently.
Here comes the swarm: UPS delivery drones
Most malware is. The question becomes how good they are at tricking people to install it.
Poor people are forced to spend more on everything. Finance is a great example. In the USA, banks find poor people unprofitable. To remedy this, they created two institutions:

* ChexSystems, a credit reporting service for bank accounts

* Payday loans, a predatory lending system which takes 4-8% of a person's paycheck to cash it instantly instead of waiting a couple of days.

ChexSystems is designed to identify poor people and ban them from the banking system so that they have to give their round of flesh to shylocks in order to buy food and pay rent. This is one of the more egregious attacks on the poor in the USA, but there are tens of thousands of them to be honest.
> No one asked

That's not true. My district told parents it would lighten backpacks. They eliminated lockers. Now kids have to carry backpacks full of textbooks, AND their iPads, AND be responsible for both electronic work and paper work.

Root cause: ebooks too expensive, schools were subject to the same racket as any student: rent-seeking publishers.
FYI they use Debian now: https://www.zdnet.com/article/google-moves-to-debian-for-in-...
To be fair to the guy, he wasn't defrauding the airline. He bought lifetime tickets.

Any normally purchased ticket that isn't flown wouldn't be considered defrauding because you associate it with ongoing profit. The fact this guy paid an at-the-time-inflated $250k for a lifetime ticket should entitle him to book his tickets, as a portion of his lifetime ticket. The fact that, in hindsight, the airline is making a loss at this price, whether he flies or not, is not his fault.
>Ubuntu now default to Wayland.

I think Ubuntu changed their minds and went back to Xorg, also Wayland+GNOME Shell has the terrible issue where the shell crashes would bring down your session and you lose all your work.

Debian just switched to Wayland so in the fallowing months we will see the effects, it could be a new pulse audio situation where you will get a lot of "fixes" starting by removing Wayland.
I reads the opposite. He said such systems are easier targets because of uniformity.
The issue I see is that a . and a , are tiny little marks on the screen that are super easy to miss and, at a glance, the . , ; all can look the same. Maybe with practice you can spot the differences easier, but certainly as a newcomer to the language its a lot of extra cognitive load. && and || at least are super obvious.
Adolf Hitler's Toilet
I gave up reading about half way through, my sympathy just gave out completely, for the reasons you mentioned.
Didn't look like it to me. More that security by obscurity in having heterogeneous infrastructure across different distributions no longer applies, not that systemD was improving the situation.
Transportation in north America is more difficult than transportation within Europe for sure. I recently moved to Germany from Canada and have found it is much easier to get between locations with many options and price points available.
Yet another worthless article lamenting the fact that an immensely privileged person had a minor inconvenience to their lifestyle.

It's not exactly something that "gratifies one's intellectual curiosity", as according to the HN guidelines - obsessing over the idle rich is not an intellectual pursuit.
Guess who thinks that isn’t going to go well... the CEO.

https://news.ycombinator.com/item?id=20473819
> I think algebraic effects are more general

Not an expert on algebraic effects, but I suspect they are both more and less general.

On the one hand, "algebraic" hints at some constraints in the name of static typeability. Such restrictions wouldn't be present in Common Lisp.

On the other hand, Common Lisp only has single-shot downward continuations, so you won't get, e.g. nondeterminism-as-an-effect.
I agree, and I grew up in a country where they're very rare (UK) and still don't have one.

I love holidaying in Europe. Bidets, bidets everywhere.
The Stock-Buyback Swindle
Indeed. I think the issue is being vegan these days is not just about eating exclusively plant-based food, but a sort of political statement. I wish there would be a short, separate term to distinguish the two.
Boris Johnson has an alarming track record of technology stunts
The British government covers 75% of the cost of a home charger and will subsidise workplace and on-street charging points too.

The infrastructure is more of a challenge in the US due to your 110v system - most British garages already have 3kW sockets and the unsubsidised cost of a 7kW charger installation is typically less than $1,000.

https://www.gov.uk/government/collections/government-grants-...
In centuries past, night soil was used as fertilizer and there was a business case for collecting it. Today, human waste is avoided as fertilizer for a number of reasons (hormones and other medication residues, pathogens), and so there is no more business case for collecting it. One would have to advocate solid waste collection as a new public utility, and that might be an uphill battle.
Complete Mountain Biking Guide
> Would I recommend buying an electric car? This is a bit like asking if someone should buy a computer. The answer is, “Probably – but what do you need it for?”

I'd say it's more like recommending to buy stock in something you're already invested in. "Hey, the stock is going up, but it will go much higher if you (and your friends) buy it too!"

The more people buy/use EV the better the infrastructure around us, the better the market, prices and models to choose from. And better for the environment. Besides, trust me, driving an EV feels like "the future", if you're into that kind of thing.

My wife and I have invested in a PHEV vehicle, a Kia Niro (55km e-range, plus a ~40L gas tank), for the next 5 years (a lease) and we put a charger in our front door. We live in a townhouse with no garage but we park it on the street in front. She drives it everyday 45km to-from work and it works great, 98% of the time all-electric except for the long range roadtrips where the gas kicks in. Still, the Niro is a quite efficient hybrid when the battery runs out. We are saving about 1500€/year on gas compared to her previous tiny compact car.
Pretty close. I heard that humans are second after dogs.
DISCLAIMER: Obviously some git tasks are just the wrong fit for a GUI, and some git tasks are just not possible.

I've not used Fork but I find SourceTree (which looks very similar) MUCH quicker to search for, and build commits from, hunks. I mean perhaps if I really invested in the git tool I could get my speed up, but I don't see the point - I have what I need already in SourceTree.

More generally the tree-structure of the git filesystem often lends itself to persistent visualisations e.g. split view graph + branches. Especially when fetching, and the graph automatically re-renders and shows you an unexpected structure.

If we are talking about vanilla git - GUIs can be a nice drop in to speed up commit work flows like "checkout that commit I was working approx a dozen commits ago". Being able visually-grep, and then double-click is a bit faster than `git log --pretty=oneline; git checkout SHA"`

And finally, and they are a great on-boarding wrapper for users who are new to git. I've had good success unblocking users with very little git experience who are only using a git CLI, by introducing a git GUI. This really flattens out the learning curve, which frees up both devs to concentrate on the _actual_ task at hand.
This incident made me think that the hackers planned to hijack some popular extension. this would make the more damage.

My (unpopular) opinion is that GNOME should see what are the most used extensions, accept that people want those feature and bring those features into GNOME or make those official extension and not third party, so you at least control what most people would install.
You do you, no need for an online blog post about it though.

What's up with all these medium posts with literally 0 content besides "I like to do X" ? Is this an attempt to create content with your name attached to it for some SEO reasons ?
The root cause of the problem as describe by an other article recently submitted to HN is the case that male humans are treated as possessions. Males are expected to support their elders, making males walking pension funds in the possession of their parents. If they started to treat the male humans as humans then there would not be any economical incentive and the root cause resolved.

I for one would not like to have been born just to provide money to my family, and sadly money is in the center of the problem as the statistics shows.
Do we have a single word for people who eat plant-based food other than ideology, e.g. for health reasons or for just a preference?
Using a Prototype-Based Language for User Interface (1995) [pdf]
NewtonScript: https://en.wikipedia.org/wiki/NewtonScript
Show HN: Hypelance – Digital Marketplace and Community for Freelancers
This is such a cool language. The Macro system is really interesting. Its a mostly like Dylan (Common Lisp + CLOS, Basic Syntax) but with Python Syntax.
An act of kindness is a way to express our gratitude toward the society and/or nature by contributing with our skills and resources. It makes us feel that we have something valuable to offer and that certainly gives meaning to our life.
I think you misunderstand the genericicity of macros in Lisp. Macros take one or more S-exps and return and S-exp. nothing more, nothing less.

There’s no reason why macros need to generate valid code. Though in Lisp, it’s pretty easy to make any code you want valid.
Great movie.

Assuming that data is basically a tool for doing PsyOps, it certainly puts the social networks operated by for example Chinese companies in a different light. That would mean total control.

Could you imagine if the Silicon Valley companies were obligated to share their data troves with the American government?

I understand now why every little shithole in China (e.g. my parents in law's small village) have better Internet fiber connections than I will ever have in Scandiavia.
My understanding is that she'd be at the junior level as the developer. Was the position for junior? If not then this is non-story.
> taking away something integral to who he was.

Uhh... so flying at a very discounted rate was integral to who he was? His identity? That seems a bit much. I'm finding it hard to sympathise with this guy, although AA sold a "lifetime" ticket, so that was their mistake and they should honour it. If it had turned out to have made them money instead, they'd happily continue. They made a miscalculation, that's on them.
Food access is not the same everywhere in the world. If she could buy organic food in her time in her place of the world then more power to her, but don't assume that access to fresh food is the same everywhere in the world.
> The biggest pitfalls of rail have been right-of-way acquisition in mature economic regimes (high induced land values, themselves a result in large part of improved transport, impede further transport development), transfers and mode-transitions (especially rail-to-local endpoint travel), and technological lock-in and stagnation.

Rail is more expensive than roads in the US even where the right of way already exists. The Silver Line was built along an existing right of way and still cost $250 million per mile. (There is tons of excess freeway median in the US that could cost rail.) The problem is actually the high cost of skilled labor in the US. I don’t suppose you’d consider US labor rights to be “oppressive.”
He means the LTS's are Xorg not Wayland
So we’re all forced to use shit apps? No thanks.

I imagine the number of Linux desktop using developers who use git and want a git GUI is numbering in the hundreds, worldwide.
This book is poetry. If you have never seen it, please check it out.
> I for example pursue many utterly selfish hobbies without any proper meaning to me or anybody else ... the only meaning of those things is feeling 200% alive

> Climbing to the top of some peak doesn't have any proper meaning, it has been done 1000s before and will be done after me, the only meaning is how it feels during and after the adventure.

I don't quite understand what is your concept of meaning. You say that you pursue all these difficult and dangerous things that make you feel 200% alive and extremely content with your life. I wonder, how much more meaning could you ask for? To me, feeling completely alive while immersed in something is pretty much the definition of a meaningful activity! Happiness and contentment seems to be a nice bonus caused by the realization that you are in the middle of something that feels very meaningful to you.
So none of the tech news websites contacted VideoLAN and published their articles without checking their source.

I believe this sums up the problem with online news: being first matters most to news sites. It drives traffic. Accurate reporting comes second.

I feel bad for VideoLAN, according to them the bug was in a 3rd party lib and was fixed 16 months ago.
How do startup owners know these sites are of value? What is the page raking on them?
That's why I started my post with "in my part of the world". Beef is not that expensive and it's an incredibly efficient source for both calories and protein, both which are essential for say, construction workers. Students don't need to be doing heavy lifting 9 hs a day.
The great contribution of Differential Privacy theory is to quantify just how little use you can get out of aggregate data before individuals become identifiable.

Unfortunately, Differential Privacy proofs can be used to justify applications which turn out to leak privacy when the proofs are shown to be incorrect after the fact, when the data is already out there and the damage already done.

Nevertheless, it is instructive just to see how perilously few queries can be answered before compromise occurs — putting the lie to the irresponsible idea of "anonymization".
I would expect Gnome to be the window manager of >80% of Linux installs. I don't think Redhat is particularly special in this regard, even if it is a particularly juicy target.
Couldn't enter a month of birth . . .
Advanced Perimeter based iptables firewall on Linux boxes
The paper referenced in the article: https://www.nature.com/articles/s41467-019-10933-3
I also find this confusing.
> Bad faith?

"Bag Rothstein"
This group of german companies founded their own security group [German Cyber Security Organization (DCSO)]. That speaks a lot about their trust in their public services.

The only time I've been involved in a hacking attempt (it was ransomware) the company I work for contacted the CCN-CERT. I wonder if US companies contact NSA/Other gov agencies or deal with it themselves with security companies.

Also, while I understand the care and concern they put into securing their networks, many german companies basically gift their tech to china, like Deutsche Bahn, or being bought and transfered there, like it happend with Kuka. So be it by hacking into your network or "partnering", they'll copy your tech and kick you out of their market sooner or later.
Thanks for this example! Reminds me of callbacks in JavaScript or event listeners in OOP, with slightly different (better?) structure!
Neat way to protect authenticity especially within art
Yes, even if the crash is not an environmental cycle, a crash will generally occur because the glut of resources allows a population explosion which eventually consumes the available resource.
From, http://archive.is/5Gcnp

<<--The president’s question touched upon a central conviction at Apple. It isn’t just that workers are cheaper abroad. Rather, Apple’s executives believe the vast scale of overseas factories as well as the flexibility, diligence and industrial skills of foreign workers have so outpaced their American counterparts that “Made in the U.S.A.” is no longer a viable option for most Apple products."

..............
..............
Apple executives say that going overseas, at this point, is their only option. One former executive described how the company relied upon a Chinese factory to revamp iPhone manufacturing just weeks before the device was due on shelves. Apple had redesigned the iPhone’s screen at the last minute, forcing an assembly line overhaul. New screens began arriving at the plant near midnight.
A foreman immediately roused 8,000 workers inside the company’s dormitories, according to the executive. Each employee was given a biscuit and a cup of tea, guided to a workstation and within half an hour started a 12-hour shift fitting glass screens into beveled frames. Within 96 hours, the plant was producing over 10,000 iPhones a day.
“The speed and flexibility is breathtaking,” the executive said. “There’s no American plant that can match that.”
-->>
If people tell you they're collecting data for statistical purposes, then one of three things:

1. They should deliberately introduce noise into the raw data. Nazis with the raw census data can spend all month trying to find the two 40-something Jews that data says live on this island of 8400 people, but they were just noise. Or were they? No way to know.

2. Bucket everything and discard all raw data immediately. This hampers future analysis, so the buckets must be chosen carefully, but it is often enough for real statistical work, and often you could just collect data again later if you realise you needed different buckets.

3. They shouldn't collect _anything_ personally identifiable. Hard because this could be almost anything at all. If you're 180cm tall your height doesn't seem personally identifiable, but ask Sun Mingming. If you own a Honda Civic then model of car doesn't seem personally identifiable but ask somebody in a Rolls Royce Wraith Luminary...
Seriously... selling some of your founding stock months prior to an IPO is a huge indictment of its potential.

Sure he has plenty left and you could argue it was a hedge, but still.

Also, who buys the founder’s stock right before an IPO? Talk about buying into a story... ‘this is going to go through the roof at the IPO, so let me sell it to you just before’

This is such a red flag
Golden age of SIGINT may be over
> understand and propose ways for poor people to live on a vegan lifestyle when $$$ is tight and calorie intake needs are bigger

That is a lazy excuse - literally the cheapest diets are vegan. Rice&dal will give you both calorie intake and protein at a cost of less than a dollar a day (which is why a lot of the world's poorest people subsist on it...).

> start prosecuting companies with large carbon footprints

Prosecuting? On what legal grounds?

Easier solution. Companies will immediately stop doing it if emitting carbon gets more expensive than not emitting it. Simple solution, carbon tax.
Photoshop and other Adobe editing features.
https://news.softpedia.com/news/critical-flaw-in-vlc-media-p... sources https://winfuture.de/news,110171.html sources https://www.cert-bund.de/advisoryshort/CB-K19-0634 sources https://nvd.nist.gov/vuln/detail/CVE-2019-13615 which finally gets to the bug report https://trac.videolan.org/vlc/ticket/22474

To boot https://www.securityfocus.com/bid/109304 claims all versions are vulnerable and the vendor reported it
Basically the same :)

Usually, after a certain level math problems become very narrow, and a small subfield develops around them. They are "easy" to get into, to catch up, read the important papers, sketch out the proofs for yourself, get a feel for the concepts and for the conjectures that lurk among them.

And usually that's it. Usually a few folks of that very particular topic/field have some ideas that they are working on, usually for at least a year, they try to formalize them, conceptualize them, communicate them, and naturally to prove them.

And sometimes draft/working papers are all we get. Sometimes someone becomes a "household" name after many persistent years like Wiles.
Coroutines are light (cooperative) threads, not preemptive ones, and Lua is strictly single-threaded too^. Lua Lanes library provides hardware threads to Lua programs by creating separate vm states and managing interactions between these: http://lualanes.github.io/lanes/ but it is another beast.

^ except rare cases when embedded with lua_lock() defined as a thread locking routine. Then it becomes thread-safe, but still not multithreaded.
Because rarely do we get accurate descriptions of the why behind most advice. Trusting credible people and institutions is a necessity unless you're planning on doing foundational research for everything in your life.
This is considered malware in any world.