skysight-inc/HackerNews huggingface dataset:
Seems we are going full circle: the Python ecosystem had component-based template languages such as ZPT (Zope Page Templates) and Genshi. The former I think is still used with the Pyramid framework, but mostly these approaches have been replaced by Django/Jinja2 text-based templates. So in Jinja2 or Django you would have something like:

<h1>{{ page_title }}</h1>

But in ZPT:

<h1 tal:content="context/title">Sample Page Title</h1>

If you squint hard enough this doesn't look a million miles different from React or Vue.

This approach largely fell out of favor, but I don't know whether that was just due to Django's popularity vs other Python frameworks or Django template language just being more flexible and approachable, especially for front-end developers (and you could use it for any kind of text based content, such as emails).
Can't you just move the microSD card over so all the configuration is in place and you just need to power it?
> instead of just stealing the light?

because HN isn't a place to merely advertise a product to gain traction and marketing. These alternatives and comments on other competitors shed light on the entire eco system, and prevent astroturfing as well as group think. It may even widen somebody's lack of knowledge.
Toilets are needed by all people on the entire planet, so by your logic we should have more diverse emoloyees in toilet manufacturing, since toilets are used by so many people. Wouldn't we also be better off if more women were working in the garbage industry? We need women's diversity in the garbage collecting industry because their diversity will help improve garbage collection for the entire planet.

Does it really make a difference if the same feature is implemented by a man versus a woman?
It would be interesting to know how to make something like that integrated with sensors and services OS offers: activity detection, geolocation, foreground tasks, scheduled alarms, etc.
Ask HN: Which is the new best windows hosting service you found recently?
Can you share any windows hosting service you found recently which are doing great?

Please share. I am looking for one right now.
Thanks
It looks like the tool creates 8 bit .gif files rather than h264 encoded webm videos. Is there any demand for actual .gif files these days?
The biggest problems with such UBI experiments is the limited time of the experiment.

If I had a shitty, dead-end job, and someone offered me (eg.) 80% of an average paycheck in my country, FOR 2 YEARS, i'd be happier than before, and use that money to pay off loans, buy a new car, go for a vacation, etc., and keep my curent job.

If I had a shitty, dead-end job, and someone offered me (eg.) 80% of an average paycheck in my country, FOREVER(!), i'd probably quit, and live off UBI, and do other stuff (fun for me, but litle of value to to wider society, and with probably zero tax money to feed the UBI system). ...or, probably move somewhere, where I can get more for that amount of money.

Most countries have lottery systems made up in a way, that you can opt for a bulk sum or get monthly payouts from the lottery... i'm sure, that we could find people, who get monthly sums somewhere in the interesting rage, to check how they're doing now.... but usually, looking at loterry winners does not show results in favour of giving people "free money".
Administering the welfare system costs orders of magnitude less than paying unconditional living wage to the UK's 8 million economically inactive working age people.
There are certainly plenty of fields that have a these problems and are vulnerable to be politically driven. I'd say the further toward the "soft" sciences you go, the more you're able to manipulate results to fit certain viewpoints. 538 has a nice little demo showing off the problem.

https://projects.fivethirtyeight.com/p-hacking/
unfortunately, the API and such for creating an intellij plugin (and creating it well!) is much more difficult than a VScode plugin.

And the structure of VSCode probably makes it easier to write standard code that doesn't perform poorly (it's a browser after all).
I have surface book 2 and have been using it both for development via WLS + VS code and as a tablet for drawing, taking meeting notes etc. I would never come back to Mac or any Linux compatible laptop because I got used to its versatility.

I simply cannot comprehend how a laptop with detachable screen, which is powered by GTX1060 and has by far the longest battery life on the market can be awkward. Couple this with better than mac keyboard, good 4k display and corpus that never overheats like Mac. It is also more silent. Please tell me which laptop currently has all these features?
Both Nvidia and AMD are releasing new GPUs later this year. Even if you don't buy one of those the old ones will get cheaper then, so don't buy anything until you actually need it.
Happy Birthday Racket!
I’ve learnt a lot working with Racket and I hope that will continue: next on my list `#lang typed/racket`
https://docs.racket-lang.org/ts-guide/quick.html
A history of SaaS landing pages
Proof that hardly anyone cares about privacy
Quotes that will make you quit your job and do the thing you love
I've used react-pdf[1] to generate the resumes and react-pdf[2] to display them

