HN user

bshanks

4,179 karma

see http://bayleshanks.com

Posts176
Comments254
View on HN
www.fastly.com 28d ago

Using the Gini Coefficient to Plan Edge Capacity

bshanks
10pts0
python-history.blogspot.com 2y ago

Why Python's integer division floors (2010)

bshanks
103pts98
herbgrind.ucsd.edu 2y ago

Herbgrind analyzes binaries to find inaccurate floating point expressions

bshanks
70pts13
axisofeval.blogspot.com 2y ago

Common Lisp's block / return-from and unwind-protect

bshanks
126pts61
garrit.xyz 2y ago

Organizing multiple Git identities

bshanks
263pts89
msrc.microsoft.com 2y ago

What’s the Smallest Variety of CHERI? (2022)

bshanks
46pts11
blog.danieljanus.pl 2y ago

My Mental Model of Transducers

bshanks
26pts2
buttondown.email 2y ago

GitHub has too many hidden features

bshanks
3pts0
hirrolot.github.io 2y ago

Compiler Development: Rust or OCaml?

bshanks
154pts101
redpanda.com 3y ago

Redpanda’s official Jepsen What we fixed, and what we shouldn’t

bshanks
2pts0
programmingisterrible.com 3y ago

Repeat yourself, do more than one thing, and rewrite everything (2018)

bshanks
255pts116
gardensofkadesh.github.io 3y ago

Homeworld 1 in Browser

bshanks
10pts1
srfi.schemers.org 3y ago

SRFI 226: Control Features

bshanks
25pts6
gist.github.com 3y ago

ChatGPT passes the 2022 AP Computer Science A free response section

bshanks
420pts454
blog.freeradical.zone 3y ago

(Mastodon) Surviving and thriving through the 2022-11-05 meltdown

bshanks
46pts20
en.wikipedia.org 3y ago

Burrows–Wheeler Transform

bshanks
162pts56
msrc-blog.microsoft.com 3y ago

What’s the Smallest Variety of CHERI? (2022)

bshanks
2pts0
flownet.com 3y ago

Explorations in the Untyped Lambda Calculus

bshanks
8pts0
arxiv.org 3y ago

Impossibility Theorems in AI Value Alignment (against utility functions)

bshanks
3pts0
journal.stuffwithstuff.com 3y ago

Baby’s First Garbage Collector (2013)

bshanks
146pts30
itsallaboutthebit.com 4y ago

Arc and Mutex in Rust

bshanks
119pts62
www.technicalsourcery.net 4y ago

On Endianness (2021)

bshanks
59pts53
concise-encoding.org 4y ago

Concise Encoding: A secure data format for a modern world

bshanks
76pts42
thatgeoguy.ca 4y ago

Book review: The Little Typer (2021)

bshanks
109pts23
panthema.net 4y ago

The Sound of Sorting (2013)

bshanks
20pts1
jeang3nie.codeberg.page 4y ago

The case for a modern language

bshanks
206pts196
mchow.com 4y ago

What would it take to recreate dplyr in Python? (2020)

bshanks
64pts59
justine.lol 4y ago

Lisp with GC in 436 Bytes

bshanks
51pts3
arxiv.org 4y ago

Consumers and curators: browsing and voting patterns on Reddit (2017)

bshanks
47pts5
www.congress.gov 5y ago

Access Act of 2021

bshanks
1pts0

The main issue here is not UX, but rather that you did something which degraded quality without transparency. You should have documented this and also highlighted the change in an announcement. There should never be an undocumented change that reduces quality. There should never be something the user can do (or fail to do) that reduces quality without that being documented. To regain trust, Anthropic should make an announcement committing to documenting/announcing any future intentional quality-reducing changes.

In addition, the following is less important, but as other commenters have stated: walking away from a conversation and coming back to it more than an hour later is very common and it would be nice if there were a way for the user to opt to retain maximum quality (e.g. no dropped thinking) in this case. In the longer term, it would be nice if there were a way for the user to wait a few minutes for a stale session to resume, in exchange for not having a large amount of quota drained (ie have a 'slow mode' invoked upon session resumption that consumes less quota).

Note that inventory already in Amazon fulfillment centers as of March 31, 2026 is still commingled

"Also what happens after March 31st with the leftover commingled inventory that’s already there?

No action is required for stickerless inventory currently in-transit to or stored in our fulfillment centers. These products will continue to sell under their original SKUs.

However for a reseller, after March 31, 2026, all new inventory must use Amazon barcodes. Please review the FBA Barcode Choice and Labeling FAQ for additional information." -- https://sellercentral.amazon.com/seller-forums/discussions/t...

Uxn 2 years ago

One of the authors talks about using C with SDL or libdraw here: https://news.ycombinator.com/item?id=31715080

