skysight-inc/HackerNews huggingface dataset:
I don't understand what is your point. The KDE example you have linked shows that you can in fact guarantee a stable C++ ABI (although it requires a lot of care). The fact that they go through all the trouble is a hint that a C ABI is in fact too restrictive and not expressive enough for a large framework like KDE.

Specifically KDE relies (among other things) on the ABI stability of the layout of virtual tables which is certainly not part of the C ABI.
> There is a clear difference between people clearly going to the same bakery over and over to harass and old guy,There is a clear difference between people clearly going to the same bakery over and over to harass and old guy.

Look back a few decades and this is exactly the same argument that segregationists were using. You've basically just said: "That shopowner has a right not to deal with blacks, why do they keep harassing that poor man by trying to buy his goods?".

> I will note the irony about people saying that we should respect society “decisions” when they didn’t respect Trump becoming president since day one . Come on pal drop the dishonesty.

Those people didn't leave pipe-bombs at both party headquarters, call for their own Vice President to be hanged, or storm the Capitol building though. It's both transparent and dishonest to try to equate the two. Especially when you consider that Trump was one of the people peddling the birther nonsense about Obama and that pretty much everyone involved with the trump campaign was actually found guilty of some form of corruption. Trump himself has only escaped charges by virtue of being the President.
This! It frustrates me so much that so many people constantly just talk about left and right while completely ignoring the Y-axis of the political spectrum! To me, both parties are firmly in authoritarian land, and no amount of calling it "both sides-ism" will change that fact.

Another frustrating thing is seeing people take a position and just label everything one or the other side, while there are a huge swath of voters and non-voters who don't identify with either party.

(sidenote: Right now, I am liking the Movement for a Peoples Party.)
"acts as an invaluable pair-programming buddy that gives instantaneous feedback during development."

This is the key bit, this is called static analysis, you don't need a type system in your language to do this, and you don't need to force doing it at compile time

Most developers appear to conflate the two, uncoupling static analysis and type systems would benefit most workflows
Ok, I will bite.

Why is it good? What benefit does it achieve other than confusing people. It is also a good reminder that how things were before. One should not forget the past and things accomplished by many efforts. How is it different than 1984's newspeak or the idea of 'changing the history? Why not choose an approach similar to this (first link I found about Warner Bros' approach): https://twitter.com/stilkov/status/506324544177836032
The downside is the cost to communication. I didn't know what a PitM was. After a bit I guessed it was Person, i.e. man in the middle, but I wasn't sure that it didn't mean something else.

I'm not sure how big the gain is here. Are people really going to read "man in the middle" and assume that no woman could ever do this?
Well, this thing also depends on geography. There aren't many places where such a construct would be easy to build: seismic situation, static stability for these enormous weights, winds (it's actually quite funny to see cranes side by side with wind turbines in their commercial)
Yeah, I don't doubt the ROMs can be found. It's nevertheless an additional step to take over just throwing DOSBox[-X] at the problem, though.

Still, an ambitious project.
Reflections on being both right and wrong about smartphones, 13 years ago
It's easy to understand why some enjoy using old technologies. There is no longer a market for simple systems: nowadays everything must have super complex graphics, integrated analytical systems, and consume incredible resources.