[1] https://react-pdf.org/
[2] https://github.com/wojtekmaj/react-pdf
just... be sure you're at least aware of the scunthorpe problem that this font is named after. do not implement an obscenity filter without being aware of the inconveniences they pose.

my name is woody (like the tom hanks cowboy, but also, i've been told, like the outdated euphemism for an erection) and i've been scunthorped out of creating accounts on dozens of sites because of my name. it's aggravating at the best of times, but doubly so when i want to be actually recognizable on the service in question.

https://en.wikipedia.org/wiki/Scunthorpe_problem
icecream (icecc) is basically this. It’s “cloud” in that it’s distributed, but it requires surprisingly high bandwidth to the cluster, so it basically requires an office LAN connection. Or for your editor to be on that connection a la VSCode’s remote thing.
Interesting historical anecdote: ACK was briefly considered as a base for implementing GCC, but was rejected for licensing reasons.
JPEG XL White Paper just published [pdf]
well based on the comments on this story they should just work as a full time poster on HN, not reading the story by automatically knee jerk responding how vile the company is.

this story comes down to a contract dispute, the pilot signed an agreement as part of being given training and if the company is guilty of anything it is guilty of letting it go for this many years.

sometimes the little guy is at fault
The definition of "good developer" depends greatly on the context and environment.

Based on my experiences in many different teams, I would suggest two critical attributes:

1. Strong knowledge of all core principles: computer architectures, operating systems, networking, etc.

2. Solid domain knowledge, e.g. supply chain, accounting, insurance, industrial control, etc.

Naturally a "good developer" is also conversant with several programming languages, frameworks, libraries, etc. But technical skills without domain knowledge limits opportunities.
Puzzle HN: Throughput and Latency
So here's something to think about on a Monday morning:

What's the relationship between latency and throughput in different systems, perhaps a disk system, perhaps a network system, perhaps a single core CPU system?

We are all used to decreasing latency and increasing throughput.

But can you think of examples where you can increase latency and increase throughput at the same time?

Can you come up with scenarios where you can decrease or increase latency without any impact on throughput?

Can you contrive cases where you can decrease latency but also decrease throughput?
You can insert the word 'effective' into my sentence above, and it remains true. It is entirely possible to design tapered benefit withdrawals without resorting to unconditional basic incomes.

(It's also theoretically possible to design tax brackets for a UBI/NIT system which imply effective marginal rates at 80%+, though I'm not sure why anyone would actually want to do that)
Face masks in public – an appeal for caution in policy [pdf]
So those is not used anywhere yet?

It's good GRS tries to raise awareness, but this could very well be an WIP or just some intern fooling around with Linux.
Ron Gilbert Releases New Free Thimbleweed Park Mini Adventure
What I really don't get is how companies get away with shipping any model that has 4GB of RAM. I mean,come on, it's 2020. The OS running idle probably needs more than that,not even mentioning opening a few tabs in Chrome.
The CEO is rarely the oldest person in a large company. So some age inversion is going on.

A more reasonable comparison is how old the tooling is between industries. The rate of change in the web front end world is vastly faster than C, so having someone with 20 years of experience in each means very different things across industries.
If you already have your basic human needs met then it is just a shortcut to provide the money only to those that don't have that one checked off yet. Otherwise you'd just end up pumping money around from those that don't need it to those that don't need it.
Nobody was confused by this. You are just making a similar logical leap along with a personal attack
I wonder, when did this shift happen wrt the Web: we only care about how it is easy for the developers, not for the users. Despite all the talk about UX a lot of the momentum is still in the wrong direction.

I've been writing working with the web close to 25 years now. It is amusing to see it come the full circle. How hard it is to understand, that you don't need react for some blog, or anything which is not even remotely an app?
Was there any reasons Windows couldn't be installed in it?
It's not free lunch, it's wealth distribution system.

Everyone gets UBI, then it's gradually taxed away as income increases.

If some part of UBI is taken from corporate taxation, it can be thought as subsidy from companies that employ few people to companies that employ more people.
Why Startups Suck at Customer Success
I've installed Pop!_Os on my Surface Go as the primary OS (deleted Windows) and it works really well. A few issues with the touch screen but I just disable that anyway. Using it for coding in C++ and Python and it works well.
The `sed` turns this

address=/example.com/0.0.0.0

into

address=/example.com/

...which makes dnsmasq return NXDOMAIN instead of 0.0.0.0. I think that's more correct.
Thank you!

I know, I wanted to add a LinkedIn integration but they don't allow it unless you're a partner.

So, I tried to mitigate the "data-entry hate" by showing the resume being updated in real time.
7 changes to pivot Weekend Club from IRL to 100% remote (after Covid-19 hit)
Yes, I've been using a low-end laptop with Pentium N5000 CPU (Gemini Lake aka "Atom-class") and 4GB RAM. Handles 1920x1200 rdp smoothly plus MS Teams and Firefox running on the laptop.

The Surface Go 2 with its more powerful CPUs and GPUs should work fine.
The problem with "universal" is, that someone with an average paycheck doesn't get anything, because he pays back the same amount he gets in taxes.

And the 'average' paycheck is not an 'average' in the term we use now (where we just look at the workers, add up their paychecks and divide by their number), but we also have to add up all the non workers (kids, pensioners, unemployed, studens,...) with "0 EUR" paychecks, and divide by the number of them too, because they'd get UBI too.
Not going to lie, this is pretty neat. Before I commit to bookmarking this, are you going to keep it free? And what exactly are your plans?
In English use it is commonly seen as included as part of Scandinavia. Ditto Iceland (even more improbable).
Try Qt with QtDesigner/Creator it gives you pretty much the same experience as VB6 did. Knocking up UIs that look good, perform well and scale as the windows are resized is fast and easy. One of the best parts of Qt and stuff that generally speaking works really well.
> But the reality is that React is plain HTML and
> Javascript, in a less error-prone and maintainable
> package.

This is far form the reality.
And the reality is, that more often than not you do not even need JavaScript, not to mention React.
> It comes from spending the money.

No, it comes from taxing people outside the experiment.
Thunderbolt flaw allows access to a PC’s data in minutes
It comes from taxes, borrowing and printing. Only one of those relates to the added value otherwise known as wealth creation. The other two ultimately make everyone poorer.

The question is: for a given country, what proportion of the population can theoretically be supported by the efforts of those who pay those taxes. This isn't a moral judgement on the basic income idea; it's just required prior basic arithmetic for those planning to introduce BI. Will BI actually work in the long run? I don't know.
> design tapered benefit withdrawals

Tapered benefit withdrawals are the exact reason for high effective marginal tax rate. You can't use them.

You can design welfare system effective marginal tax rate decreases smoothly, but you can't make it linear. (unless you make the taxation incredibly complex and effectively same as UBI/NTI)
Hi there. First of all, apologies for the privacy invasion. (I tried to contact you via Github but I'm not sure if you've seen my message).

I was sifting through posts on HackerNews on the book, Building Git (by James Coglan) and I stumbled upon your thread. I am currently a student, with no source of income at the moment. However, I have a deep desire to understand the internal working of Git. In fact, I'm already more than halfway through ProGit. But the lack of proper guidance/book is hindering my progress to build the same model from scratch.

Hence, I would be extremely delighted if you could share a copy of the book (if you still own it). I promise to pay it forward.

Let me know if this would be possible. My email id is just1visitor@gmail.com.

Let me know if I should take down this post! In any case, thanks for helping people out!

Looking forward to your response!
Do you have more terminal career optionality though? It feels like a PhD should be at least relatively valuable as a promotion signal, or are you arguing the 4 years of lost work experience outweigh any positives (ignoring debt and foregone income).
Anything that overruns the body will kill in diverse ways.

Cancer does the same thing. This isn't something new and terrifying...

A supercomputer probably couldn't model the exact way a terminal cancer patient will die.
From my understanding, it only works in Firefox and not Chrome though as an FYI.
The Eye of Sahara (2017)
Show HN: Use Python to safely run Postgres triggers
Hi Hacker News Readers!

This is my first submission here but I've been reading religiously for a year or so.
You can use plpy-wrapper as way to generate python trigger definitions which ensures
some of the more obscure errors bubble up as actual exceptions (as opposed to noops).

Given that this is a wrapper-style library, more functionality can be added to complement the native plpy module that postgres ships with.

I'd love any critique, suggestion, or input you may have.
WebKit doesn’t count? Google, BlackBerry, Amazon, Opera, Tizen, etc all maintain different derivations based off of Apple’s work with WebKit, with the most well known being Google Chrome.

(Although I’ll grant that WebKit itself is a fork of KHTML from the KDE project).
I feel like MS laptops are getting bashed left and right by various online experts these days without a decent reason. Apple products are not less cheaper and follow the same "100EUR for a charger" scheme. If you calculate the totals, MS laptop is no more experiensive than the Apple one. Except with MS products you also get a true mobile experience if that is what you are after.

The only drawback is Windows and its tooling. Which you can still circumvent with WLS. I wish Surface lineup was 100% Linux compatible, alas.
A less generous interpretation would be that Huawei cannot fix the code since they were the not the ones who wrote it on the first place.
Show HN: Picture Cook – Cook with Pictures
> If some part of UBI is taken from corporate taxation, it can be thought as subsidy from companies that employ few people to companies that employ more people.

Or a subsidy from companies which pay people properly to companies who pay people below subsistence levels, or a subsidy from companies that produce stuff to people who choose not to even look for opportunities to produce anything...
Factory furloughs across the U.S. are becoming permanent closings
e.g. aircraft carriers
UK Startups fear being left on sidelines by Treasury
Presumably you can just VPN through to a VPS with pihole on it?
Indexed Monads: Examples and Discussion
Which Kubernetes Platform to Choose?
> Why do you think x86 is a more open platform than ARM?

It's measurable. Whether in total number of computers sold with an unlocked bootloader on that platform, or percentage of computers with unlocked bootloaders on that platform.

Or, if not in terms of devices, measure in terms of drivers. The number of board types with working open source drivers (or, lacking that, at least open specifications on the hardware) is much higher on x86.

And the, finally, look at Apple hardware specifically. They started x86 with a completely open platform (w/ Windows drivers shipped), and have slowly been addiing proprietary hardware (and software) to the platform to lock it down. Since the x86 launch, Apple has shipped many ARM platforms, not one of which was open.
If you want to use an open-source project but act like a commercial product, KubeSphere is your choice. Try and join us on GitHub :)
Porting by a 1000 Patches: Bringing Swift to Windows (2019) [video]
OneTab: Save up to 95% memory and reduce tab clutter
My point is that there are differences between a) what people self-report and what the outside world thinks about their situation and b) an isolated short-term experiment and a long-term domestic/global thing.