Since they were on a boat with a Raspberry Pi and not much battery power or internet, in addition to execution speed and portability, they were probably also concerned with:

- speed of compilation and linking (on small machines like Raspberry Pi)

- binary size of anything that might have to be updated or shared over the internet

- having to troubleshooting emergent issues without the ability to lookup documentation or download updates or tools from the internet

In this situation, a simpler language on a simpler VM is probably going to be faster to develop with than compiling/linking a subset of C, and after the initial implementation of the VM, might present less opportunity for an unintended interaction of leaky abstractions in your libuxn and your toolchain to ruin your day on a day when you don't have internet connectivity to check Stackoverflow or to update some buggy dependency.

The first thing to do is to put LLMs to work to generate large knowledge bases of commonsense knowledge in symbolic machine-readable formats that Cyc-like projects can consume.

I don't understand why an Income Sharing Agreement would be classified as loans. They seem more like equity than debt; the amount that students would pay depends on their future income, and can be arbitrarily small or large (right? or maybe I am misunderstanding the terms of these agreements).

I had thought that debt is when you have to pay back at least the "principal" no matter what, and equity is when the financier shares the risk of you failing. Maybe that's not correct, though?

Does the definition of a "loan" include any sort of financing, even if the amount that needs to be "paid back" to the "lender" can be arbitrarily small or large? That would make equity financing a special case of debt.

This thesis provides empirical support that a specific measure of software architectural complexity is costly. Specifically, they look thru source code in an automated manner, construct the graph whose nodes are source code files and whose edges are the following cross-file relationships (page 73, section 5.1.2.1):

- The site of function calls to the site of the function's definition

- The site of class method calls to the site of that class method's definition

- The site of a class method definition to the site of the class definition

- The site of a subclass definition to the site of its parent class' definition

- The site at which a variable with a complex user-defined type is instantiated or accessed to the site where that type is defined. (User-defined types include structure, union, enum, and class.)

Then they compute the transitive closure of this graph.

Then they compute two metrics for each node by looking at the transitive closure graph (page 76, section 5.1.2.3):

- Visibility Fan In (VFI): how many other nodes have edges that go from the other node to this node?

- Visibility Fan Out (VFO): how many other nodes have edges that go from this node to the other node?

They observe that by looking at the VFI metric across various files, files tend to sharply cluster into either 'low VFI' or 'high VFI', and similarly for VFO (although some files may be high in one metric and low in the other) (page 79, section 5.1.3).

They then classify each file as:

- low VFI, low VFO: 'peripheral'

- high VFI, low VFO: 'utility'

- low VFI, high VFO: 'control'

- high VFI, high VFO: 'core'

They then find that 'core' files are the most costly, in terms of defect density, developer productivity, and probability of staff turnover.

macOS Command Line 4 years ago

The university system is a mechanism to fund public goods. The problem is the professors are judged according to their production of novel knowledge, and maintaining useful software does not produce novel knowledge. We should endow chairs of "open-source professors", who are judged according to their production/maintenance of useful software, in order to re-use the infrastructure of the university system to fund this other type of public good.

The Connection Machine by Daniel Hillis

https://archive.org/details/connectionmachin00hill

Describes the motivations for and design of a massively parallel computer with many (millions? 64k?) of very simple processing nodes that serve as both memory and CPU. Shows how you can have "active data structures" where each item of data is in a different CPU (or clusters of nearby CPUs) and literally migrates between CPUs as computation proceeds. I think it gives an example of the parallel bitonic sort algorithm being executed in this way. A relatively thin book and relatively easy to read for a programmer.

You can also read Hillis's thesis:

https://dspace.mit.edu/bitstream/handle/1721.1/14719/1852428...

You could probably make everyone happy just by copying that text to the top of the landing page, as an additional paragraph just above where the "Current progress" button is, right after "..ensure clean and correct multi-threaded designs."

This paper might be of interest: David Harel, Guy Katz, Rami Marelly, Assaf Marron. Wise Computing: Towards Endowing System Development with True Wisdom https://arxiv.org/abs/1501.05924

It describes an idea called "wise computing" or "behavioral programming" which i'm not sure that i fully understand, but it sounds like the idea is to allow IDEs to help more, via additional formal reasoning about code in the manner of an expert system AI.

Has there been any progress in software to allow individual unaffiliated volunteers to help make decentralized third-party backups of the Internet Archive's WWW Wayback machine data?

My opinion is that it may be difficult to find enough volunteer storage to fit the entire Archive, but if we focus on prioritizing plaintext HTML, plus perhaps graphics included in web pages constrained to a size limit, we can do it.

With LE, you could either:

- list memory right-to-left so the lowest memory address is on the right and the highest is on the left (i guess i prefer this solution because it's compatible with the convention of the least-significant-bit being the rightmost bit, which is enshrined in the name of "right shift", and with the convention of the least-significant-bit being bit 0, which makes sense in formulas like "value = sum_digitindex digit[digitindex]*radix^digitindex")

or you could

- write hexadecimal values with the most-significant-digit on the right, so the byte 2 followed by the byte 10 (in decimal notation) would be written 20 A0 instead of 02 0A.

I don't know if popular hex dump programs have switches for either of those, though?

I like the 0y format idea.

Your point about bit shifts is good, too. If the rightmost bit is the least-significant bit, then for consistency perhaps memory should be written with the lowest memory address on the right. Then 0xDEADBEEF makes sense both in terms of bytes within the value and bits within the byte; the first 4 bits within the lowest byte in memory are F, then next 4 bits within the lowest byte are E, the first four bytes within the second-to-lowest byte are E, the next 4 bits within the second-to-lowest byte are B, etc. So if 0xDEADBEEF were stored in little-endian, a hex editor could display DE AD BE EF

Good point. Do any popular hex editors have options to display hex values with the most-significant digit on the right? Or, alternately, to display memory right-to-left so that the lowest memory addresses are on the right side and the highest on the left?

I think 1-on-1 tutoring is great and I agree that there should be more of it. But whether "genius" has declined seems unclear to me. In my life I've personally met a handful of astoundingly smart intellectuals who work across multiple disciplines -- I imagine these people are probably as smart as the geniuses of history. And I think there are still intellectuals and artists who impact the world at large in a big way. Imo what has changed is only that for some reason these people aren't canonized as "geniuses".

I suspect that, like "top college", people are only considered a "genius" if everyone (or at least "every notable intellectual") knows about them, and there is only room in people's memories for several such people; but over time, the number of really smart people doing revolutionary work at any given time has grown from a handful to many thousands. As the ratio of "available genius spots" to "people who should be considered geniuses" has shrunk from near 1.0 in the distant past to a tiny fraction today, culture responded by giving up on canonizing geniuses.

So i guess some of the reasons are:

1. Inability for the buyer to assess quality:

  1.1 Lack of buyers' expertise (tfa goes into this a lot)

  1.2 Long timescale to assess quality:
that is, a lot of types of 'poor quality' aren't apparent until long after the sale; so even if you polled every buyer once a week, if sales were growing, the unhappy poll results due to poor quality would be overshadowed by the happy poll results from new buyers
  1.3 Dishonest reviews:
even if buyers are able to assess quality after the fact, it's hard for old buyers to communicate this to potential buyers due to honest reviews being buried in dishonest reviews

2. Peter principal (experts are promoted, so at any one time most of the people doing a job haven't achieved mastery):

This is especially a problem for services, where someone who has achieved mastery at providing the service can make more money by becoming a manager. For example, in business consulting or in construction, often there is a person with a lot of experience at the top but the people actually doing the work don't have a lot of experience.

3. Market won't pay for quality:

Even if buyers can tell that one product/service is of higher quality than another, often they would choose the cheaper one over the high quality one, either because the product/service at issue just isn't that important to them relative to the money they could save, or because they have a hard budgetary constraint and they are forced to compromise somewhere.

4. Cultural factors: Some people report that, for example, quality in the U.S. seems to tend to be worse than quality in Germany or Japan. If this is real, i don't know what it is specifically about US/German/Japanese culture (or workplace culture/structure) that causes this.

Here's a preprint by some of the same authors as the main article. Figure 5 compares to influenza:

https://www.researchsquare.com/article/rs-1062160/v1 Long Covid after Breakthrough COVID-19: the post-acute sequelae of breakthrough COVID-19 by Ziyad Al-Aly, Benjamin Bowe, Yan Xie

Figure 5 is "Risk and 6-month excess burden of post-acute sequelae by organ system in people who were hospitalized during the acute phase of breakthrough COVID-19 compared to those hospitalized with seasonal influenza "

i don't know as much about this as you, but it seems to me that the attack you describe in the blog post would also require a successful eclipse attack?

My understanding is that the attack you describe involves a cabal of "evil" validators signing some alternate chain (call it the "fake" chain) long after their stake is withdrawn, creating a fork in the distant past. Before they did this, they pretended to be good validators, which meant they signed the "real" chain's blocks and then signed the withdraw transaction. So after the attack, there are two conflicting sets of signatures signed using the evil cabal's private keys; those on the fake chain, and those on the real chain. So anyone in possession of both of these sets of signatures can conclude that the validators in the cabal are "evil", and then they can see that once the cabal's support is removed from consideration, the real chain had more valid validator support (at the time of the fork, in the distant past). If this line of reasoning is correct, that suggests that anyone who is aware of both sets of signatures can identify the real chain?