Requirements, development, goal achievement is no longer a thing. Everything needs to use trendy tech, cool graphics. Main issue is that end-user productivity is lost.
Unlikely to be availible. FPGAs are orders of magnitude slower and more expensive than the equivilent hard silicon. You can get the performance at a much higher price (high $100s to low $1000s) or much less performance (maybe you can run linux but it won't be a desktop) for the price.
This story is eerily reminiscient of the s-box in DES, except in that case there was no backdoor, the researchers had simply discovered a novel attack method, crafted their s-box to protect against that method, and then kept the attack unpublished for decades:

> The eight S-boxes of DES were the subject of intense study for many years out of a concern that a backdoor (a vulnerability known only to its designers) might have been planted in the cipher. The S-box design criteria were eventually published (in Coppersmith 1994) after the public rediscovery of differential cryptanalysis, showing that they had been carefully tuned to increase resistance against this specific attack. Biham and Shamir found that even small modifications to an S-box could significantly weaken DES.

https://en.wikipedia.org/wiki/S-box
That’s where I got the link from
Yeah but ten years ahorita you used to have a lot more freedom in the same platforms as you know that please don’t be dishonest
that would be cool if they also implemented the same policy towards other violent/inciteful players and terror organizations
It amazes me that Telegram is still a contender.
> "new hires bring fresh new ideas."

Now that is is an interesting take on "the Lord often reveals to the younger what is best." :)
Mass Account Suspensions over on Reddit
No explanation, no second chance, no appeal.
I'm not sure that your living in Portland entirely disproves my underlying point :-)
The material conditions on which Trump was allowed in office still exists. Unless the Democratic party has some quick solution to prevent large swaths of the american population to decapitalize, lose their standard of life and become poor, the only thing that's happening is that they removed a venue where this anger and resentment can transform itself into political action.

So, let's wait for what's gonna happen, because this people will not just sit quiet and wait for their families and their means of life to be destroyed.

If anyone thinks this is a top-down phenomena then I invite him to review it, because that's a very narrow view.
I fear we went over the edge this last year, there might not be any way left to speak to the other side now.

And I say that as a French dude.

It is going to end badly for everyone.
that's required. This would only be required if service wants section 230 protection and they would no longer need to censor.

as an example: HN allows anonymity, but also actively censors bad content. Now, perhaps they might say, that they couldn't do that without section 230 protections, so would have to close hacker news down or implement the KYC rules. As I said, I don't know if the idea is workable and what higher order effects it would have. that's why I'm just throwing it out there.
I have never been able to square the catholic church ban on priest marrying with 1 Timothy 3:

2 Now the overseer is to be above reproach, faithful to his wife, temperate, self-controlled, respectable, hospitable, able to teach, 3 not given to drunkenness, not violent but gentle, not quarrelsome, not a lover of money. 4 He must manage his own family well and see that his children obey him, and he must do so in a manner worthy of full[a] respect. 5 (If anyone does not know how to manage his own family, how can he take care of God’s church?)
There are (somewhat awkward, but English) statistics for Berlin at https://www.berlin.de/sen/uvk/verkehr/verkehrsplanung/radver... (No way to link to configured maps, unfortunately).

Some numbers. These are total monthly counts of riders observed at the same 17 measurement points:

2019 2020

Sep 1,670,000 2,387,000. + 43 %
Dec 900,000 1,100,000. + 22 %

That's quite an increase year-over-year! The December number are lower, but possibly more impressive considering it was rather lockdown-ish and general mobility fell somewhat.

It's also a good datapoint to counter concerns about the weather.

It's interesting that there's an effect going on here that's somewhat close to a Giffen good (https://en.wikipedia.org/wiki/Giffen_good): People avoid public transport and any single one might opt for a car instead. But because road capacity is fixed (that's income in the analogy), more of it needs to be devoted to the most efficient option, i. e. bikes. So the city converted car to bike lanes, and car traffic is actually down.
Why couldn't it be a function that queries a database, like answering "on invoice x, does line y exist"?

Genuinely curious, not that familiar with Haskell, just thought you could use something like parameter binding or similar to construct functions like that.
politfact is not really a good source. Trump has some financial involvements that should be questioned, but this isn't really enough. Indictment doesn't mean guilty as I believe.