If you won $1bn in the lottery, you'd be quite rich and, in so far that money can make you happy, probably also quite happy. If literally everybody won the lottery at the same time and got $1bn, you'd be back where you were before winning the lottery, as your $1bn wouldn't have the same relative value. Sure, you have a billion, but bread now costs $100k and your rent is $100m.
Even Wray and Mitchell aren't radical enough to argue that money printing without work incentives is sustainable...
Where i live day cares are free - only Problem is that there zero spots available. Maybe try again in 2022.
It's subsidy for labour incentive production, small businesses and startups. Everyone gets x amount of seed money per person per month.
Microsoft Azure Security – Azure Security Terminology
I've been meaning to write a tutorial on dependent types, but aimed at programmers rather than mathematicians and computer scientists. Here are some of the reasons I love them so much:

- The most popular motivation: the ability to write proofs about your programs, using the same language for both programming and proving. It's so satisfying to write code and prove it correct (with a type checker to catch your mistakes), but so few people get to experience this feeling.

- Of course, you can also use dependent types to just write proofs for the purpose of doing mathematics, without any programming. I've written about my experience doing that here: https://www.stephanboyer.com/post/134/my-hobby-proof-enginee...

- But dependent types are also useful in ordinary everyday programming! Many "features" of programming languages that we use at work are actually just limited special cases of the general idea of dependent types. For example, in a dependently typed language, you don't need special support for generics—you get it for free!

