skysight-inc/HackerNews huggingface dataset:
This is awesome! We have been iterating on something similar under the digger.dev "umbrella" (terragen.dev (no longer works), awsbootstrap.io, terrabook.io) and most recently - dgctl: https://diggerhq.gitbook.io/trowel-docs/getting-started/what...

We strongly believe that some kind of a layer above present-day IaC is missing and badly needed. What exactly is the right solution isn't 100% clear just yet; but it is along the lines of a generator / framework / compiler / "OS" that would provide reasonable defaults without taking away flexibility. Then there's also a challenge of one-off usage; generator alone is only useful once; a framework on the other hand is helpful all the way throughout the project's lifecycle.

Terraform looks like the best (only?) "underlying" IaC, more like a target "assembly language" using the LLVM parallel. The crux seems to be the runtime - it is less about any given state of infrastructure (that's already captured pretty well with existing IaC tools) and way more about the logic of transitions between those states.

Managing state / running it on the server (the "CI for infrastructure" use case eg TF Cloud / Spacelift / Env0 etc) seems to be the logical extension of the baseline case of initial provisioning. We started with this, but now are viewing it as secondary consideration that will fall into place once the baseline framework scenario is figured.
> and the notion of a single "decentralized social network" is not.

I've been running my own Pleroma instance for a month or so and I'm firmly of the opinion that a single network is actually a Bad Idea. The fact that ActivityPub is federated means that it's also prone to abuse from other nodes similar to email spam, which is just about as simple to execute in the fediverse right now as rolling a new domain name. Small-time casual admins like myself won't be able to keep up with a global abuse firehose which hasn't really happened yet to my knowledge but will sooner or later.

The solution in my mind (and what I've already done) is to use a node whitelist instead of relying on blacklisting, which means smaller networks based foremost on interpersonal trust. Which means a constellation of much smaller but also stronger social networks that reflect actual communities as opposed to just the internet at large. This is super easy to do with ActivityPub servers and my prediction is this is the way forward although I expect people will also try to write clever abuse filters and fall into that perpetual cat-and-mouse game since that's what happened with email.
^ this. there's a lot i like from Austral, but I think I disagree on some fundamental level with the "simplicity" goal. I simply don't think it is necessarily conductive to less errors, and expressivity of a language matters. There is a balance to be found.

For example, Rust-style iterators are "complex", yet they cause less errors than explicit indexing. Their combinators, that afford a lot of their expressivity, would cause very difficult to write types without type inference.

There's a similar tale of expressivity vs simplicity in the current implementation of the borrow checker in rust that is not using lexical (tied to a syntactic scope) lifetimes. For having used rust before non lexical lifetimes were a thing I can guarantee that from a user's point of view it is worth all the complexity in the rules and the implementation. I also have a hard time to imagine a serialization framework like serde without the ability to derive traits with an annotation.

Separating interface and implementation opens up to (compile time, fortunately) errors when they don't match, and brings no gain: the public interface can be generated by tools like cargo doc.

Ada style syntax I find difficult to read (I prefer braces) but this is purely a product of familiarity I think

The document also says the language does not feature unwinding panics. What does it has then?

The capability system is interesting, but I am surprised in the hello world example that printing to the console doesn't seem to require a dedicated capability.

I think an extension to this capability system would be some sort of tie-in with the OS so that a given process can start with only a subset of the root capability
If you're a regular business, regardless of if you're using Zettle, SumUp, Sparkasse or Deutsche Bank for payment handling, you'll pay 0.125% for girocard, 0.2% for cash, and 0.9 to 1.9% for a mix of debit and credit cards.

It's absolutely ridiculous, and MasterCard's attempt to destroy girocard by forcing banks to choose one or the other is an obvious cash grab to destroy competition.
Both, but almost more importantly the languages themselves are all strictly terminating.

Long story short, these languages are based on the “Howard-Curry isomorphism” which says that we can view type signatures as theorems and programs with that signature proofs of that theorem.

A program which runs forever is a proof of false (you could see it as saying “after infinity time I’ll have your answer I swear”). So these languages are designed to prevent that from being possible.
SERV: 32-bit is the New 8-bit [video]
A HOSTS file to block TikTok
Vote for universal healthcare then?, or vote to force coverage on all.

This seems unavoidable otherwise.
>But if being agreeable means picking no battles, then what are you even doing?

Usually other people's bidding
subscribers: 2.9 million
video views: 705 million
uploads: 65
total earnings: 664 000 USD

Dollars per 1000 views a little under 1 USD.

Average number of views per video: 10 millions (!)

Views per subscriber: 200-250 (also a lot!)

It's a super successful channel, and it's not easy to emulate those numbers...
Ah whoops, now I’m not sure. Either that comment was saying that with a standardized indentation width, having an option to adjust the indentation width does not matter, which is trivially true and not contradicted by mine but strange to say as a reply to a comment pointing out that option; or it was (implicitly?) saying that with a standardized indentation width in the storage format, you could recover the tabs from the spaces and adjust the result, which is contradicted by my comment: you can’t automatically distinguish indentation spaces and alignment spaces without at least language-syntax smarts, and while the former should be adjusted the latter mustn’t be.
RE: valuable yet unnoticed

This issue, in this case, is information dispersal. This sort of information is highly analyzed, almost certainly, by google/youtube. They have all the data, so there's a lot more you can get out of analyzing it.

If ever channel's youtube data was released to the public like this, there would be a lot more notice.

Transparency doesn't just need to overcome secrecy, they need to overcome obscurity.
The N26 issue is actually because N26 is using the Mastercard network instead of the much cheaper Girocard network for withdrawals.
I wonder about the religious implications.

Is this Kosher? Halal? What about the implications for Hindu or Vegans?

It might seem silly for the rest of us, but for them is a matter of life and death.
Inflation last year wasn’t evenly distributed: it affected things like new cars and fuel especially badly so it affected middle class households more than poor people using transit who’d never been able to lock themselves into a gas-dependent lifestyle or afford inefficient vanity vehicles.

A surprising percentage of these arguments go like that where something is billed as uneconomical because it reduces waste, and the people pushing against it are backed the industries which benefit from that waste.

We shouldn’t be cavalier about inflation but we really have to keep in mind that pollution is often related to highly-profitable externalities which might be the most cheapest option because under true cost is being subsidized by everyone else (for example, reducing emissions has usually correlated with huge reductions in healthcare costs).
The print function was the simplest part of the transition. For one you could find and replace all instances of it fairly safely across your codebase and you could quickly discover any places where things broke because of a bad replace. That part took like an hour for a large codebase.

The Unicode handling on the other hand took ages because string handling is not easily searchable and replacing it requires understanding what the piece of code actually does.

So you have it exactly backwards: if the only migration was the print function then it would be a quick and relatively painless process. But fixing the hard thing which was the broken str/byte model was the hard transition.

I am curious if you actually went through this transition or if your opinion on this is more based on observation of others’ work.
I think this was the right decision for the long run though. What we have now is the right situation where the strings we work with in the language are 'magic' and we don't need to think about representation or encoding or whatever. And then at the periphery we encode/decode based on what the outside world is working on. It has become clear that this is the 'correct' approach for programming languages and is almost universally the approach in new languages. E.g. Rust does something similar (they don't hide that the internal encoding is UTF-8, but it's consistent).

I'm glad that this is what we have for Python now, despite the pain it caused. We'll be using Python for another few decades probably, so we'll reap the benefits.
I propose the other sign on HN: beware of crusaders
> I don't get that part? HAOS is a Linux distribution with a pre-configured / installed version of Home Assistant. It behaves (almost - see below) like a "normal" Home Assistant installation.

I would like to have a Raspberry Pi running HA, whilst also having a web browser running on the pi with a small touch screen, showing the HA dashboard on display somewhere in the house. This is in no way a deal breaker though, I could just as easily access it through my phone or another device. I'm assuming (perhaps wrongly) that HAOS is just the daemon, and doesnt have a UI that would show on an external display? I hope that makes sense.
working on a few things focused on africa. i have a fundamental belief that much, if not all, of africa’s problems stem from the people not knowing better. you could say i’m firmly in the school of ‘reasonable people act reasonably’ and you don’t be so wrong. not completely right, but not completely wrong either. i’m african myself (ghanaian to be precise) with all my family still residing in my country, and i worry a lot that they will never enjoy a higher quality of life. that’s why i’m dedicating myself to building systems for producing and sharing knowledge. i started a community for developers almost 10 years ago (https://devcongress.org) which, while ~5k members strong, has failed on the most important metric: put ghana on the map of global software engineering. there’s been a few wins here and there but nothing to write home about. so, I’ve started https://toprank.devcongress.org to be a little bit more hands-on in the nurturing of the next generation of software engineers. in my private endeavor, i’m working on a finance product focused mainly on making the average african financially intelligent. we’d like them to invest more, spend less, perceive their financial history in novel and informative ways. it’s exciting work, and we’ll be applying to yc later this year. talking about africa gets me rambling (because they’re a large-ish surface area) so i’ll stop here. if africa or the developing world is on your mind too, feel free to hit me up at wheresyaw@gmail
What do you mean by only purpose? Your room and board are covered? No debts? Nothing regular like prescriptions to pay for?

If you have no other need for the money, I don’t think it’s an issue of morality but rather efficiency. Don’t take the job - better to spend time improving the startup and finding investors.

And if you do have non-startup expenses well then this conversation is a non-starter. You need money to live. Doesn’t matter if you treat the job as only temporary.
FireQL – Query Google Firestore database using SQL syntax
This is totally false - code produced by 2to3 no longer ran on 2. So you ended up w a chicken and egg problem. Things like u would allow folks to keep compatibility with 2 while working in 3.

Your comment is a perfect illustration of the issues. Lots of user blaming. No actual solution. As I said, it did start to get massively better at some point. Instead of condescending lectures on org issues they for example began allowing u”” in 3, which did not mess up Unicode handling in 3
I mean based on their podcast it sounds like Linus’ friend/employee (seems like the line here is pretty blurry) and some remote dev who was originally just a fan criticizing their proposed infrastructure work on it full time and that’s about it, so it’s probably not as expensive overhead as you might assume.
If you're disagreeable, extraverted and intelligent, that's usually a recipe for naturally rising up the pecking order in engineering organizations at least.
Treating documentation like a product
Because it was agreed to by six nations in the International Yard and Pound Agreement of 1959.
Thorny Games has a very interesting RPG[1] that's patterned after the Nicaraguan Sign Language 'experiment'. I don't know how authentic the RPG experience is to that of the Nicaraguans, but I did very much enjoy how the RPG pulled some of these threads together.

[1]: https://thornygames.com/pages/dialect
I’ll substitute bodybuilder for athlete if it ever crops up in conversation again but it seems like the issue is more to do with personal prejudice against bodybuilders than the actual similarities and differences of the respective economic and biological processes.
I think worth reading is "A Critique of the Remote Procedure Call Paradigm - 30 years later" (https://blog.carlosgaldino.com/a-critique-of-the-remote-proc...), as well as Tanenbaum's original paper: https://www.cs.vu.nl/~ast/Publications/Papers/euteco-1988.pd.... Sure, it's old, but still very relevant. gRPC does better against his criticisms than the likes of JSON-RPC does.
Depends on the language, but when you have to use some metaprogramming gymnastics, then types are really hindering to develop something generically, if the language doesn't provide a fully developed type systems, which few systems have. For example higher-kinded types are quite essential, but not always given. Then I prefer dynamic typing and get this done fast without safety. But then I remember getting a lot of bugs in certain types of applications, maybe one fifth, or something.
OK is as close to a free market as you can get, low license fees, taxes, etc. Recreational use is on the ballet for a special session in the spring and it’s already legal for medicinal use and a very liberal def. of “medicinal” at that. There are dispensaries everywhere.

/own 20 acres in SE Oklahoma (tangent, my property taxes last year was a whole $9)
Then again, wouldn't you like the libraries you rely on to have clean simple implemenatations and the people who maintain them as easy a time as possible in doing so?
That's still completely irrelevant. The claim is about "food in Japan", not "Japanese food" somewhere else. Your sources are about Japanese food in the USA, which can be different, because of local supply & demand. Ethnical cuisine is often in foreign countries very different served from the original dishes for various reasons.

And BTW sashimi is not sushi. Usually, it would not be put on rice either. The cut and preparation of sashimi and sushi-toppings are different.
1,000% agree.

I can not stand the dogmas: You "must" read this, you "have" to use this IDE/text editor, you will perish a slow painful death if you program in language X and not language Y.

Read what you want, use what you want, please share with me what you like and don't like but please do not tell me what I must do and I must use.
Yes, I have and it was simple but with plenty of footguns for developers who had not groked how you were supposed to work with strings. I am happy we moved away from that but I am not happy with the solution Python 3 picked. I think e.g. Ruby 1.9 came up with a nicer solution to the problem and one which broke much less code.
That would be awesome. I once developed an PWA called the FoosTracker. It's still up (not sure if it's fully functional): https://myfoostracker.firebaseapp.com. It allowed combination of players to form teams and challenge other teams. It used a kahoot-like system for setting up matches. It did a bunch of statistics. About building your table: Remember that playability is king. Consider buying a great table and modifying it (as little as possible) instead of building it yourself from scratch.
This project might serve as inspiration: https://github.com/MostlyAdequate/mostly-adequate-guide
IMO Angular 2 was a huge fail in usability. Angular 1 was a joy to use and 2 was a disaster in terms of writing code in it.

However, I am firmly in the Python 3 camp. It is a better language (all the newfangled bullshit notwithstanding).
Understanding Trace Propagation in OpenTelemetry
> They engaged in more dominant-aggressive behavior, which positively predicted attaining higher power, but also engaged in less communal and generous behavior, which predicted attaining less power.

So it's openly disagreeable personalities who have the disadvantage. I would think that successful manipulative (trait the study assigns to disagreeable) persons would engage in "communal and generous behavior" as tactic and generally hide their disagreeableness.
Countries by Share of the Global Economy
How so? Who cannot ride a bike? I have one here and it takes me everywhere.
Never heard of kdenlive, had to look it up.
Looks like an amazing pieces of software for being FOSS.
Lol, Gowanus canal
I suspect that most people would be better off favoring inlined code over modules and microservices.

It's okay to not organize your code. It's okay to have files with 10,000 lines. It's okay not to put "business logic" in a special place. It's okay to make merge conflicts.

The overhead devs spend worrying about code organization may vastly exceed the amount of time floundering with messy programs.

Microservices aren't free, and neither are modules.

[1] Jonathan Blow rant: https://www.youtube.com/watch?v=5Nc68IdNKdg&t=364s

[2] Jon Carmack rant: http://number-none.com/blow/john_carmack_on_inlined_code.htm...
The East German Stasi kept thousands of “scent jars” so they could use dogs to track specific citizens. I’m not sure how effective DNA surveillance would be in this tracking role, but one could imagine future improvements in the technology that make it more feasible. https://www.spymuseum.org/exhibition-experiences/about-the-c...
Teaching my 7 year old Japanese. Wish me luck.
No, not at the moment. I would need to clean it up to make it reproducible for others. And also check for security and privacy-relevant parts.
Find latest GitHub fork of a project
I'm just a little further down the road than you are and the best course seems to be to learn a little C++ first because it will help inform why Rust works as it does. Then when you try Rust, if you hate it, you've still got C++.
Agree on both points. It's become fashionable to speak ill of youtube, but it's one of the very few major things that has truly changed the world for the better; not just entertainment but all fields related to education or life-long learning, or science vulgarization, etc.

And yes, YT should have worthy competitors, and it's surprising that it doesn't. YT is obviously very profitable; why don't other big competitors don't give it a try, with a similar angle? TikTok is wildly different, and so is Twitch; but a version of Twitch that would directly compete with YT doesn't seem that hard to implement if you're Amazon?
I started working on a open source cocktail management application. Had a lot of fun (re)learning api design, docker and application testing.

https://github.com/karlomikus/bar-assistant
Pewdiepie mentioned how annoying British VAT tax estimate prepayments were because based on his career category and income it expects him to have a bunch of employees that’d pay substantially more tax. So he’d prepay a ton of taxes as he was legally obligated to do then get a huge refund every year.

It makes sense that the tax code hasn’t yet caught up with “YouTube personality” as a career.
At one point in time I thought C++ was too complicated since I was only familiar with Java, Javascript, Python. I feel I didn't understand the reason for the complexity.

Then I began to study algorithms and then code generation at the assembly level. I've written very little assembly. But I want to generate assembly. This puts me in a difficult position.

Today I think C++ is fascinating as a language because it has wide implementer support (cppfront, MSVC, GCC, clang) and it is well defined as a language.

Someone can read the C++ standard documentation and implement a compiler for generating assembly for that AST. That's fascinating. Especially for a language as advanced as C++.

I am also fascinated by metaprogramming and C++ templates. I needed to learn how to use C++ templates to use coroutines with threadpools in C++. Can't say I understand them completely but I understand how we need to provide specializations to the compiler so it knows how to generate code for different cases.

I feel there's a missing orthogonal specification of computation that is cleanly compilable. As with Rust, with C++ there is many programs that are wrong by arrangement of tokens. It would be better if most arrangement of tokens are valid programs, due to semantics of the language not being subtle.

https://stackoverflow.com/questions/74520133/how-can-i-pass-...

I feel there's an omitted abstractions when it comes to code generation. The languages we use to represent computation in and relationships between things are rather low level. Mutable state is very difficult to reason about.
I did read it, that is more or less what he said. He used a lot more words to say it, not a lot more nuance.

Looking in the mirror, I don't like people's livelihoods getting ruined, but I'm not interested in extending much sympathy for someone who stuck his neck out in the name of sexism (regardless of how vehemently he denies doing so, while yanno, saying a bunch of sexist stuff). Pretty clear from the document he knew how inflammatory it was. He made up his mind to die on some hill, whatchagunnuhdo. It's healthier for the industry that people like that aren't in senior roles where they can gatekeep women's careers, anyhow.

At a micro scale, when I say something on HN I know people aren't going to like, I don't clutch my pearls when it gets downvoted. If I think something is true but unpopular, I'll say it and accept the obvious consequences.
We only have a single data point in the entire observable universe so far.

It's not enough to talk about any meaningful statistics.
Nice, I only managed to do 20 (of the same goal, 25 languages) in 2019: https://f5n.org/blog/2019/advent-of-code-2019/

> Tactic: Do translation more than optimization

This rings especially true - "you can write Java in any language", or whatever sort of language shaped your thinking. Even after years of using different languages my prototyping code is often inherently imperative and I have to actively rewrite it to be functional.
Starting a startup doing AI CEO as a Service. It'll begin as a personal assistant to everyone inside slack and expand out from there. We're building the first AI run company. It's called UpMortem. Watch out for us. Our first product will be free, giving you access to GPT-3 inside slack. Ping me if you want to be kept up to date about it at raj@upmortem.com.
Crowd sourced map of public drinking water