If there had been something, we would have heard about it non-stop.
Off-grid, yes, but no electricity, not for me. Thanks for sharing an interesting article though.
I am very unhappy that Biden was the candidate on the other side. But I saw the alternative as fascism and sectarian violence. I predicted Trumps 2016 win and no one took me seriously. I predicted the rise to prominence of white nationalism and even the Cville event.
I think Biden is a terrible candidate but the alternative is worse. If there is ever a non racist non violent Republican party I will join it but right now everything is off.
The didn't. Democrats never break rank. Ever.
Where can we see this comment? Here at HN or the post itself? I could not see any comments with 'paveldurov'.
bootstrapping is important, but I believe that GCC already allows non-primary (i.e. optional) languages frontends to be written in other languages. The ADA front end is written in ADA for example.
"There's no such thing as a free security incident"
Generally the UK leisure/outdoor industry has done pretty well this year, lots of people buying bikes, kayaks, canoe, SUP, and other sporting gear. They are definitely selling as many as they can get. I guess any UK based manufacturers will have been able to sell as many as they can make, maybe more local fabricators or at least assemblers will be able to start up as a result.

Of course the 2nd hand market for all this stuff has been booming too, physically as well as on fb/ebay. People have been paying new prices for old goods. I could have made a bit of money buying and selling kayaks this year!
At my Uni we had students from higher years do volunteer time during lab sessions for lower year students. You would just wander around the lab helping random people who were stuck.

Sometimes there would be some proffessors there too to help you out.
No, you are supposed to have empathy because you can understand why people might do that. Remember CHAZ?
I find it such a shame that such amazing mathematical research was pumped into ultimately producing such a backward-minded result.

At the very least I suppose we will be able to glean more knowledge out of it in the end.
UK government looks to ink £900m in printer deals
- "Welcome to the new GNOME car. It's totally free!".

- "Looks great. But there are no mirrors. Isn't that dangerous?"

- "Yeah, but that's not a bug, it's a missing feature. Besides, we don't like mirrors because in all cars they need to be cleaned all the time."

- "Really? Apparently the KDE cars also have mirrors but different technology, and they don't need to be cleaned at all. Also, what's the difference between a bug or missing feature if a lot of people complain about it?"

- "Oh yeah. But honestly we really don't like that people have to clean their mirrors, so we prefer not to have them."
Also: where are the people who were offended by "man-in-the-middle"? Can you point to a single non-man who was offended that the evil-doer in this example was identified as a man? Or can you point to a single man who was offended for the same reason?
Actually the protester breaking the Capitol window doesn't appear to be a Trump supporter, so it could be a leftist provocateur.
Using the words "neutral" and "conservative" is Orwellian when the author really means "leftist/marxist" and "conservative."

Very different spin, isn't the truth?

Watch the first 3 minutes of this video to see what cultural marxism looks like in elementary school:

https://www.youtube.com/watch?v=RO0fijTVcTk

Watch @8:00 to 8:30 to see the female teacher's excuses for experimenting on boys.

This is not just one anecdote, it's a pattern of cultural marxism in the West. (I talked to an Asian elementary teacher who laughed her head off when she heard that "boys and girls are the same in the US.")
I can still log in so they're obviously not banning people based on any sort of quality metric.
She is a really bad candidate and it was clear Trump would destroy her on TV.

I think she would have been a really decent president, even though I think she has an unpleasant media personality.
> Right now, if you post a job for python, you'll get thousands of applicants

Have you done this? I wish we received thousands of applications for each python role we post
Manyverse – a social network off the grid
We're already giving all jobs to low cost centers and low cost employees and look where this is taking us: take home automation products as an example.
Did Trump Tell Supporters to Storm US Capitol on Jan. 6, 2021?
Too difficult to link to it?
There is left wing media like that but none of it is close to as big as Fox News. Yes, both sides do it but quantity matters.
> there isn’t much evidence in either direction

Oh, I think there are great evidences, such as: dialyzer, or ruby3 and python3 shifting towards type signatures everywhere and gradual typing, or recent racket focus on typed racket. Oh, and the rise of typescript of course.

I mean, I've abandoned Python years ago, and I was quite surprised when I discovered python people are adding type annotations everywhere.

