jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Yep, honestly running ArchLinux + KDE on my Acer TravelMateX since 4 years approx I never had hardware/drivers related issues.
This laptop is not an ARM of course but works wonderful well.
BTW it also came with a fingerprint reader but I never used it.
on Ubuntu 18.04 this is what I got

$ apropos "disk space"

df (1) - report file system disk space usage

$ man -k "disk space"

df (1) - report file system disk space usage

and

$ man -k "disk usage"

docker-system-df (1) - Show docker disk usage
> No, but new javascript programs are frequently loaded.

This is probably what confuses a lot of people into thinking that program distribution has anything to do with JIT. JavaScript is the only programming language for which the main method of program distribution is source-code-only, and why all the trade-offs of adaptive optimization seem necessary, to the point that now people are making its necessity into a virtue. Likewise for Java stealing credit for popularizing portable bytecode as the main method of program distribution - although Gosling coined the term JIT years before Java had a JIT compiler.

> If (for instance) I write a script in c and run it with tcc -run

And what happens when you use libtcc?

> Compilation should occur concurrently with execution

Execution of what? You do not need an interpreter or a bytecode VM to have a JIT compiler.

> usually accompanied by some heuristic for deciding what to compile first (e.g. tracing)

That is adaptive optimization, and is orthogonal to compiling (you can have adaptive optimizations in an interpreter or a bytecode VM). Tracing (which is not a heuristic btw) is a variation of profile-guided optimization, which is orthogonal to JIT.

> Even if it is not, however, ECL does not JIT c, but produces it statically.

I posted this elsewhere in this thread:

https://gitlab.com/embeddable-common-lisp/ecl/-/blob/develop...

Can you explain why you think that is not a JIT.
Gladly. There's even some relatively advanced stuff in there:

# Save a RTSP stream to file
ffmpeg -i rtps://someserver/somevideo -c copy out.mp4

# encoding quality settings examples
# H264
ffmpeg -i input.mp4 -a:c copy -c:v libx264 -crf 22 -preset slower -tune film -profile:v high -level 4.1 output.mp4
# H264 10bit (must switch to a different libx264 version)
LD_LIBRARY_PATH=/usr/lib/x86_64-linux-gnu/x264-10bit ffmpeg -i input.mp4 -a:c copy -c:v libx264 -crf 22 -preset slower -tune film -pix_fmt yuv420p10le -profile:v high10 -level 5.0 output.mp4

# resize
ffmpeg -i in.mp4 -s 480x270 -c:v libx264 out.mp4

# change source fps
ffmpeg -r 10 -i in.mp4 out.mp4

# resample fps
ffmpeg -i in.mp4 -r 10 out.mp4

# extract the audio from a video
ffmpeg -i inputfile.mp4 -vn -codec:a copy outputfile.m4a

# merge audio and video files
ffmpeg -i inputfile.mp4 -i inputfile.m4a -codec copy outputfile.mp4

# cut (reencoding)
# set the start time and duration as HH:MM:SS
ffmpeg -ss 00:00:40.000 -i input.mp4 -t 00:00:10 -c:v libx264 output.mp4
# set the start time and duration as seconds
ffmpeg -ss 40.0 -i input.mp4 -t 10.0 -c:v libx264 output.mp4
# skip an exact number of frames at the start (100)
ffmpeg -i input.mp4 -vf 'select=gte(n\,100)' -c:v libx264 output.mp4

# cut (w/o reencoding - cut times will be approximate)
ffmpeg -ss 40.0 -i input.mp4 -t 10.0 -c copy output.mp4

# save all keyframes to images
ffmpeg -i video.mp4 -vf "select=eq(pict_type\,I)" -vsync vfr video-%03d.png

# encode video from images (image numbering must be sequential)
ffmpeg -r 25 -i image_%04d.jpg -vcodec libx264 timelapse.mp4

# flip image horizontally
ffmpeg -i input.mp4 -vf hflip -c:v libx264 output.mp4

