skysight-inc/HackerNews huggingface dataset:
Emacs is your system. You can't integrate all that well in the other direction, because host OS platforms don't let software interop as well. Even the Unix family.

The deep interop of course comes at the expense of security. There's no sandboxing or restrictions in Emacs world. One day somebody will release a piece of elisp malware, and a lot of people - myself included - will lose their crown jewels. But until then, we get to enjoy the only remaining relatively mainstream OS with deep interoperability.
I use moka pot, love the design and simplicity.
Currently have one from Ikea.
In the US, it would probably be more accurately labeled a tiny part.

A look at first world countries whose use taxes completely cover road investments and maintenance shows that we're about $4-6/gallon shy of actually covering our costs.
It might be hibernation, as in putting RAM on disk and shutting down.
Actually I was supporting you on this one. I was replying to the parent.
I am not sure why you would feel threatened even if there was overlap. Godot is MIT licensed, so if your customers started asking for features from Godot or for compatibility with Godot, you could just copy the code straight from them without any hassle.
To follow on to my other comment (didn't want to edit it as this is a separate point)...

My reason for doing what I did is that a good friend and former manager died in his early 50s and I realised that could easily be me in twenty years.

It breaks my heart that he worked so damn hard only to die alone in the middle of the night in his home office with a fucking P&L still open on his screen. His wife and kids found him as they were getting ready for school :(

He gave up so much time with his kids as he always said he was working hard to provide the best for them in the future but you want to know the worst thing? His family are now financially struggling. He had two teenager kids and while his wife worked they lived beyond their means so when he passed their whole world collapsed.

All that time working, all the missed time with his kids and still he left so little. It crushed me if I am honest and I swore I would do whatever I had to do to minimise the chance of it happening to me.
I'm sorry, but respectfully, you don't understand the modern art world: the destruction of the physical object and the creation of the NFT was, in this specific instance, the work of art itself. The art world has taken "meta" to extreme dimensions Internet Culture will not realize, perhaps ever.
It is piece of shit.
But you can't say that.
Why not.
It is a Ferrari.
Compared to the 10-20 hours I could spend debugging some stupid problem with passing objects to a function in the wrong order...
Well, we were discussing tooling that could be used to check if the declared SBOM is correct, not producing the original SBOM.

This kind of checking with today's practices is necessarily going to be imperfect, just like the BOMs in the physical manufacturing realm where the idea originates in. But if today's 99% solution turns out to be sufficiently useful, we could start making things in a way that are 100% verifiable (stuff like reproducible builds, etc)

In security we've long ago let go of the idea of risk and turst as binary issues, the same thing applies here. Just about every other tool we have to improve security has bigger holes in it than this one.
Because all the climate models say that it's a terrible idea to let it completely loose. They even predict that it's a pretty bad idea not to do a lot more than what we are doing now.

Given the current state of matters, whatever we do it will be at least in part preparation for the changed climate and in part preventing getting things worse.
I agree! It's too late to edit my comment for clarity, but I'm glad I read the OP. It's not "just" a sales pitch.
Definitely motorbiking / offroading for me. It’s a great escape into nature, physically exhausting in a good way, and mentally challenging in the same way climbing is.
The technology isn't complicated, if you already know what a cryptocurrency is. An NFT is a "bespoke" currency that anyone can create, each instance of which has a single indivisible "coin" with an embedded URL that points to some kind of content. This coin can be traded, bought or sold for other kinds of currencies.

The baffling part is that people are willing to pay thousands or even millions of dollars for these things.
Except there is now a middleman that also wants part of the cash. The only advantage I see is that it's impossible for one of the CFO's bootlickers to kill the payment without anyone else knowing.

Edit: apparently digitalhumani doesn't cream off.
When building programs with user interfaces*, there are parts that _cannot_ be tested formally with either types or automated tests, because they require a human to test how things "feel."

In that context, long compile times lengthen the build-evaluate feedback loop to a point that harms quality.

* also note that APIs are user interfaces. So this harms way more than just programs with GUIs.
Sure, but none of those things are taking into consideration that there is only a few entry/exit points for fiat currencies, that is needed to actually buy things in the real world.

The trick with cryptocurrency (not cryptography) is that everything is always tracked. Creating addresses (not wallets) to spread out value you had in one address? That's tracked, logged and stored forever. Using a distributed exchange protocol? All those transactions are also tracked, logged and stored forever.

The only way you can avoid being tracked is by using centralized exchanges, and then you're only protected by the owner/employees of that business.

So no, cryptocurrency doesn't change anything here. In fact it makes it easier to track, as I said before. If you think it makes it harder, please look into how the technology you're talking about now actually works.
Well, if you sign a fixed CDD contract, then you are also expected to stay till the end. By law, both sides cant cancel it, except with common agreement.

If you dont expect to stay till the end, then dont sign, or ask for a shorter cdd which can also be renewed at most one more time depening on the company, or concerted into a cdi
It looks like Microsoft released an update on September 24, 2019 that defaults new drives to use software encryption instead (I'm guessing it uses AES-NI under the hood if available):

> Changes the default setting for BitLocker when encrypting a self-encrypting hard drive. Now, the default is to use software encryption for newly encrypted drives. For existing drives, the type of encryption will not change.

Source: https://support.microsoft.com/en-us/topic/september-24-2019-...
It's kinda of a messy concept. Source code is never like an AST, because an AST is a tree on a computer's memory, with pointers and everything, while source code is text.

I see no reason why a language can not have a more complex source -> AST transformation, while still keeping code as readable data that can be manipulated by macros. So, if you want homoiconicity with a slightly more complex syntax, I don't think it won't bring any problem.

But if you keep making your language's syntax more and more complex, you will make macro creation harder and harder, so there is probably a practical limitation somewhere. Operators and statement sequences are very likely not complex enough to be a problem, but I don't think anybody will ever make native C++ macros work.
https://archive.md/ytYYX
Hi there, thanks for taking the time to reply.

You can find me at "george.(my username minus the first letter)@googles mail dot com"

Else you can check my profile here, I have pasted some links to LinkedIn in and others.
interesting. as someone who's been feeling extremely unhappy lately, i often wonder if most of us don't actually revel in our own misery to a certain extent.
Why would private companies do this? Who is paying them and how would the cost structure work?

Debris in orbit is not like trash on a field. It is moving at several km/s and is thousands of miles away. Good luck finding, intercepting, and then spending enough energy to de-orbit anything large, let alone tiny objects you can't see. I can't even imagine doing this millions of times.
https://news.ycombinator.com/item?id=26513727

Why do you keep creating throwaway accounts for this?

Write a full blog post about it and get it on HN. People will for sure upvote it to the front page.
That's true maybe because it became such a big and deeply complex field that it has no space in the basic curriculum?

One might think that it's historically closely tied with the development of the radio and the telephone, see Tesla, Eddison, Bell Labs.

The common wisdom about electromagnetics with regard to EMI and such things seems to be that it's pretty much black magic. Similar for inductor selection in SMPS design.

It's pretty much physics, so a good deal about radiation can be found in medical physics for example, which is simply a different course of study with electronics as a side show, and maybe better as consecutive program for sophomores.
Tolls are taxes.
This year taught me how much commuting stressed me out. Never again.
The problem was more that he didn't stop there :)
Yeah, I don't know, I tend to want to be sure about statements I make about the state of the world, but seemingly not everyone has the same standard.

And no, that's no evidence. Just like apartments being sold for millions of dollars is not evidence of money laundering.
This. Big part of the most high-performance code (like crypto, linear-algebra or fft kernels) are even generated: you build a program that will generate a program that will get compiled (or is already asm). One can arguably say that the generator program is part of the compiler chain (takes parameters describing some algorithm and generates executable code). And these generators sometimes call out to SMT solvers or otherwise solve complicated algorithmic problems (integer programming problems for vectorizing with the polyhedral model). Hence these are specialized high-level compilers that take a long time to output extremly fast and small programs. Most people don't call the generators tho, they only use the generated code: long compilation time is no problem if you have good modular compilation.

http://www.fftw.org/

http://flopoco.gforge.inria.fr/

https://github.com/FStarLang/kremlin

https://github.com/project-everest/vale
I didn’t say they weren’t valuable? Just pointing out that it’s a particular viewpoint and not indicative of the “only” interpretation.
Whoops! Quite right, mea culpa. Glad you found the right book -- and hope you enjoy it! :)
But I think this is worth considering from this perspective as it focuses us on the most broadest solutions. If we decarbonize all uses of fossil fuels, we’re 73% of the way to utterly decarbonizing.

Petrochemical production, nitrogen fertilizer production in particular, is simply energy. And, in fact, nitrogen fertilizer just needs hydrogen, not hydrocarbons (which is a sort of misconception... many think hydrocarbons as a fundamental component of fertilizers when the actual Haber Process uses straight hydrogen), so should be much easier than hydrogen cars. And transport is relatively easy to decarbonize. Road and rail transport, in particular.
My co-worker/friend did the exact same thing. I had to double check you were not her.

It feels like the Pandemic has left a lot of people worse off, but there are also a lot who are a lot better off now. Kinda weird?
Internal Tooling Is Underrated
Maybe it has to do with the fact that people selling NFTs are falsely claiming that NFTs "represent" physical objects or pieces of art.
> Non-ECC compute is a no go from start.

Many modern amd offerings support ecc memory, but I can't comment on intel.

> Consumer grade HDDs are slow.

Meanwhile cloud provider hdd storage is slower than usb2. I have a 32 core machine deployed in azure right now, and the hdd that was deployed with it has a max read speed of 10MB/s. Getting a medium performing SSD seems to cost in the realm of $250/month just for the storage, before computer costs.

For many uses, users don't care about true reliability. I don't care if my CI agent has data loss, I'd _much_ much rather it ran on consumer grade hardware at speed and failed 2-3% of the time than what I've got now (as long as I have the choice. I want my build servers to run on fast unreliable hardware, for example)

Agreed re: pcie though!
> I don't care if the blockchain says I own it or not. I just want that cat.

Of course, neither do I. I'm trying to help you to see the perspective of others though, where "ownership on blockchain" is valuable for them. I myself don't see the value in that, but obviously there is people who do.

And yeah, you're getting real close to getting it, a bit more thinking and I think you got it :)
By "western" he probably meant "US based". In many European countries, the (paid) paternity leave can be split between both parents, and some countries even offer additional financial benefits for taking this option. As an anecdotal data point: all of my friends, who have children, chose to split paternity leave.
Duplicate of this thread (subject wise) 31 days ago

https://news.ycombinator.com/item?id=26174135
> At some point you can't pass blame for repeated violations through contract vehicles.

At what hypothetical point is this? I'm pretty sure you can do this indefinitely, which is why they do it.
Accept that I didn't need a regular job like everyone else.

I abandoned my fear of being an entrepreneur and embraced the idea.

I lowered my cost of living, valued my skills, and started freelancing to pay the bills while I try to build something.

My best decision so far. Ironically today I work a lot more, but the realization of doing something with my time aligned with my dreams makes all the difference.
The company I'm at requires longer hours for promotions (unofficially of course). I worked as a tech lead and the a senior dev a few years ago. They wouldn't promote me unless I worked at least an extra hour per day.

That system ended up being outsourced and I had to get a new position at the same company. The tech was obscure (FileNet) and thevonky other position I could get was in equally obscure tech (Neoxam). There I became the ASC for the system across 6 teams and two departments - a role typically reserved for senior devs and above. Then they cut the budget in half and did some stuff that I didnt agree with and wouldn't want to be responsible for the security of. So now I'm on a team with modern tech (AWS). It still feels like extra hours are required and they also expect me to be an expert in multiple stacks/systems simultaneously, which is tough. I also feel like, what's the point? The company keeps breaking their own policies and my expertise is just throwaway in their eyes.

Once I become an expert in AWS (which will take a long time the way the work is structured) then I can maybe switch companies. It's still a risk since I have a family to support and I'm responsible for basically all the bills.
For a chat solution I can’t think of a better option. BEAM is ideal for that type of workload.
Simple Twitter Bot with Node.js Tutorial Part 3: Search and Retweet
2 things i hate about Firefox on iOS:

- Can't change font size (such a basic feature...)

- Content blocker (strict) is worse than Safari + Adguard

Other than that, i like it. Can set my own search provider, and i'm using Sync with Desktop as well.
Well lots of people can read and write, but few people are able to write a good novel. Everyone I know who isn't necessarily a software engineer but has basic programming skills has benefited from that knowledge. For example with everyday office work there's a big difference between someone who's able to use Word and someone who's able to use Access. The latter requires programming know-how. Also shell scripts and automation. It has a huge productivity amplifying impact.
Quitting porn.

At age 45, having been addicted since first finding I could download over 1200 baud dialup on my parents phone line and watching Cinemax late night through the static, it has just been a thing in my life almost daily and honestly I'd given up on caring whether it was a bad thing or not.

I'd felt guilty about it sometimes, and sure, tried to quit on a number of occasions, but always ended up back within a week or two.

Finally one day early last year I just decided to quit, and for whatever reason, that time it worked. And even though day to day I don't think it's made any objective change in my life, every time I think about it, I'm so happy to be done with it.
The biggest problem with mypy is that it's written in python. It's slow. It needs to be rewritten in rust or go to make it faster like how js ecosystem is moving in that direction. All the tooling is moved to faster compiled languages.
All of this + the fact that they are a huge financial burden (depreciation, insurance, repairs, fuel), AND probably the most dangerous activity you do on a regular basis.

We have one, we use it, I have even enjoyed the few road trips, but I absolutely hate them.
If the SEC is going to start caring about insider trading they should definitely take a look at what the members of the US congress did at the start of the sars-cov-2 pandemic.

What this looks like to me is just the SEC with it's well known hate for SpaceX looking to hurt them any way they can.
As much as it is a problem of Amazon and its algorithm. It also shows how dysfunctional is USA despite being richest nation. I believe that the fact that they find people to do this job at the price, is a fundamental problem.
It's part of the reason I went into philosophy via linguistics, and feel like I came out the other side. I feel like philosophy has been too influenced by talking about talking. It's the most accessible way to address thought, but the most misleading.

I'm pouring more energy into the thinking that occurs without talking. I hope it can capture some of the things that we hope to capture with shades of meaning, but without the disagreements about dictionaries.

Unfortunately it's leading me through some of the paths trodden by behaviorists, and that's a minefield of its own.
Show HN: WhatsApp prompts to eat better or move more
I am an html expert. I can help!
Real world item (person): Honus Wagner

Link item: 1909 T206 baseball card

Value: $2 million

Why don't you start printing these baseball cards and sell them?

Ha, but you say the baseball card is a real physical item, and a NFT is not. Well, an NFT is as real as the movie I watch on YouTube, the song I listen to on Spotify, and the numbers my bank shows.

But now you say the baseball card was part of a game, and so it's value is not from the person but from the collection game itself. Well, a lot of NFT's are also part of a collectible game.

Would love to hear the difference between a "physical" item and a "digital" item, or a "physical link to a physical item" or a "digital link to a physical (or digital) item".
Two-hundred bucks is basically "impulse purchase" territory, but I'm nevertheless struggling to see the use case here.

If you're into maker projects with Raspberry Pis, then I'm not sure what this does for you. It's a Pi already built into a consumer device. Not seemingly a platform for new maker projects.

If you want a tablet with a Linux kernel buried in there somewhere, then there's probably a thousand Android options with better specs at the price point.

Just kinda seems like a tablet with with limited apps and terrible battery life, being marketed to Pi fans who think having "Pi" in its name will make it a good conversation piece.
Semi-related. I wanted to run Amarok 1.4 recently (because I had been having a discussion about how no music player on Linux touches MusicBee, and the last one that had promise, before the developers lost their minds, was Amarok 1.4 - yes I know about Clementine etc but MusicBee still wipes the floor with all of them. This is a digression).

Anyway, I spent about an hour attempting to get get it to run on my up-to-date Mint laptop. Now, Amarok 1.4 is 12 years old, so if you want to get it to run, you'll either have to compile it (which means getting your hands on the 12 year old KDE libs), run a 12 year old Linux distribution in a VM, or... Dockerize it. Now you see where the flatpak connection comes in.

Step 1: Find an Ubuntu 8.10 ISO and mounted it:

sudo mount -o loop ubuntu-8.10-desktop-amd64.iso /mnt/intrepid

Step 2: Unqsquash the filesystem:

sudo apt-get install -y squashfs-tools
sudo unsquashfs -f -d /tmp/unsquashfs /mnt/intrepid/casper/filesystem.squashfs

Step 3: Import the tarball into a Docker image:

sudo tar -C /tmp/unsquashfs -c . | docker import - ubuntu/intrepid

Step 4: Run interactively and install Amarok:

docker run -it --entrypoint=/bin/bash ubuntu/intrepid

(NOTE: At this point, it was pretty hard to find an apt repo for Ubuntu 8.10 but, amazingly, one or two still exist online. So I edited the apt sources, ran apt-get update && apt-get install -y amarok. I also created a user to run Amarok - one whose uid/gid matched my own user. These commands are left as an exercise for the reader)

So I dockerized Amazok 1.4.10 / Ubuntu 8.10. What next? Well, I could have created a Dockerfile that started "FROM ubuntu/intrepid" and repeated all of my manual work I did in the interactive container, but I'm not keeping this thing, so I just did this the hacky way:

docker export quirky_mendel -o ubuntu_intrepid_amarok.tar

docker import intrepid_amarok.tar amarok:1.4.10

Now I have a docker image called "amarok:1.4.10" which I can share on Docker Hub! Does it work?

docker run -it --entrypoint=/usr/bin/amarok --rm --name amarok --net=host --user amarok --privileged -e DISPLAY=:0 -v ${HOME}/.Xauthority:/home/amarok/.Xauthority amarok:1.4.10

IT WORKS! A 12 year old music player running in a docker container on the latest Linux Mint. My alternative to Flatpak / Snap etc. Is it safe? Nope! It's running in an Ubuntu image that wasn't updated since 2008.
Re-reading Gibbon's Decline and Fall, Tacitus, Suetonius, Cassius Dio, Adam Smith, Marx, and others. Home repair projects long-neglected.
Am I the only one in the room not to understand the question?

Do you have friends, I mean about 4 or 5? If yes, I do not think you have a problem.

Have you ever been in a relationship for at about 2 years? You do not have a problem.

Is it difficult for you to stay in a relationship more than a few months? Admit you were not compatible. If you think you were compatible, reflect on your own mistakes and improve. Being in a relationship is something that can be practiced.

Without a long term goal with your loved one (such as kids but not limited to), do not expect a relationship to pass the 2 and 5 years crises.
"Writing GNU Emacs Extensions" by Bob Glickstein is a solid introduction. After that, the Emacs Lisp reference manual (available as "info elisp" in the shell) gives much more detail.

Inside Emacs, you can:

- "M-x apropos" to search for commands of interest

- "C-h f" to get documentation for particular functions by name

- "M-x find-function" to jump to the definition of a particular function

- "M-x find-library" to load a library into a buffer so you can read and (depending on your permissions) edit it.

The Elisp reference is very good, and most libraries are well documented. Between that, the ability to jump around the code base, and trying things out in the "scratch" buffer (it's an Elisp REPL disguised as an editing buffer), you should be able to get quite far.
>Meanwhile cloud provider hdd storage is slower than usb2. I have a 32 core machine deployed in azure right now, and the hdd that was deployed with it has a max read speed of 10MB/s

That's because they're not bare hard drives directly connected to the server, they're a virtual hard drive over SAN.
That's an excellent point! Too bad I initially missed that.
Besides swapping the Pi out I'd imagine there's very little repair ability. PCB with tiny components, custom screen, etc.