Sure, gradual typing is not a strictly enforced as in statically typed languages, but seems people are agree that modularity and abstraction without type signatures is painful in sufficiently large programs.
I was just thinking about that... first thing come to mind is that I need StarLink satellite internet (said to have at least 100Mbps 20ms latency). Electricity wise, I'm not running server farm out there. Solar, wind, geothermal, even gas generators should be fine.
Would you say that you've engaged in good faith with the point the author was trying to make?
Yes. Brexit was clearly a grassroots movement started by a 65 year-old man on an allotment.
Depending on your job description, you might see that as a feature ....
BOFH: "Oh, the user connected an unauthorized USB device; let's see, how it handles 20V"
Far Cry 6 leaks: Release date, location, & more
> your program is only fully type checked when all code paths are executed.

The solution to this is to make sure that, during testing, all code paths are executed. And that’s something you should be doing anyway, to find bugs that aren’t type errors.
A blog spam contains over 1,000 words criticizing a >10,000 word bug report yet does nothing to help. No code was written. No progress was made. Instead we are treated to a story about toilets and demands to complicate a rube goldberg user interface.
That sounds like a reasonable assessment.
How about a much simpler and less loaded reason: because people always find vintage stuff appealing.

Vintage cars had been a thing long before cars became computers on wheels.

People collected and were fascinated with vintage commodity items of all sorts since forever.

This trend only goes to show that computers have become commodities.
Setting goals for 2021 – A brief guide about personal goal setting
> Elon Musk is nostalgia obsessed with what has been resuscitated from NASA technology

being nostalgic about the tech vs the vision is different.
It was fairly easy to identify Trump quotes. He has particular style and his quotes here are clear appeal to stength and morality that can easily trigger violent moral outrage when there was previously very little.

Citation of other politicians were kind of observational, and justifying not inciting, even stabilizing (in state of unrest). With the exception of quote 8 that I completely mistook for Trump.

Also to gather those quotes from democrats author had to search through a lot of speeches while to get Trump quotes you could just do it with one of his speeches because he says all the same things since he lost, over and over drilling them into his supporters by mere exposure effect.
Me too, my favorite subs are also still available even though they consistently point out the bad taste of their users. Some niche subs are still great though.
I believe it's another example of Paul Graham's Python Paradox, just repeated more than 15 years later

http://www.paulgraham.com/pypar.html
From No-Code to Getting $100K from Jason Calacanis
Here is our journey:

1. I launched Orapa.co on August 2020 (alone). I first tried to sell the thing before even thing of building (note: I have a sales background). So I guess it was fairly easy for me.

2. We won the Pioneer Tournament in October. (any fellow Pioneers here?)

3. In November my CTO and cofounder joined. And he started to work full-time on getting the code version to the market. (tip: VCs still want to see real tech aka code)

4. In November - started fundraising. This is hard!

5. In December, I cold email Jason Calacanis - the legendary angel that investing in Uber, Calm, Robinhood.

6. In January we got a check from Jason.

We're launching Orapa 2.0 on Product Hunt today: https://www.producthunt.com/posts/orapa-2-0
So Telegram launched by about a month early, but the people behind Signal had released prior art earlier, and merely the protocol a few months later, but the Signal app didn't come out until 2015 according to Wikipedia.
It'll be the virtual manifestation of the different aproach to offices:

Tech companies will be video-gamey and childish but fun and effective.

Old school companies will have pointless expensive VR that is boring and slows everything down (but kinda works, and is sold by Microsoft).
Haha, awesome!

I'm planning to build a "Microblogging for companies"/"Slack for microblogging" SaaS this year because I think asnyc communication is the way for remote work.

Currently, I'm looking at existing microblogging platforms to get an idea of common features.

Next step will be interviewing potential customers.
"laser dust sensor" bah. I want a $10k suite of sensors that tells me things like CO / CO2 / O2 / N and compounds; down to say a few PPM, and all the other nasty gasses.

Catch alls like "VOC sensor" and "dust" should be cheap afterthoughts.