# crop and concatenate 3 videos vertically
ffmpeg -i cam_4.mp4 -i cam_5.mp4 -i cam_6.mp4 -filter_complex "[0:v]crop=1296:432:0:200[c0];[1:v]crop=1296:432:0:200[c1];[2:v]crop=1296:432:0:230[c2];[c0][c1][c2]vstack=inputs=3[out]" -map "[out]" out.mp4

# 2x2 mosaic (all inputs must be same size)
ffmpeg -i video1.mp4 -i video2.mp4 -i video3.mp4 -i video4.mp4 -filter_complex "[0:v][1:v]hstack=inputs=2[row1];[2:v][3:v]hstack=inputs=2[row2];[row1][row2]vstack=inputs=2[out]" -map "[out]" out.mp4

# picture-in-picture
ffmpeg -i video1.mp4 -i video2.mp4 -filter_complex "[1:v]scale=iw/3:ih/3[pip];[0:v][pip]overlay=main_w-overlay_w-20:main_h-overlay_h-20[out]" -map "[out]" out.mp4

# print framerate of every file in dir
for f in *.mp4; do echo $f; mediainfo $f|grep "Frame rate"; done

# print selected info of every file in dir in CSV format
for f in *.mp4; do echo -n $f,; mediainfo --Inform="Video;%Duration%,%FrameCount%,%FrameRate%" $f; done
"Ask people what they want and they will say a faster horse" - Henry Ford
There are APIs available on all major OSs that do this. Example:

https://developer.apple.com/documentation/coreservices/13905...

My memory is that if you press option E on a Mac, the translation function reports a non-zero state but no character output. You can detect this and call the translation function again with a space to get the diacritic by itself.
This is primarily an advance in the systems integration required to make such a sensor fully implantable abs capable of wireless transmission. It also ~10x’s the number of channels of the Utah array, which is the primary point of comparison as a product that can currently be used in human patients (in an investigational context as part of clinical trials). The Utah arrays do not have any active electronics however, and pass a bundle of wires through the skin, which has obvious disadvantages and scaling limitations.

NL’s approach is scalable due to their robotic insertion system which can implant a (multi-channel) thread every few seconds. It should be possible to hit a few thousand channels within the window of a few hour surgery. They do face the same challenges with size, weight, and power that everyone else does, which forces trade offs on the bandwidth, ability to isolate spikes from individual neurons, and number of active channels.

The primary limitation of this approach is that the needles cannot easily insert deeper than the outer layer of cortex (to my knowledge). This limits the application space to anything with recording or stimulation targets on the surface. Motor prostheses and gaming are perfect for this due to the anatomy, but many other medical applications require deeper targets, which their sensor cannot readily hit at the moment.
Don’t non-US national owners of companies doing business in the United States benefit from goods and services provided by US governments? Ought they contribute? How do you tax them if the system only taxes individuals?
Dungeon Siege, although the slides where this was revealed seem to no longer be online. Additionally, here is the blog post from 2007 that largely introduced the concept in the form we know now, based on the Dungeon Siege talk and others: http://t-machine.org/index.php/2007/09/03/entity-systems-are...

Although, arguably, Dungeon Siege's component architecture is different from what we call ECS today.

