There wasn't quite the sharp division of disciplines, either. Thinking about it that way comes from the public school system (which the author ought to know, because if I'm not mistaken, he mentioned that in a previous essay). Mathematics (which didn't warrant a mention as a bet that paid off in a blurb about the guy that invented calculus), metaphysics, and the natural sciences were all areas of study, but they weren't different bets: they were interrelated components of our understanding of the universe.

Well, PG presents them as different bets, one of which paid off. They were the same essential bet from Newton's perspective. For example, books on physics at the time referred to religion heavily, sometimes as a cornerstone of an argument. Even Newton's Philosophiae Naturalis Principia Mathematica says "Collocavit igitur Deus Planetas in diversas distantiis à Sole, ut quilibet pro gradu densitatis calore Solis majore vel minore fruatur."

Not a false dichotomy at all. Ignoring that the size of the team is exactly two (and there's only so much you can keep in your head), when you have a metric, you optimize for it. It's not even a conscious process.

Stock Scheme does not have much in the way of interfaces to the outside world (long story) but there are several Scheme variants where people are doing larger projects. Racket is sort of a Scheme variant, and it seems to be the most popular, but Chicken and Guile are also pretty popular (as far as Scheme variants go) for real-world use cases.

Yep, that's why I left it off the list.

I've actually written some LambdaNative. Unfortunately, we ended up going with Cordova, but you can guess which one was more fun to write.

Article URL: http://stanleylieber.com/2017/11/07/0/

Comments URL: https://news.ycombinator.com/item?id=15649499

Points: 382

# Comments: 256

Forth isn't super practical in such an environment; gForth in particular is a bit "large". (Not that this is bad, but it's of the second school the article mentions.) If you wanted, you could cobble together a Forth implementation that played nicely with pipes. I did this, it works fine, but it's not the type of environment that matches Forth very well.

Forth's design is to give you the machine and let you compute with it rather than to act as part of a pipeline.

The main advantage of tools like this are that you can use them to communicate. When I don't have the need to do that, I don't use them. I try to use tools that will remember this sort of thing on their own.

I keep notes on ideas in a personal wiki (AwkiAwki), and I open up the recent changes page to remember what I was taking notes about. For anything past the planning or brainstorming stages, I just use `ls -t|sed 10q` on my directory full of editor session dumps. I always keep a scratch/memo buffer open in acme so there will be some brief notes, an outline of the behavior I planned to implement, or (more often) I can gather what was going on from which files were open and where the cursor is in those files. For non-code projects, there will at least be some text, so there will be a session dump.

This applies if you're thinking of Twitter as a business or as a tool for mass-broadcast. If you think of something with a similar format but that fits a different space, that's the use for the Fediverse: it's more like USENET or BBSs or even 2008 Twitter than it is like 2022 Twitter.

Ha, indeed. It seems to be up for me, but that's why I put it on the demo subdomain and left off HTTPS: it's a demo, not quite ready for production.

(It's also getting flooded with vulnerability scanners at the moment, but that's not affecting the load, just the pipe.)

That'd be cool, but it just uses publicly available APIs for this. Most of the data like that isn't reported through the public APIs across various types of software. Bad data is tossed out (e.g., the you-think-your-fake-numbers-are-impressive.well-this-instance-contains-all-living-humans.lubar.me lists over 7 billion accounts) but data that is (as far as I know) accurate is presented as-is.

Believe it or not, the resource use is mostly bandwidth for that page. Something like 2MB of HTML; the actual data is mostly cached.

Looks like you are correct, yeah, and the raw logs show 7,410 of the 10,729 live instances have it. Lemme hack it in real quick; I can't put it onto the big pages and not sure how well adding another column to that table will work, but give me like five minutes.

Appears to work: http://demo.fedilist.com/instance?sort=mau

I loved that language. I actually forked it, used it for a lot of stuff, bloated it (started by just trying to port to x86-64, ended up with a mini-FORTH with regexes, FFI to C, etc.). I still use it every day, though mostly for doing math in hex.

Article URL: https://blog.freespeechextremist.com/blog/fse-vs-fbi.html

Comments URL: https://news.ycombinator.com/item?id=44220860

Points: 415

# Comments: 146

Ouch. Yeah, I’d be worried if it hit the 90s.

I have kind of a pile of SBC heatsinks, I probably would have cut a hole in the back to fit one if it didn’t come with something to cool it off. The CM-4 can barely get by without a heatsink, the A-06 really needs one. The RK1 (similar CPU, 3588 vs. the A-06’s 3399) has a heatsink with a built-in a fan and case fans and it idles at ambient room temperature, but that wouldn’t work on a machine like the DevTerm (bulky heatsink plus all the fans uses a little more juice).

The R-01 I’ve been running with no heatsink. 40 degrees, never gets past 50 when its single core is fully loaded. I’d be really excited about a beefier RISC-V one; it seems about time for a new CPU board, but the existing ones still do the job fine; I use the A-06 about as much as I use my desktop machine.

I seem to remember reading about upgraded components in later shipments.

Yeah, basically moves the heat to the sheet and also covers the vent slots in the back of the case up to the fan, so it makes a little duct instead of just shooting air in the general direction of the CPU and hoping for the best. I didn’t see pictures of it in anyone’s build (I spent an excessive amount of time looking at pictures before the DevTerm arrived; I was very excited) and it came with separate instructions so I figured that it wasn’t part of the first run.

I think cranked all the way down the A06 is probably friendlier with battery life than the CM4?

I think so, but you can turn off cores in the CM-4 by doing sudo sh -c 'echo 0 > /sys/devices/system/cpu/cpuN/online' (replacing N) for as many cores as you want to turn off, and setting the powersave governor. I kind of wonder why the gear system doesn’t just change governors around instead of setting max frequency; like you can set the CPU governors independently, and that caps all of them at the min frequency, and adjust. There’s a “conservative” governor that is like ondemand or schedutil but it has a delay when changing frequencies so there’s a ramp-up and ramp-down period, but I think (don’t quote me on this, haven’t checked, going from memory) that it’s not included for the CM-4.

like other folks I’ve read comments from here, I too have turned my A06 Devterm into a CM4 device

I have the opposite experience: the CM4 is sluggish and I almost only ever use my A06 (really nice performance) or R01 (runs 6-8 hours and “not fast enough for a browser besides w3m/lynx” turns out to be a benefit). I have the CM4 in my uConsole and it’s fine but the A06 is speedy and works fine for me. (I even sprang for the 8GB CM4.) I ended up putting the CM4 into a module and slotting it into the TPi to use as a NAS.

it generally ran too hot to use them all

I think the big piece of copper and thermal paste came with later orders, or at least mine came with one; mine gets hot when it’s cranked all the way up but I rebuilt everything on-device except qt webengine (because it required more RAM to link than I could muster even after plugging in extra USB drives to use as swap). All the cores maxed out, it got up to 71C, kinda hot but still fine.

It’s possible I never got my scheduler and gear-shifting settings just right

I think what was helpful for me was I keep conky on the side (ratpoison with set padding 280 0 0 0, but I set it to toggle so I can hide conky if I want the rest of the screen), so I can see what’s going on and shift appropriately. I usually keep it cranked all the way down (-s 1 or -s 2) and turn it up when I am compiling something or if I attempt to use Firefox or mplayer or something starts to eat a lot of CPU. It’s on -s 1 right now, so just the ambient X/conky/ssh/drawterm stuff eats 13%, but it still lasts a long time. I tried to attach my .conkyrc but it’s not an allowed file type so here’s a screenshot and a gist The .conkyrc I am using on my DevTerm. · GitHub . Anyway, long way of saying it’s easier to figure out when you need to crank the gears up or down when you have a CPU monitor running.

As far as performance, I did some test compiles, the performance cores are about twice as fast at the same clock rate.

Maybe it’s a real photo of a large stack of empty boxes. Anyone can print a label on a box.

How should this be understood?

They’re scalpers. This happens with any product that has a supply bottleneck.

Where do these sellers get whole cabinets with finished products?

Same place everyone else does, if they even have them. Sometimes they just have boxes, sometimes they have photos from Twitter or Weibo or whatever.

Every time I bump the keyboard and it gets disconnected and I have to pop the front off to do the plug/unplug dance, I play a little more with getting my custom firmware onto the keyboard. (I use acme so I need a proper middle-mouse button, so I am using v0.1, but I want some of the bug fixes from newer version, like yatli’s fix: Keyboard stuck in Bootloader mode - #2 by yatli . Also there are some things I want to play with, hacking the keyboard firmware is fun!)

So I have gotten the Arduino SDK installed, I have gotten my changes in, I think it should work, I know how to get .bin files loaded (I use the programmer from the repo rather than trying to get the Arduino SDK to do it; it would be nice not to have to use the Arduino SDK), and now I’m stuck at the last piece:

In file included from /tmp/arduino_build_81750/sketch/devterm.h:5:0,
Alternatives for USBHID_Types.h:
ResolveLibrary(USBHID_Types.h)
from /tmp/arduino_build_81750/sketch/keyboard.h:9, → candidates:

             from DevTerm/Code/devterm_keyboard/devterm_keyboard.ino:1:

state.h:1:26: fatal error: USBHID_Types.h: No such file or directory
#include
^
compilation terminated.
exit status 1
USBHID_Types.h: No such file or directory

I think this is probably a missing library, something I didn’t click, something I wasn’t supposed to click but did, something I didn’t install; I do not know, though.

I’ve got the settings correct, I believe, or at least what I have matches the wiki ( Compile keyboard bootloader and firmware · clockworkpi/DevTerm Wiki · GitHub ):

I’m sure I’m doing something trivially wrong (or at least I hope the solution is simple and I have zero confidence that I understand what is going on and I really wish I was dealing with a Makefile).