I'd like to pay, say, $100 for this. or less. And while I'm wishing I want a unicorn. These things exist, but they're expensive. We've a long way to go before we digitize a nose.
Cycling stress like that is going to dramatically reduce the lifespan due to tress fractures. I think they would be lucky to get 10-20 years from the blocks.

Stress fracture are already a significant issue for concrete dams when you frequently vary the water levels, and this is much worse as different stacking is going to stress each block slightly differently every time. In theory they might be perfectly flat surfaces meeting evenly, but in practice that’s far from the case.
> incited insurrection

AFAICT this is a common opinion shared by half the population or so, but it's not an undisputed fact or court ruling. What's protecting you or me from similarly popular accusations that might be false in our case? Should we only use Stripe and AWS if we are certain we'll never do, say, or be associated with something that might upset half the population of the USA or a few people in power? Wikileaks upset a lot of people and got banned by VISA and others, for example. Without any wrongdoing in my opinion.

For my business sense, being dependant on AWS, Stripe, Shopify or other politically motivated organizations is a risky situation I'd rather avoid. YMMV.
It's true but feels like a loosing battle for principled moderates/libertarians these days. Everyone loves to critique and tear down what we have for real or perceived injustices but few are willing to the context and compromises that led to them or propose realizable, incremental solutions.
Archaeology breakthrough: Divers found Churchill's sunk WW2 treasure worth £150M
Polical Parties are the problem, and can in no way be a solution to the problem

To update George Washington for current year: While political parties may now and then answer popular ends, they are likely in the course of time and things, to become potent engines, by which cunning, ambitious, and unprincipled politicians will be enabled to subvert the power of the people and to usurp for themselves the reins of government, destroying afterwards the very engines which have lifted them to unjust dominion.

If we want better governance in the US, we must limit or eliminate political parties
Perhaps when you wrote

> Type signature `Int -> Int -> Bool` can be used for a function that does any of the following things

[My emphasis] you meant "can't". That could be one explanation for the confusion that seems to have arisen here.
Having a database of known trouble spots would certainly serve as defense in depth, but would only be secondary.
> If we lost the knowledge of how to tech how the ARM architecture works, as was the case prior to the raspberry pi but after the death of the Acorn line of RISC PCs, we would have lost quite a bit of important knowledge.

In which universe did that ever happen? ARM was alive and kicking to the point that even Intel had its own ARM designs. Heck, I worked with ARM-powered devices 20 years ago and those were far from being "lost knowledge".

Just because something isn't being hyped to edge of the solar system at a given point in time, doesn't mean it's dead or forgotten...
Not everything can and should be solved by half-baked blockchain technologies.
Being an iOS device it probably doesn’t ‘backup’ to Google Drive so this story may not apply
My entire office has been work from home since March, I don't think any of us have been having issues (we're hourly and there's no work you can do without being clocked in and leaving timestamps) and I 100% hope I never have to go back to the office. Ever. I have MORE time for life, I'm not in a car an hour a day driving to and from work, I don't have to get to work 15 minutes early to make sure my system boots so I can actually clock in, I don't have to fight for 1 of 3 microwaves in the break room on the 30 minutes I get for lunch, I clock out and bam my wife and I can get on with our evening instantly, I can eat much better because I don't have to worry about what food I can keep in a small lunchbox without it spoiling/without losing too much space to ice packs, I don't have to use an often soiled public restroom and dodge puddles/piles of human waste, I don't have the distraction of 100ish people in a cramped open office talking/walking around, I have an entire bedroom as an office to myself instead of a few square feet of space, I can listen to music/books/YT videos without having to have earbuds jammed into one ear because we're supposed to always be able to hear people at work, I don't have to smell a 3-7 burnt bags of popcorn a day or someone's frozen artificial crab/cheep microwaved garlic monstrosity/boiled greens they microwaved about 3 minutes too long. It's great. I never, ever, ever, want to go back to an office.

Sadly we'll be back to work, sharing desks/keyboards/mice with another shift, as soon as they feel covid is under control :( it's going to suck and absolutely destory my desire to work.
Governments spurred the rise of solar power