skysight-inc/HackerNews huggingface dataset:
Indeed I have been doing this for all my work for over ten years now and it is one of my favourite things.

I use Day One as I also use it for my personal journal. Plain text is great but I do like being able to add rich content (screenshots for example).

As you say being able to look back and know exactly what you were doing on a particular day is a powerful thing.

I've found that over time I have become a lot better at succinctly explaining the problems I faced and how I made progress with them. It is invaluable, even just over the weekend, in helping me 'reload' my brain when I return to work. It also helped me in communicating more technical subjects to others less technical.

It's a brilliant way to unwind and finish the day. I usually only have to spend 5 minutes on it so it isn't like it is a huge commitment.

I highly recommend everyone at least give it a go for a month and see if it works for you.
I have been using Arch from Windows/Ubuntu at home (I run Ubuntu in a VM at work) since the beginning of the year on 2 personal latpops Asus/Dell and didn't have any issue.

On the Asus Nvidia updates broke my Windows manager on Ubuntu it not happen with Arch.

The Arch install is a little bit more complex but you can do exactly what you want which was for me: use systemd boot instead of grub, and cipher only the home partition.

Once the setup is done, I did not have any issue, fiddling to be done.

For me where I lost time on Linux was when I tried to customize my desktop environment to my liking with i3/polybar/etc. Now I just run Gnome3 on Wayland, far from perfect but it is a good compromise TBH between setup ease/integrated UI components and features.
Ant Language
> Naming your clusters? Naming them after the service that runs on them is great, till the point you start running something else on them too. We ended up naming them with our team name.

This is covered by RFC 1178¹, Choosing a Name for Your Computer (from 1990):

Don't choose a name after a project unique to that machine.

A manufacturing project had named a machine "shop" since it was going
to be used to control a number of machines on a shop floor. A while
later, a new machine was acquired to help with some of the processing.
Needless to say, it couldn't be called "shop" as well. Indeed, both
machines ended up performing more specific tasks, allowing more
precision in naming. A year later, five new machines were installed
and the original one was moved to an unrelated project. It is simply
impossible to choose generic names that remain appropriate for very
long.

Of course, they could have called the second one "shop2" and so on.
But then one is really only distinguishing machines by their number.
You might as well just call them "1", "2", and "3". The only time
this kind of naming scheme is appropriate is when you have a lot of
machines and there are no reasons for any human to distinguish between
them. For example, a master computer might be controlling an array of
one hundred computers. In this case, it makes sense to refer to them
with the array indices.

While computers aren't quite analogous to people, their names are.
Nobody expects to learn much about a person by their name. Just
because a person is named "Don" doesn't mean he is the ruler of the
world (despite what the "Choosing a Name for your Baby" books say).
In reality, names are just arbitrary tags. You cannot tell what a
person does for a living, what their hobbies are, and so on.

1. https://tools.ietf.org/html/rfc1178#page-2
The loans are created first. At the end of the day, if reserves are inadequate, they are borrowed. This creates the overnight interbank market.

Because a dollar dealt results in a deposited, this system is self-reinforcing.
Run time type checks affects the semantics of programs. Consider an identity function declared to only accept fixnums and returns fixnums. If you call this function with a string a type error will be signaled if run time type checks are enabled. This is sound. If you call this function with a string without run time type checks the function will return the string it got in. This is not sound because the run time thinks that it has a fixnum while in reality it is a string. The likely consequence is a segfault.

Think of soundness as a guarantee that if the program type checks, then all type declarations are correct. Note also that soundness is a property of the type system itself. A piece of code is not sound or unsound -- it is the type system itself that is.
Loom https://www.loom.com/ started as a chrome extension.

Grammarly has done really well https://www.grammarly.com/
I was exposed to Prolog about 20 years ago. A friend of mine tried to teach it to me but it didn't "click". Looking back, I'm totally puzzled by that, I cannot explain why.

Three things made me a fan:

First, Markus Triska's "The Power of Prolog" came up here on HN, and I managed to learn enough make a nice solution to the Zebra Puzzle: https://gist.github.com/calroc/603ed919bc814ccee10c1b3df6142... That got Prolog back on my radar.

Second, I had just written a type-inferencer for a stack-based language called Joy[1], and had kind of realized that what I was doing whas Prolog-shaped. So I re-implemented the interpreter and inferencer both in Prolog and discovered that they were the same code. (So I deleted one copy.) https://hg.sr.ht/~sforman/Thun/browse/default/thun/thun.pl#L...

Joy-in-Prolog is ridiculously elegant. It's almost perverse.

And then you can do messed-up things like partial evaluation: https://hg.sr.ht/~sforman/Thun/browse/default/thun/gnu-prolo...

Then, third, "Logic Programming and Compiler Writing" by David Warren went by here on HN, almost exactly a year ago https://news.ycombinator.com/item?id=17674859 (It's a 404 now but you can find it elsewhere.) I found out that there's a wealth of research to draw on, and that it's really easy to make compilers and other tools in Prolog.

It's so easy that, if you have to write a compiler from scratch it would be faster to learn Prolog and then use it to write your compiler than to (learn to) write a compiler in an imperative language you already knew!

I was already interested in compiling Joy, and here was a short, broad path to the metal. (Here's my crude and incomplete first attempt: https://hg.sr.ht/~sforman/Thun/browse/default/thun/compiler.... )

Taken all together, I realized that something like half of my professional career was wasted simply due to ignoring Prolog for twenty years, and that everything I want to do going forward is both faster and easier in Prolog. (I have embedded Joy in it and can compile it...)

[1] I wrote it up, "The Blissful Elegance of Typing Joy" http://joypy.osdn.io/notebooks/Types.html
> If you don't assign sounds to words that you read, how would you speak them? If somebody asked you to repeat what you just read, what would you say?

I didn't speak them. I didn't need to. If I actually needed to read it then obviously I would've given it a closer look and derive some sounds for it, but it wasn't necessary in order to internalize the word and use it when articulating my thoughts in my mind.

> That's what phonics is: you learn to sound out words you don't know letter by letter.

I'm talking about reading the letters out like an initialism, so assigning the sound "en-em-see-el-ai" to "nmcli". Even without any training in phonics the author must've at least known the names if the letters?
> If the ECB doesn't do so Europe is doomed

Doomed is a strong word, what does it mean? Sure, there are flaws in the common currency and the ECB policies might fail. Europe might be the next Japan for the upcoming decade with ±0% economic growth, that doesn't make it doomed.
This headline is grossly misleading - Android 10 has fixed those 193 vulnerabilities. The title as it is, implies they still need to be fixed.

This kind of content is usually never worded like this for other products, can the moderators fix it?
I have a couple of leather belts (one brown and one black) that I got from https://simpleleatherbelt.com/

I highly recommend them. These belts will last a lifetime.
> They should also repave the Autobahn

People are already complaining about too many construction sites on the Autobahn. The main issue there is that we don't have enough workforce in the construction industry, mostly as a result of demographics and everyone wanting to go to university instead of learning a trade.
Client side cetificates are also convenient for this purpose.
I've exercised this setting in Xiaomi, Oppo phones (Realme, Vivo, One Plus included) [0]. Unsure if it is in AOSP, but a user reported that its present in their Pixel running 8.1 [0]?

You could see if NoRoot Firewall (requires VPN) or Glasswire (may or may not require VPN) help you disallow internet access per-app.

[0] https://old.reddit.com/r/oneplus/comments/79g0ue/til_oxygeno...
Two questions:

1) when you say cheap, roughly how much? Range is fine.

2) any brands, websites that you can refer?
Google Noscript Page
Nice goal, but how do you do that without triggering a bank run?

Because when everyone starts withdrawing their money, you get a bank run.
It's funny, I have a similar story: my mother bought me a leather belt as a child around 1995. It finally bit the dust a few years ago. I bought a belt from the same company (Land's End) and it barely lasted a year. Then my aunt got me one from Duluth Trading Company for Christmas. That was about two years ago and it's shown no signs of stopping yet.
>>"Other European economies suck up to German economy so at the end of the day what is good for Germany is also good for the rest of us."

