HNHacker News
TopNewBestAskShowJobs

tailrecursion

346 karma · joined April 3, 2009

submissionscomments
tailrecursion··on The Future of TLA+ [pdf]
> "specification of system behavior" sounds like a programming language to me. A systems programming language, even.

Lamport has directly and repeatedly addressed the differences between what's desirable in a specification language versus what's desirable in a programming language. Understanding the difference is vital to writing specifications.

tailrecursion··on BMW Overtakes Tesla in European EV Sales for First Time
This appears to be downvoted, but why? I'd like to see the counterargument that we need to put each executive, author, director, or artist through a purity test before we can appreciate or purchase their work. How about listing a few pure American car CEOs.

Consumers are free to make choices based on anything they want: but whining in public about how some tweets affect your opinion on a car is not the same thing as privately making choices. This subject was opened for discussion and it remains open.

tailrecursion··on Jacek Karpińśki, the computer genius the communists couldn't stand (2017)
> The K-202 could conduct a million operations per second – many more than the PCs that became popular a decade later.

That the K-202 was faster than the personal computers that came later is not unusual, because those later computers were based on microprocessors. Early microprocessors such as the 8008 and 8080 were not speed demons compared to LSI TTL designs of that time. The article mentions the [Data General] Super Nova as being similar in speed to the K-202.

Another interesting computer is the Datapoint 2200, another TTL design. The manufacturer went to Intel and TI to realize their CPU design on a single chip, which resulted in the 8008, a microprocessor with an almost identical instruction set and which ran slower than the original 2200.

tailrecursion··on The Forth Deck mini: a portable Forth computer with a discrete CPU
The CPU for this computer is microcoded and is made out of a small number of discrete logic chips, plus an EEPROM. The data and address bus are 8 bits wide but the NOR unit operates on one bit only. The microcode has to loop in order to perform an 8 bit add.

I was looking for a hardware shifter in the diagram, because I figured it'd be necessary to access bits D1-D7. But there is none. He uses a lookup table in EEPROM to do the shift.

If you're interested in nice CPU designs, here's another one: the Novix NC4000 (also RTX2000), in which the bits in the instructions lead directly to control various muxes and units inside the chip. There's almost no decoding.

tailrecursion··on Ask HN: Should I try to manufacture toasters?
You appear to have your heart set on toasters, and that's fine. A coffee roaster for the prosumer, however, strikes me as a more interesting product to make. I think there's still an opportunity to make a better or at least different product, and the area has been heating up recently. It's a lot like a toaster, if you think about it. And there's more opportunity for software and hardware integration ("roast profiling").

I also have a question: if a product is sold as a kit where the buyer performs the "final assembly", does that alleviate any of the burden with UL testing, FCC, or product liability?

tailrecursion··on Ask HN: Should I try to manufacture toasters?
I agree, and this is just a by-the-way comment about Smeg. I always assumed Smeg was a bargain-basement brand because of its espresso machines, which appear to be rebadged Delonghi devices. There's one model that looks like a clone of the Dedica for example.

As another commenter pointed out, coffee-makers are one area where people are willing to pay thousands, e.g. espresso machines made in Italy or Germany that are robust and largely authentic.*

*Even though many follow virtually the same design and are made from near-commodity parts.

tailrecursion··on Auditing Elon Musk's Impact on Hate Speech and Bots
4chan is world famous for hoaxing the left by cooperating with their need to find white supremacy everywhere. The black square, the OK sign, pepe, and many other symbols and memes are examples where 4chan inserted the assertion that XYZ is associated with <the bad people> into the left's hive mind.

The intent is to ridicule the left by having dupes get up in front of everyone and claim that a frog is a <the bad people> hate symbol, or that posting a square of black pixels demonstrates solidarity with anti-racism.

OR, that's what they want us to think, and the truth is that systematic countless postings of a frog is the precursor to <the bad people> world domination.

tailrecursion··on A Reply to Josef Průša
It used to be said that piracy actually helped the copyright holder, by exposing more people to the work who sometimes might buy a copy.

It's also curious for an open source advocate to complain about knock-off brands such as Ender and Behringer, when open source is lousy with projects that are knock offs -- sorry "open source versions" -- of commercial products.

tailrecursion··on Why are developers expected to estimate tasks at all?
The people who work for you, are their estimates accurate? What fraction of their time is spent on them? What have you as a manager done to improve the accuracy of the estimates?
tailrecursion··on Why are developers expected to estimate tasks at all?
Exactly. Many commenters are making up rules for software engineering and think the rules ought to apply universally.
tailrecursion··on Why are developers expected to estimate tasks at all?
Software is a vast field and we do different kinds of work. Some work is easier to estimate than others.