EDIT: I found the slides: https://www.gamedevs.org/uploads/data-driven-game-object-sys...
The environment, climate change and energy. Why energy is so much more important than generally believed. Why less energy implies less economic activity (i.e. degrowth, or collapse).
I had the immense privilege, for a few years, of teaching this play to classes of university students. (I'm still somewhat proud of the lecture I devised, with maths and pictures, illustrating iteration -- and of the gasps it invariably got when the graphs got colored in, and the Mandelbrot Set leapt off the screen in all its infinite colourful delight.)

Reading and understanding the play then spring-boarded the individual research project and paper that these students were required to write. What I appreciated most about Arcadia was that it provided an almost infinite scope for students to bring their own interests to bear. The only rule was that whatever they did had to, in some way, give a reader a deeper understanding of the play, and/or the world(s) in which it was set. Some highlights:

- The fashion-design student who did a deep dive into early-nineteenth century clothing trends, and explained why Lady Croom should be wearing this in the first act, but that in the second. She got extra marks for submitting swatches she'd hand-stitched to illustrate some kind of revolutionary technique that reached England around that time.

- The "edgy" students who wanted to write something about Sex. I think they got excited about the thought that I'd shoot them down. In the end they usually wrote fairly boring papers about adultery rates, or sexual education.

- A gun nut (I wouldn't be surprised to learn that he stormed the Capitol, or went off-grid and ended up being besieged by the FBI; you know the type), who wrote a creepy-but-fascinating paper about the ballistic properties of dueling pistols, and the expected survival rates of duels conducted at 7 paces, 10 paces, 12 paces, and so forth.

- The "non-traditional" (read, slightly older) student who ran her own franchised dog-walking and training business -- I'm pretty sure she made a lot more money than I did, and really hope that Wag, and the like, didn't drive her out of business -- who researched how hunting dogs were used and trained in the early 19th century.

- Biology majors who wrote about various aspects of population dynamics, and either confirmed or dismantled Valentine's assumption that game books were a valid source of data. After a while I started giving them (anonymized) former students' papers with the opposite view-point to critique.

- LOTS of comp-sci and maths majors (I think either their professors or previous generations of students took to recommending my class) to whom my direction in tutorials invariably reversed Septimus: I'm not going to "give this an alpha in blind faith", though I'm sure your equations / program checks out. Now, explain it in words so a Humanities guy like me can understand.

Arcadia is my favourite play, too.
And so you've answered your own misunderstanding of the problem.

It's not a symptom. It's necessary to have those lower prices to keep your image and your fans and impacts your long-term earnings, and so we're back to scalpers being nothing more than parasites and a net loss.

It's the same thing with the shoes, if they prices the shoes at their 'true' value, they alienate their customer base and the shoes lose value. The scalpers are actively harming the market.
I was in Ethiopia this time last year, before COVID hit the world.

There were some tense moments with huge city wide protests and this was down south not far from Addis. To me things were not feeling so stable...

The North and even the Tigray region seemed fine and normal to me. I heard a lot of complaints from people about government back in Addis.

So sad to see what's happening there. I agree, the people are fantastic and it's a very unique country.
Pretty terrible when you think of all the govt money this company took to provide these services. Likely charged at massively inflated rates for the benefit of their "expertise". Guarantee you that intern was probably billed out at 10-20x what it cost SolarWinds to employ them. Doesn't even pass a level 1 smell test.
There's not going to be a "next NASA space shuttle"

http://en.wikipedia.org/wiki/Orion_%28spacecraft%29
I would also be curious if exercise type needs to be included in this. For example calf raises vs squats. I find that for calf raises since they are so targeted I'm able to recover very quickly, but for squats I typically need to wait that 3-5 minutes
There are lots of examples of this restructuring in the government. For example, it would be foolish to say we should abolish the Dept. of Veterans Affairs because we were somehow able to take care of veterans prior to it's creation in 1989.
I don't know man?

Do "Twitch Streamer" and "YouTube Streamer" really constitute different "jobs"?

(I mean, to the extent that they are "jobs" at all, I consider them the same "job".)
I assume you mean Colin Kaepernick.
The likelihood is that the chair you got, you'll probably find out it is just bad and after a while you'll return it and look for something else.
In the last few months almost 50% of my purchases turned out to be some junk pretending to be a quality product.
I still have a few boxes of things that I need to post.
There is even no point reading reviews, because most of them are fake.
I think I am going to stick to trusted brands and probably drop Amazon altogether, but I like the next or same day delivery a lot. When using other stores you never know if the product arrives tomorrow, next week or never.
Changed to a Nokia 225 a couple of weeks ago. Either when you do that, or delete everything on your smart phone and have nothing to do on it, you realise just how much time people around you look at their phones.
I have a 2015 MBP 15" also, and it's still a really good machine. Even if you find one with a shot battery you can get Apple to replace the battery for $200.
Yeah, I made a very similar observation in a comment last year (which I can't be bothered to find right now).

A lot of it is due to excited beginners wanting to write about $topic. I don't think this is necessarily a bad thing as such; and I'm a bet less cynical about it than some others in this thread. It's pretty neat that anyone can write something and put it online. I just wish there was a way to filter this kind of stuff.

This is where the "throw everything in a big bag"-model of the web comes with some pretty big downsides. But I don't really know how to do it better either.
Object enumeration order (before ES2020 [1]), math function accuracy (Firefox and Chrome did standardize on fdlibm though [2]), various timings. All of them can be fixed with caution but it might be easier to use a platform where none of them matters (well, as long as you don't import Math.sin etc. from the environment...).

[1] https://stackoverflow.com/a/30919039/225272

[2] https://www.linux.com/training-tutorials/math-v8-broken-how-...
How would blockchain land claims be enforced without a state backing them?
The article says at 11 kW it charges in 7.5 hours. That's $7.75 worth of electricity for me. Gasoline over the last year has averaged $2.56/gallon for me.

The article says it gets 250 miles on a charge. To get 250 miles from an ICE car on $7.75 worth of gasoline, that ICE car would need to get 82.6 miles/gallon.

The EV should also require much less routine maintenance than an ICE car.

For a heck of a lot of people, fuel cost per mile and the amount and cost of routine maintenance are among the most important metrics.
So when Kickstarter is bigger or if you consider all crowdfunding then it is an aristocracy? My point still holds. If reality gets in the way of dogma you might want to abandon your dogma.
this is also called nested sets.. it's nice but has some tradeoffs as well
I think this is maybe what's going on. There are pragmatic choices that make things easier for us, but every element will have an emotional context as well.

It's odd, when I was looking at that aikido ad, I thought I could faintly smell newsprint paper...
That makes sense, especially when it comes to production. I'm curious how the distinction you noted applies to non-physical services? Many services seem to qualify as rent-seeking: you pay a one-time fee to obtain information or a connection others will need and the costs to maintain this information are usually minimal. I assumed selling access to that information would qualify as a form of rent-seeking since information retrieval is incredibly low-cost for whoever owns that information. And it seems like competition, even hypothetically, would never drive such services down toward cost without eradicating the industry entirely. So all info-centric services are built on economic rent. Am I off the mark?

Edited to add: The more I think about it, the more it seems all business is really about rent on information: profits are extracted by discovering a cost-effective source and repackaging that information at a higher price to an ignorant market. Innovation as a source of profit seems like rent-seeking on initially exclusive knowledge. Even production is a cascade of information bundled with profit margin and sold to the next party who lacks access you have. The physical product is only the end-game of that information chain. The profit all comes from privileged information, ie charging for something that, once obtained, costs nothing to continue profiting from. Which is economic rent, no? I feel like I must be missing something.

Edited once again: Looked into normal profit, which reframes my question slightly: is the phrase "economic rent" used to describe an objective behavior or a behavior relative to the local market (where average profits and opportunity costs vary)?
I love that the logo is invalid JSON. (see: http://www.json.org/)
Didn't the OLED patent expire this year? Am I misremembering?
C++20 also includes coroutines, which can be used to implement lightweight async behavior without the overhead of a thread.
"as long as it reduces transmission, even if it makes the wearer sick"

So the only risk in life is Covid, there's no such thing as relative risk, masks could never be a net loss for anyone? No. Again, by all long-term studies, and with anti-correlation headwinds all over the place, mask mandates are not justified.
Sad to see moderators not delete these kind of useless uninformed messages as they used to do just couple years ago
I feel like cryptocurrency is only a mechanism and not a solution itself. It seems the approach is for an organization to provide a solution (e.g. Brave), whether that solution involves a cryptocurrency (a token in their case) or simply a fiat currency wallet (makes per-microtransaction fee not prohibitively expensive) would be an implementation detail.

With that in mind, Brave seems to be the model in the right direction but the problem, as you pointed out, is having to use a specific browser, and relatively very few people would ever do that.

Ideally this is something every major browser would support (Chrome, Firefox, Safari, Edge at the very least) which brings to mind that it really has to be a w3c standard. (I know there's Web Payments and Payment Requests API work being done, but I have no idea what they are like.) Payment providers would implement this standard, so perhaps at the beginning you have different web sites using a variety of payment providers. Eventually, they converge to one or two big players in the space taking payments (so by then you have a future where you maintain a wallet with that provider and use that same wallet at every content site). Because credit card fees for micropayments are prohibitively expensive, these payment providers are unlikely to be your traditional existing credit card payment services (e.g. Stripe in its existing form, or Braintree, etc.). It does mean there'll likely be a middleman platform provider (like Brave is now, but in this case it works for any browser). This is where the cryptocurrency mechanism can come in IMO; if such provider decides that crypto is the way to go to exchange money for this system, then it would be.

---

Outside of technical/implementation discussion, there's the implication of wealth difference globally. For example, many people in the west/the US think oh, paying $0.01-0.05 to read an article is very acceptable -- both as an expense and to support journalism. In other developing countries, that price point is already prohibitively expensive as an amount of money to spend in their life. Do we then lock out information from majority of folks in poorer countries? Keep in mind this would be compared against the current ad-supported model where everyone in the world (regardless of level of wealth in their country in a global perspective) get those same information for free, as long as they have an internet connection.
The onus is on your side to show how this election was stolen. All of your rhetoric about the left hating trump is not evidence of any fraud. One could’ve said the same things about Hillary Clinton in 2016, who’s been reviled by the right for decades.
Proud Boys and QAnon were both out in force. What's the story on them?

What's the story on all the people wearing Nazi regalia? The people carrying guns and zip ties?
> He reserves his sharpest criticism in the book for a "scientific establishment"

One never comes without the other...
EShop Specialist | University of Michigan | Ann Arbor, MI

The EShop Specialist is an electronics technician within the Chemistry Department. The person in this position is responsible for both fixing old instruments (many of which are no longer manufactured), and building new ones. You will see a wide variety of project, and get to run a nice shop fully stocked with electronics parts, and some machining equipment including a Bridgeport mill. This position primarily works for the Chemistry department, but takes work from across the college enabling cutting edge research.

This is a posting for a sister-shop to my office in the college of Literature, Sciences and The Arts (LSA) at University of Michigan. I am a programmer in the college, and we previously worked closely with the person in this shop when they reached their limit programming microcontrollers like Teensy, Arudino or similar products to control equipment. I am not directly associated with hiring for this, but I desperately want it filled, and would be happy to answer any questions you have about my work with the previous person here.

Don't tell them I told you, but this position is vacant, needed, and you are not likely to have much competition to fill it, so they may be flexible on the requirements.

Apply directly at: https://careers.umich.edu/job_detail/193083/eshop_specialist
I must have misremembered. They were flagrantly violating some rule for months, and the million variants of the sub name were part of it. But you misremember too. T_D had not been "locked", unless you're talking about the quarantine in which case you make it sound like the same people that did it as moved to thedonald.win. Meanwhile r/ConsumeProduct and r/GenderCritical were huge losses, with no actual rule violations to cause them, aside from a few AHS brigades.
An extensive discussion on the early implementation of Python classes:
http://python-history.blogspot.com/2009/02/adding-support-fo...

Or here in this also quite interesting talk about "21 Years of Python" hhttps://www.youtube.com/watch?v=ugqu10JV7dk&t=49m50s
Better example. Of course, I think Perot could have had a shot if he hadn't dropped out to drop back in. He could have easily have gotten 2nd place or 1st place in more states than UT and ME if he was less impulsive.
> Emacs does not require constant tweaking and wasting time on configuration.

Unless you are using org-mode, in which case updating org-mode may cause issues that require reading up on the breaking changes that were introduced between org-mode versions.

(This is meant as a heads up for newcomers using org-mode, since it's pretty popular at this point.)
It was working, but not good enough, indeed.
Ah, yeah, I guess, But the story involved a man being found in an airport (probably in a zone of unclear immigration status) and being surrounded by police and FBI/CIA etc. So it makes one think of men with guns in American airports being unfriendly.
I hope that you are right, and despite my pessimistic demeanor, I do believe ultimately good and necessary change will happen. Perhaps we can learn from the negative along the way. Thank you for your positive responses.
It seems better optimised and well balanced - uses less resource and offers better performance and thus is perceptibly faster than Ubuntu.
11 months: https://www.irishtimes.com/news/offbeat/the-crate-escape-two...