- Dependent types also eliminate much of the need for macros. In Rust, for example, you might use a macro to generate a JSON parser for a given type. If you had dependent types, you could just write a function that takes your type as an argument and returns the parser!

- Of course, there's that famous example of length-indexed vectors. The idea is that you can keep track of the sizes of your arrays in their types, and statically prevent out-of-bounds errors. So, for example, trying to get the first element of an empty array would be a type error.

- Haskell's generalized algebraic datatypes are another example of a limited special case of the full power you'd get from a dependently typed programming language.

- Another example: some languages have special support for existential types in some form or another. For example, Rust has something called "impl Trait" which is a limited use of existential types. This is another thing you get for free with dependent types (or rank-2 polymorphism).

- Other examples of things you get for free with dependent types: type aliases, higher-kinded types, higher-rank types, and compile-time code execution.

Dependent types may seem complicated at first glance. But after seeing how all these programming language features collapse into a single unified framework, you might change your mind: dependent types are extremely simple compared to the cornucopia of concepts we have to learn in their absence! I strongly believe that programming languages have grown too complex, and dependent types have the right power-to-weight ratio to cull that complexity.
"I am completely uninterested in your opinions of what is or is not possible. This is computer science. There aren't restrictions. I can do anything I want."

Sir, this is a mobile platform.
Show HN: Microservices Architecture and Step by Step Implementation on .NET
>If anyone is an environment that cynism is rewarded, run from there. There are better places to be.