Estimating TTC for "make a reputation system for a social network" is probably going to be harder than the same for a typical Oracle app. Mostly because the former involves some science and engineering and not just programming. But that's the point I'm trying to make: SWEs are asked all the time to solve hard problems, not just code from a detailed spec.

At various times I've been asked to design a CPU, write a C compiler, invent technology to extract simple factoids from text, and make a spellcorrector for web search. Incidentally, the approach to schedules was sometimes reasonable and sometimes unreasonable. Smaller companies tended to be less reasonable.

Such tasks are very different from UI heavy work or a typical database application, and are more difficult to estimate. Those persons writing compilers or improving web search indexing are not the same people talking about user stories. If you believe developers need to be professional and schedule their work, you're in the majority but you may not be doing truly interesting work.

[Edited to say "Software" at the beginning instead of "Software Engineering".]

tailrecursion··on Forth: The programming language that writes itself
In the case of fine grained parallelism, where named registers allow parallelism that a rigid stack evaluation doesn't -- one can decode the stack instructions using a counter, the stack pointer, assign register numbers off the counter, and generate register-based micro-instructions that can be executed out of order or in parallel in the usual fashion. In this scheme the stack is stored in the register file, and the execution unit (or register-fetch phase if you prefer) has random access to registers.
tailrecursion··on What the hell is Forth? (2019)
I don't think the article mentions metacompilation, which is a further cute and mind-bending feature Forth is known for.

Metacompilation re-uses the live, running interpreter/compiler to compile a new system image of itself, from source code.

tailrecursion··on The Way Things Work CD-ROM (1994)
Some other Macaulay books are: Cathedral, City, and Pyramid.
tailrecursion··on Introduction to the Theory of Programming Languages (1991)
What gave me the most perspective on programming language design was reading Leslie Lamport's papers on TLA+. His views on the necessary differences between a P.L. and a specification language gave me a clearer idea what programming languages really are. If I recall, Lamport has several papers on TLA+ for mere mortals that are very easy to read.
tailrecursion··on Backsliding on free expression around the world needs to end
But, it is correct to say that being banned from social media severely restricts one's ability to participate. In addition, banning has a significant effect on anyone aware of the ban.

It's important to learn from the mistakes of ____(some worse country), so that we don't continue in the direction of ____.

tailrecursion··on Backsliding on free expression around the world needs to end
It's telling to see this comment suppressed with not even a hint as to why. Feminism has changed drastically over the years. The gay movement has been taken over by toxic individuals. Occupy Wall St was taken over. Antifa shootings, BLM riots, lockdowns, get vaccinated or lose your job, and the redefinition of words, all occurred recently. Biden's rhetoric re Trump voters, 80+ million people, is very interesting. We're going to suppress it all with no discussion.
tailrecursion··on School demands search of text messaging, outside of school
I agree that accounts on Discord, Instagram, Whatsapp are effectively anonymous and students are not likely to stop using them. As you indicate, the police could follow the required phone number but not the school.

Yes, your scenario is one I hadn't considered. I don't know what a good resolution is there; I would suggest that DEF is not necessarily the bad guy. Maybe. But not necessarily. This one is also difficult to punt to the police since there's no clear harassment, yet ABC's torment is increasing. It's sad but I think it's often better for the child to solve the problem himself.

tailrecursion··on School demands search of text messaging, outside of school
I'm not a Discord user but if it's not possible for a user to block all incoming anonymous messages, Discord use would be disallowed by the school. The simple idea I've given doesn't work if kids can receive messages that aren't immediately traceable.

Schoolchildren would have to stop using any service that doesn't have a block-anonymous setting, or, accept that the school will ignore any complaints about anonymous messages. I think the biggest problem with the whole thing is that the kids won't stop using the services they want to use.

Apple could theoretically make a system setting to block unidentifiable messages (not phone calls) specifically to protect kids, in all apps on that phone.

When you speak of erasing the concern, do you mean the concern about bullying or the concern about going into children's phones and looking at text messages?

tailrecursion··on School demands search of text messaging, outside of school
The child's phone can be set up one way or another.

In this hypothetical scheme (described above), a child complaining about anonymous abusive messages is ignored by the school. School's not responsible, because the child's phone is set up improperly. If phone were in order, phone would not receive anonymous messages.