If that was true we should be all in excellent condition because the Germany commercial balance surplus of the last years have been ridiculously high.
> If that £100 is spent into the economy but is not returned

Loans create deposits. The only way the deposit isn’t returned is if capital is destroyed.

> Entrepreneurs cannot lend out money they never had

With a banking license, yes. They can.

Once you have a banking charter, you can lend to your heart’s content. At the end of the day, you borrow to make your reserve requirement. (If you’re deficient, you die.)

Lending creates deposits. Not the reverse.
It would be good enough, if fission were otherwise the top candidate for powering the world.

But fission is now a loser technology, hopelessly uncompetitive vs. the hard charging renewables. It's not even close any more.
Why don't they just breed cows that are more spherical, to maximize the volume-to-surface-area ratio?
Exactly. C philosophy is to use libraries and not put things like a better string library in the core functions of the language. It keeps the language relatively clean and easy to understand, unlike c++
Online Tools for Teaching and Learning
I’m loving WSL2 on my Insiders build. But there are issues with local host networking and file updates to Windows apps right now that need to be worked around

But it is very fast!

The Insider build also green screens less often than the most recent general release did!

Having Github available for issues is great too, as you can see progress being made in fixing the bugs - I feel more connected then when I actually worked inside Microsoft!
But this is not really different from the standard description: you deposit an incremental $1 (cash or a loan) into the banking system and the banking system can loan out $5 (edit: in fact, 0.9$ at first) when it decides to do so. Banks can create this new money “multiplying” deposits (or the central bank intervention is required to create “extra” money).
What does that article show? Can you explain how that has any relavance to the impact on global oxygen levels?

Why are you still conflating O2 and CO2?

Edit: You do realize that "Y. Malhi", one of that authors of that paper, is the same "YADVINDER MALHI" who wrote this blog post.
Europe isn't doomed and it can't have financial flaws because Europe is a continent. Its population isn't going anywhere.

The EU might well be doomed - it seems that's actually what you meant? I've noticed it's quite common for the EU's biggest supporters to use the word "Europe" when they mean EU, but please don't do that. It's a poor use of language and can come across as deliberately manipulative: attempting to graft the permanence of a continent onto a transient political institution. It really grates.

As for the financial flaws. The flaw is not that Germans must spend more but the other countries must spend less. Mere spending is not a useful goal - the ECB is trying (apparently successfully) to force Germans to spend their savings only to wallpaper over the fact that the EU member states continue to have lethargic economies that don't produce much worth spending money on, and to kick the can on a huge debt crisis.