This is why I quit Twitter.
"Kokoomus ... is heavily opposed to the system"

There is no "system". There is an endless number of possible implementations of UBI on a spectrum that ranges from communist to libertarian.

One of the main UBI stalwarts in Finland is the pinnacle capitalist ideolog and banker Björn Whalroos, who wants UBI to replace ALL other welfare-state programs, including universal health care.

On the other end of the spectrum are proposals for UBI with a purpose to solve issues caused by globalization, patch-work employment, etc.

Kokoomus has strong proponents of UBI and if I recall correctly, the party approved a resolution for studying UBI 13 years ago in their 2007 national convention.
> Then seemingly without material change in situation, now the Government is allowing flights back to India.

Well if a rule was unreasonably harsh you hardly need a material change in the situation to change it, do you? You can't complain that they weren't letting Indians into India, and then complain that they suddenly started to let Indians back into India.
Ask HN: What are the most tedious tasks you face in your job?
I'm mainly looking for tasks that are:

- Frequent so you'd consider a service

- Could be done by a gig-worker or automated

Otherwise, catharsis is also welcome
Fair play to me!
An important distinction here is surely between voluntary departure, and being laid off. What did the clause you mention cover?

Seems like a fair concern for a company not to have their freshly trained employees get poached by the competition the day they start being useful. (Although IMO it would be better to structure it as a lower salary while in training and a bonus which vests in a year.) But people they have decide to fire is a different matter.
Meta: countless fiscal policy changes are made in weeks.

But for UBI, decades of experiments and data-driven validation seem to be required.

Why is it acceptable that UBI requires such huge burden of proof?

Don't tell me that it's more radical than other reforms: when used as a replacement for welfare and other subsidies at comparable cost, it is pretty mild.
Continuations in Racket's Web Server