A child receiving a traceable abusive message is quickly resolved, and presumably this kind of abuse is rare, for obvious reasons.

Everyone is happy. The school's happy because, under this scheme, they have virtually no work to do in connection with online harassment. The police are happy because fewer harassment cases are being opened (this is true only if most kids set their phone as instructed by the school). Kids are slightly less miserable because online bullying has been made more difficult to pull off.

Finally, sticklers like the parent are happy because they can continue to set up their phone "wrong" and receive anonymous abuse. Which the school won't look into and will presumably pass off to the police.

tailrecursion··on School demands search of text messaging, outside of school
If it could be done technically, setting a child's phone to receive only messages that include a valid ID would discourage abuse by making abuse traceable. The school would insist that all children's phones are set up this way so that there's no stigma attached to a particular child not receiving SMS or whatever.

But it's simpler to let the police handle the problem and determine whether it's harassment, or if it's a case of crybullying.

A school's not going to be able to stop bullying. But with message tracking devices in everyone's hand and cameras everywhere, the SCHOOL's problems are solvable without having to go into childrens' phones.

tailrecursion··on 2022 Oder Environmental Disaster
"Poland is one of the most beautiful countries in the world, and yet it's being sacrificed to satisfy the greed of a few corporations."

Is that what's happened here?

tailrecursion··on Elon’s Out
I'd like to learn how to read billionaires' minds. Anyone know a good book I can read so that I can have the skills of this opinion writer?
tailrecursion··on Robertson vs. Torx screw drives (2021)
One advantage of Torx head bolts over hex bolts, is that the same torque head can be smaller in Torx. This is desirable for cars where a smaller bolt and driver (e-torx socket in this case) make access possible. So they can jam even more doohickeys into the engine bay.
tailrecursion··on New type of ultraviolet light makes indoor air as safe as outdoors
If the UV light kills 98% of microbes, what happens with the remaining 2% UV-resistant microbes, are they now the fittest?
tailrecursion··on DuckDuckGo “down-rank sites associated with Russian disinformation”
Perhaps DDG could tell us what their sources of information are, that they are able to discern what is disinformation.
tailrecursion··on More than 1M fewer students are in college, the lowest numbers in 50 years
Interesting idea, and maybe we already have a step toward remote piloting in the form of Youtube videos that explain how to do various tasks: plumbing, home improvement, auto repair, hvac, and so on.
tailrecursion··on Southwest new CEO denies walk-off rumors, defends pilots amid schedule meltdown
The message of "violence is good" also aligns with the robotic use of "mostly peaceful" throughout the media and the strange empathy TV people had for Antifa. Your interpretation is an accurate read of the sympathy the news has for BLM and others.

A person can argue that World War II was mostly peaceful. At any point of geography, it's quite rare that artillery shells are falling or tanks rolling through. Usually it's a quiet garden spot.

The fact is, the BLM protests were mostly peaceful. They were almost entirely peaceful. But that's not how we expect the news to cover any event that includes rioting or looting. We expect the news to lock on to the most sensational parts, however insignificant, and talk endlessly about how terrible this is and how BLM organizers should feel some responsibility for this. That's what the news would've done in any other circumstance. That's what it would have done for BLM in decades past. That's what it would have done if BLM had endorsed Trump. But because of the weird and universal sympathy news producers have for BLM, the protests were covered differently.

tailrecursion··on Deaf Man Who Couldn't Hear Police Commands Was Tased and Spent 4 Months in Jail
Looks like I either failed to get my point across, or hit too close to home. Many who get angry at this story also enjoy seeing penalties (such as mandates and passports) for the unvaccinated. These penalties will create more pathos, whether you empathize or not.

Maybe people think talking about unvaccinated people here is irrelevant or inflammatory or something like that; I don't know what exactly ties these stories together in my mind, but I suggest that maybe it's technophilia, that there are people who love to throw technology at every problem. Or, perhaps the hate comes from the sense of certainty some people have in their information sources, and they can't empathize with anyone who may be suffering from false or ideological info sources. Instead such people must be stupid and trolls.

If it is a lack of empathy -- I think it's more likely a lack of sophistication -- I can see this same mode of hatred and blame we are seeing now, being directed at criminals back when those draconian laws were being drafted that put the deaf man in jail.

tailrecursion··on Ruby removed “Participants will be tolerant of opposing views” from its CoC
You're assuming good intentions on the part of the authors, but the impact is people will take away that harassment of those outside a protected class is OK. The intentions don't really matter here :-)
← PreviousPage 2 of 5Next →