Macron can't do anything - he's in no position to dictate to the Germans what to do with their money. Unfortunately the poor Germans, who are already owed vast sums by the rest of the EU (see: TARGET-2 trade imbalances), are probably going to end up losing all their savings to fund southern/French lifestyles for another decade or two. Their emotional commitment to the EU allows them to be financially exploited without end.
I'm not sure what makes you think this land belonged to an "arab country". It isn't more arab than turkish, or british, or jewish, or latin, or any other nation that has ruled it in the past. If you only look at the last 500 previous years, it belonged to the ottoman empire (not arab), then to the british empire, and now is split between one jewish state and three arab entities/countries (jordan, what's left of the PA and gaza)

Arab population never got along well with the idea of having jews (or anything non-muslim) rule any part of the region, but i don't think the reason has anything to do with sovereign country giving its own land...
The Macabre World of Mind-Controlling Parasites
It's not overspending, it's investing in the future generations. The quantity of Euro it's just a number in some computer.

Infrastructure, knowledge, education, and a better life in general is a real thing.
What are some real-world, non-trivial programs written in Prolog? (with a short description, please)
Agreed. I recently went from multiple years of Linux to OSX, and I find OSX FINE. Not great. Not revolutionary. Just fine. I can install emacs and it works. Whoopie.

The laptop is fine. It costs 3x what I would pay for a Linux laptop, but I'm not the one footing the bill. Yawn Oh well. Laptops.

_____

Now what was something that IMPRESSED me is the 2018 Ipad. I did NOT previously consider the possibility of having a screen, wireless keyboard, and a 4g tethered phone connection on me at all times.

I have my Linux desktop at home serving on SSH and MOSH. I have my Ipad set up with a terminal app and an ssh key that lets me remote in. BOOM. My hoss machine at home with a great internet connection at my fingertips. Totally portable dev environment.

On top of THAT, the iPad UX is very tolerable. And having a detached screen with no keyboard is great. I can access Oreilly online learning, Kindle, and Dropbox and read whenever I feel like it ( which I have done a LOT ).

Heck, this whole summer I have been sitting out on my deck reading books, watching Youtube, using Steam Link on my gaming PC, hacking on my dev box, and pretty much EVERYTHING else on that little iPad.

Combo that with the new Sidecar feature coming with the next version of iOS, and I'm thinking I am going to upgrade to an iPad pro. It is a drawing tablet, an SSH terminal, a great reading device, a multimedia device with resolution good enough to watch movies and read comic books on, AND a secondary monitor when I feel like setting up outside on a nice day and hacking on my work laptop? Yes please.

The only downsides: iOS native games are few and far between. One of the top recommendations is FTL, a game released in 2012. If they could get Magic the Gathering: Arena, Hades ( Supergiant Games ), Into the Breach, and a regular cadence of good indie titles on there, I would marry the thing.

The other downside: The walled garden means they keep emulators and implementation for the Switch pro controller out of the app store. Booo! ...but understandable.
Seems to me it'd be tough to sell Germans on Länderausgleich to Greece without much greater European integration.

After all, the US is a single country, with common news reporting, a common language, common political systems and parties, common tax enforcement and so on.

I mean, if an Alabamian thinks that Californians are all surf bums he can find employment statistics for both states gathered under identical standards, read press coverage in his language, and even move there if he feels like it, as he already knows the language.

It seems unlikely the EU will ever achieve that level of integration.
You've become that unhelpful curmudgeon you used to dismiss.
It’s surprising and a little disappointing when articles like this don’t include photos. It was a really interesting read, but I had a hard time visualizing the “healthy” forest that the writer described at the end.

Meanwhile it is interesting how many of the problems we face are principally cultural in nature. Just as the “dense, dark European forest” isn’t actually healthy in California, there are a great many other aspects of contemporary life in the US, especially in the Southwest, that are not healthy, but are cling to by most people as part of their cultural narrative. Monoculture grass lawns and parking lots at every destination come to mind, but there are many, many examples.

I wonder if and when we’ll ever learn effective ways to bring about culture change when called for. It seems like being able to and interested in moving in small increments would be key, but often times the scale of change that the scientists / visionaries / leaders are calling for don’t translate into incremental change in obvious ways. Further, the people leading the charge generally want to see sweeping paradigm shift, and often oppose incremental change as “half-measures.”

These are tough problems to solve, but I’m optimistic that some of the lessons that have become widely known in software world (agile, etc) will be able to productively translate into the broader society.
I've recently checked options for replacing my aging XPS 13, and AFAICT right now only Dell has first-party support for preinstalled Linux (Ubuntu), whereas Thinkpads come either with Windows or, rarely, without O/S, and are merely listed as Ubuntu-certified. But OTOH Thinkpad (480 and X1) notebooks have fantastic user communities on eg. notebookcheck and elsewhere sharing reliable support info.

I'd recommend testing the devices yourself. I had the luxury of testing an XPS vs a Carbon in a shop in 2016 and found the XPS's display, trackpad, and even keyboard better, certainly more Macbook-like (though Apple's Touchpads are bigger and better). Classic Thinkpads don't have flat trackpads, but use a somewhat special design and also have that pointer thingy (though the latest Carbon does have a flat trackpad I believe, and there's a new Lenovo line very much like Thinkpads, but using mainstream trackpad designs and doing away with pointers).

Be aware that current XPS 13s have only glare screens (which would very likely be a deal breaker for me) and can't be equipped with more than 16 GB. OTOH, the Carbon X1 has a 16:9 display (14") which could maybe also break the deal for me.
> The biggest problem I find is financing the activities in the extra free time

Find cheaper hobbies. Video games, library books, walks in parks (city, regional, national), exercising or playing cheap team sports like soccer or basketball, local volunteering, playing music - all have a very low cost per hour. Other hobbies such as woodworking/carpentry, painting or other arts and crafts, have higher costs but also the possibility of making some money.

If you have more vacation time, you can also choose cheaper but slower modes of transport or book tickets and accommodation at non-peak times. E.g. you're not forced to travel around long weekends or Christmas holidays to get a decent-sized break.
■アナログ絵１７２ 皆さま、これが【処刑遊び】こんな人間が存在していいと思われますか？（祈）†
Securing Your Crypto Wallet
> how do you do that without triggering a bank run?

Deposit insurance.

The EU’s lack of a currency-wide deposit guarantee is a separate problem. One uniquely spawned by the Germans.
I think they mean is this better than what Zoom does.
You are in luck my friend!

Tau Prolog: A Prolog interpreter in JavaScript

http://tau-prolog.org/

> Tau Prolog is a Prolog interpreter fully implemented in JavaScript. While most online interpreters are remote servers with an installed version of the interpreter which receive code, execute it and return the results, Tau Prolog is fully implemented on JavaScript and the code is analysed and parsed on the client side.

> Tau Prolog is not just an implementation of the logic programming resolution mechanism, but a complete Prolog interpreter. Furthermore, the implementation of this interpreter has been directed by the ISO Prolog Standard.

As for what I find it useful for, see the sibling comment for details.
I find that team names change more frequently than responsibility in a large org. Also using a team name makes people assume ownership of decisions with that team. That's why I prefer service name. However I haven't thought much about shared use clusters.
arcticbull, I feel like you have a pattern of being too aggressive with me. Just pointing it out. I have a pattern of being too aggressive in the past and I am trying to tone it back. I appreciate having people to disagree with me, so please keep doing that. (Sorry if this comes across as patronizing, patronizing people is one of my greatest pet peeves.)

> Don't be the guy advocating putting money into bitcoin to store value

Well, I didn't. Bitcoin was designed to be sound and honest money on theoretical grounds. But it hasn't yet achieved the needed liquidity to be relatively stable in value. I hope it does some day, but I don't know if it will.

Anyway, the issues you are raising with your references do not worry me in the least. I have been watching bitcoin a long time and I think that's just short-term news. It's not part of the macro picture. It's like if you came back from a 20 year stint in a monastery tomorrow and watched the news---you would think for sure the world is ending tomorrow. Everything seems like a crisis in the moment, but it isn't.
Reaper and bitwig run on linux. Plenty of reaper users come from other daws. Daw choice is mostly workflow preference than feature differences.

Vsts though... people use Carla that’s based on wine to use windows vsts. Results vary.
What’s a lie? These are arrest stats.
Definitely more work on linker functionality.

Advanced linker technology is a great part of what makes C great for systems programming in user-land:

- weak symbols
- explicit interposition (the INTERPOSE flag
on Solaris/Illumos, LD_PRELOAD generally)
- collision avoidance (recording dependencies where
they are needed, rather than globally)
- direct binding (Solaris/Illumos) /
versioned symols (Linux)
- libdl / dlopen() and friends, including dladdr()
(LoadLibraryEx() and friends on Windows)
- filters and auxilliary filters (Solaris/Illumos)
- audit objects

Static linking could have a lot of the above, and, really really ought to, but static linking technology for C is stuck in 1980. This need not be so for Rust! Please, please, if you build static linking for any language, make sure to build ELF-style semantics, not C static linking semantics!