skysight-inc/HackerNews huggingface dataset:
You're right I don't know what other people experience... it is a mystery to me why some many adults don't seem to do much. If I ask them they'll say they just don't want to- but why don't they want to? Apparently doing the same stuff is much harder for me, having ADHD, yet I do it and they don't- and I don't understand why they don't. That said, I know people that are as motivated and skilled as I am but don't have ADHD, and they are more successful than me- although in that case I am comparing myself to really a minuscule group of people. And almost none of them have kids or hobbies.

I have been very successful in my career, and it sound like you have also, but with an enormous amount of effort relative to the outcome. I have spent months stressed about getting work done and getting no work done. I had entire terms in undergrad where I did zero homework, and was nearly kicked out. It wasn't that I was slacking off, I was under enormous stress trying to do the thing, and not doing it.

I agree the label of ADHD isn't perfect, and groups a lot of potentially different things together- but it is the best we have been able to do so far, and it works. By grouping people together by a criteria we can develop treatments that apply to that group, study them, and use the ones that work best. Hopefully it will continue to evolve and improve.

As far as the school system- it was a living nightmare for me, and apparently for most people with ADHD, but I don't think most people feel that way. Most adults I talk to loved school, attend high school reunions, etc. There is no societal consensus that it sucks and needs to be fixed, no energy for the coordination that would be required. This might be another place where the ADHD label is useful - if we can prove that it sucks for people with ADHD, they will have pressure to fix it, or else be refusing to make it accessible for a disabled group.

You need to look at political and social realities to see where you can actually make things better for people with your effort, not how it should be ideally.
There are other deterrents possible than this author’s vendetta has

Maybe civil charge to pay back the public funding, in the case of there being public funding. Turning researchers into debt serfs may reach better compliance and sustain access to their cognitive abilities on behalf of the public, as opposed to prison
If this becomes the status quo, can we agree that it’s a reliable source of inflation?
Fair. Probably this phenomenon is more limited to Vipassana specifically than I was guessing.

I take the point about the Theravadan rhetorical move here but I still feel like at the very least the original texts deserve to not be written _out_ of the definition of a word if they can be reasonably interpreted to mean something different from what’s practiced in schools working from later turnings and teachings.

That leaves room for determining what is a reasonable interpretation though, and I am extremely far from any kind of authority on that.
Hong Kong's Octopus card uses the FeliCa standard, not MIFARE.
Timber is still the original and main purpoes of state forests in Oregon and Washington.

The article is discussing federal forests. The timberlands in Oregon are owned by private, federal and state entities.

Forests managed for for timber by the state are protected differently, like, first to get sprinkler lines in a wildfire. They are a crop which is invested in and harvested. Federal forests are easier to log after a burn anyway, and you can log outside the burn with that cover. The United States Forest Service (USFS) is actually, basically, a road building and logging company, but owls and so on really got in the way for a couple decades. We're figuring out how to keep logging. We're capitalists.

The only state forests with old growth are going to be the "experimental" state forests in the Cascades and the Olympic and Coast ranges. Otherwise we woulda logged 'em. I mean there are old growth pine trees and juniper in Oregon and Washington east of the Cascades, a few, but those aren't timberlands.

https://oregonforests.org/forest-ownership-map
I think the startuppy way might be a little worse, in terms of how it can set up more craving and comparison with others, particularly if you're convinced you need to experience the full Visuddhimagga jhanas to get the really real insight practice going, and others are ahead of you somehow.

I've experienced both the Sutta jhanas (in a TWIM retreat) and the VM jhanas (spontaneously after a lot of practice). They're wonderful and the VM jhanas in particular really boost sensory clarity and concentration which is certainly helpful for insight practice, but a sustained practice or rather, sustained intention to practice well have been more helpful to me over the years.
Any plans to support encryption at rest?
VS Code is what everyone develops for. For example when using Rust, VS Code will link to documentation in the hover popup. But nvim cannot do that. Just one small example.
It's an issue of correlating semantics with preconceived value-judgements (i.e. the is-ought problem). While this may affect language as a whole, there are (often abstract and controversial) terms/ideas that are more likely to acquire or have already acquired inconsistent presumptions and interpretations than others. The questionable need for weighting certain responses as well as the odd and uncanny results that follow should be proof enough that what is expected of a human being to "just get" by other members of "society" (an event I'm unconvinced happens as often as desired or claimed) is unfalsifiable or meaningless to a generative model.
It may not be useful to you, but it seems a bit too much to then jump to the conclusion it must be useless for everyone.

I forget names all the time. I even forget I wrote entire projects sometimes. That's why I try to organise my systems in a way I can easily stumble upon things I haven't thought about in months, or years.

I find this article's approach actually solves a problem for me. I do find myself going back to the ~/bin folder once I a while to look for some script I use less often. So at least for N=2, it's a cool hack.
There are a series of overlooked axioms in that train of thought, in that:

- All people involved are capable of learning skills outside of their knowledge domain as quickly as those inside those domains (People interchangeability)

- All people involved won't have ideological splits for the direction of the company

- That everyone involved wants to partake in the risks of ownership (market uncertainties/shifts, illiquid buyout scenarios, dealing with ownership transfer headaches, new incoming co-owners, ownership dilution, etc.)

- That there is time outside of their work to manage the overhead of this co-op

- That the talent required to ease their workloads is receptive to the co-op concept, or cheap enough to hire (not likely) in cases where they just want a stable income (see point 3)

- That the decision overhead from the co-op is lower than the standard corporate structure (possible, & likely the easiest axiom to fulfill out of the list, if the time of the co-owners is cheaper)

The author of the post responded to a similar question made earlier: Certain mental, financial, & cultural logistics are just not there/available given the time-frame involved. The co-op ideal is wonderful, but it requires a series of fulfillments that not everyone is as receptive towards.

https://news.ycombinator.com/item?id=40766367
Long ago, I was taking the sophomore level data structures and algorithms class. It was being transitioned from C to C++ and being taught by Professor DeWitt. I have vague memories of linked lists and then binary trees. ... And then we got to the spot where the syllabus from previous years had AVL trees and red black trees... and he scoffed at teaching it.

And that I do remember. I suspect he had been doing lecture planning over the weekend (this was in the "we're redoing the class, teach it as it needs to be taught" type mandate) and he had us skip that section of the text. The fist lecture he was going off of overhead transparencies that he was writing as he lectured. The second lecture he gave us photocopies of hand written notes and diagrams.

Instead of AVL and red black trees, we instead learned about 2-3 trees and B trees.

For what it's worth, I still know how to do 2-3 trees from scratch.

Later I looked at AVL trees... and they still give me a headache.
Yeah, imagine digging up red clay, throwing it in a charcoal furnace, and then hammering it for a while. You can tell you're getting wrought iron, but would you know from one batch to the next whether it's good?
Dorkly: Open-source Git-based feature flags
Yup. Most of my vim aliases begin with ,
Yup and also it has complete features for LSP.

Nvim doesn't support all LSP features such as anchor links in hover documentation. Looking at you rust analyzer LSP.
How much cheaper and smaller can they get before we see them used in parcel and freight?
It's not that he's wrong, it's that he's kind of a jerk.
Do you want to be right, or do you want to be understood?

You can’t control what other people do. You can try to meet them where they are, or hope they’ll catch up with you. Hopefully it’s not your problem if they fail to.
My daughter has aphantasia. I can't imagine what it must be like for her - my visual imagination is ridiculously rich.

I can traumatize myself with what I can see in my mind's eye it's so strong, but for her, she has absolutely no ability to visualize whatsoever.
This article is about the federal forests, not the state ones.
I also found this tidbit following interesting:

> Similar to the Forest Service’s proposed amendment, BLM’s rule was met with mixed emotions, with some conservationists saying it lacks teeth and some timber industry representatives saying it’s too restrictive.

Not even knowing how all of this works I can immediately tell BLM is walking the line on this well, because they are coming up with compromises that everyone grumbles about.
You can sign tags, and you can make as many tags as you want. So for example you could have 'dev1-1.0' signed by dev1, 'dev2-1.0' signed by dev2, etc to have that revision signed by multiple developers.
I don’t think this is something that occurs to people. When I jog, i noticed pre-AirPods pro that I could listen to podcasts fine on the side street blocks that i normally run on, but once I hit the avenue (more traffic and 30-40 speed), it’s hard for me to hear without noise cancellation.
They also defaulted to sending searches through Amazon a few years ago.
> failing to load the one part of the map that I want to see.

Yep. My partner and I have this problem every time we use the app in our home city. It usually works better when we’re traveling. I’ve left them feedback and will keep hoping for better. Meantime, I’ve switched to a less frustrating app.
Free name idea for whoever makes the Ruby Shell: "Rubish"
The intersection into epistemology is very interesting
> Trump has made a career out of, so to speak, defiantly driving as fast as he wants, whenever and wherever he wants.

That’s utterly unsubstantiated. Trump has been a businessman in New York City for decades and was never prosecuted criminally for anything until he entered politics. It’s also irrelevant. Even if it were true that “he’s gotten away with lots of crimes in the past” that doesn’t justify prosecuting him on a creative legal theory. When a gang member is prosecuted for bullshit, defense attorneys fall over themselves saying that each prosecution must be justified on its own, not the defendant’s uncharged and unproven bad acts.

> This time, he's gotten a big ticket for going 90 in a 70 mph zone on an interstate highway — sure, it's not a school zone

It’s not like that at all. Trump was prosecuted on a creative legal theory—stitching together three different laws which individually couldn’t support a prosecution for either jurisdictional or time-bar reasons—that even CNN’s legal commentator Elie Honig called “unjustified.” https://www.foxnews.com/media/cnn-legal-guru-says-new-york-t...

> it's hard to see the ticket as political persecution.

It is not only a political prosecution, but the bar’s deafening silence is profoundly shameful to our whole profession. Attorneys who do extensive pro bono work getting gang members off on technicalities are looking the other way when New York brings a novel prosecution that they would condemn has it been brought against a violent criminal.

At some point recently, many attorneys abandoned longstanding principles of the legal profession for liberal moral sensibilities. I remember folks at my wife’s old firm, Arnold & Porter, sniffing about how they would never represent Trump. This is a firm that has made its money for decades (and continues to do so) defending Philip Morris against cancer victims. This was before January 6, back when Trump’s biggest crime was being, in their view, “a racist sexist homophobe.” In the new morality embraced by much of the legal profession, that makes Trump worse than a company that peddled poison and killed millions of people over decades.

Big firms should be lining up to work pro bono on Trump’s appeal given the novel legal issues it raises. But they won’t because Trump offends their moral sensibilities in a way that defending gang members somehow does not. It’s sick.
Current architecture of LLMs focus mainly on the retrieval part and the weights learned are just converged to get best outcome for next token prediction. Whereas, ability to put this data into a logical system should also have been a training goal IMO. Next token prediction + Formal Verification of knowledge during training phase itself = that would give LLM ability to keep consistency in it's knowledge generation and see the right hallucinations (which I like to call imagination)

The process can look like-

1. Use existing large models to convert the same previous dataset they were trained on into formal logical relationships. Let them generate multiple solutions

2. Take this enriched dataset and train a new LLM which not only outputs next token but also a the formal relationships between previous knowledge and the new generated text

3. Network can optimize weights until the generated formal code get high accuracy on proof checker along with the token generation accuracy function

In my own mind I feel language is secondary - it's not the base of my intelligence. Base seems more like a dreamy simulation where things are consistent with each other and language is just what i use to describe it.
This makes sense. Low semantic entropy probably means the answer was more represented in the unsupervised learning training data, or in later tuning. And I understand this is a tool to indirectly measure how much it was represented?

It’s an interesting idea to measure certainty this way. The problem remains that the model can be certain in this way and wrong. But the author did say this was a partial solution.

Still, wouldn’t we be able to already produce a confidence score at the model level like this? Instead of a “post-processor”?
Dang, sorry, I misread your comment.
3D rendering playground for Dart/Flutter
A few people were requesting an interactive demo of Thermion[0], so over the weekend I created a custom DartPad so you can see it in action from your own browser (https://dartpad.thermion.dev). Chrome only for now, I know there are some issue with Brave/Firefox at the moment which I'll fix in due course, and Safari is still off the table for now.

This is the Dart-only package, but the Flutter package is identical save for the initial setup code and some convenience widgets, (e.g. camera gesture controls). I'll aim to get a sample Flutter app embedded this week too.

[0] a 3D rendering toolkit for Dart/Flutter (https://github.com/nmfisher/thermion)
What is "system path"? Every tool inherits the caller's path. I don't think this could be a problem unless a tool talked directly to systemd to execute itself.
but this thing doesn't die, and why should it imitate our young?
Not my experience at all. My original design decisions rarely change fundamentally. And whatever small changes I decide to implement, I implement step-by-step with each step being a refactored improvement.

It probably helps that I have 30+ years of experience and always pick architectures I have used before on successful projects.
> they aren't obviously to the benefit of anyone except the practitioner

Most of the people I know who've gotten into jhana really do talk a big game about how it's affected their behavior in the world in ways that obviously benefit others. Being more compassionate, kind, patient, accepting, forgiving, etc.

Personally I don't think I've gotten to jhana, but if nothing else the traits I've cultivated through meditation have allowed me to feel more grateful and loving towards those around me, and that's of simple obvious value to them (as well as me). If jhana means doing that even more reliably, then again I'd call that obviously of value to others and the world at large.
> […] dedicated card purse-based systems can be better for regular commuters.

I suppose it is a matter of personal or circumstantial preferences so I won't go into that, but through reading this discussion, I have learned that, e.g. the Boston MTBA's CharlieCard, have an expiry date and has to be replaced in person. From the regular commuter's point of view it is a nuisance of epic proportions – to turn up at a bus stop or a station only to find out they are unable to pay because their dedicated card has expired. The commuter is only interested in the act of paying the fare and not in complexities of the local mass transit system's payment network shenanigans.

I also can't help noticing that the wallet (the purse style) making business has taken a hit in recent years due to the rapidly decreasing circulation of cash and the rise of mobile wallets. Many people now leave their homes with their smartphones and keys only. Eventually and inevitably, all cities will embrace either the integration with or adoption of mobile wallets, but that will take a while depending on how well each government funds its local public transport agency.
Isn't Mifare in different forms a de-facto standard for NFC subway tickets around the world? St Petersburg uses Mifare Classic (and tokens), Moscow also uses Mifare Classic for the refillable Troika card and Mifare Ultralight for disposable ones, Dubai "nol" card is a Mifare Desfire, Los Angeles "tap" card is a Mifare Classic, and, yes, the London Oyster is a Mifare Desfire EV1. Yes I actually went through my stack of transit cards and scanned those of them that I wasn't sure about.

The only ones that I came across that are not Mifare, and not even readable by Android (but readable by the Flipper Zero), are the paper tickets used in Brussels. Then, of course, there are non-NFC tickets. For example those that use magnetic stripes, like the cute tiny ones in Paris or NYC's MetroCard.
Formal methods is much more specific than formality and writing things down. There's a degree of proof that you achieve with formal methods that you don't even with design documents, reviews, and the usual tests.
Also, if this is affecting you, get a sleep study! The money will be well spent if physicians can find possible reasons for poor sleep that can be improved - a lot of people suffer from various kinds of sleep disorders, and treatment is becoming cheaper and more accessible to the point that a diagnosis well worth it for increasing numbers of people, given the increased quality of life it can offer.
No, but you don't need it at all on a Mac. It is indeed a problem on the iPhone and iPad.

Although, you still really don't need to use iCloud or Siri.
I don't understand why you would shadow the system utilities with your own, yet not want to use identical names, so that you have to keep remembering to use the comma.

If you don't like the system's grep (e.g. Solaris grep or whatever) but prefer your own (e.g. GNU grep), why wouldn't you just want that to be "grep".
I am apalled at the crazy amount of waste this creates. Millions of tickets with chips inside them?

My understanding is that they are one time use?

In New Delhi metro, India, they used to use plastic tokens with these chips, but at the end of the journey, to exit the station you have to give the chip back.

Nowadays, they use a printed QR system, and they have even gone paperless. I can buy the ticket with my mobile app, pay using UPI instant payment, and show the qr code on the phone to the scanner and then travel.

For monthly card holders, rfid chip based cards are issued.
Reminds me a bit of jafflechutes: http://jafflechutes.com/whatis.html
I have relatives that have been going without the Apple ID for years, perhaps decades, on their Macs.
There are relatively lightweight methods which can be less taxing. For some domains, where requirements are frozen, iterative refinement of specifications to code can be easy and enjoyable. See for instance: https://raisetools.github.io/

My hope is that code assistants can make all this much easier by facilitating synthesis, you write the specification, and ML gets you the code. I have a fairly good toy prototype doing such a thing for the subset of a common functional programming language. Obviously, the difficulty is to scale it and make it practical.
...and in the process forced the Maemo team to revamp everything again, delaying the shipping of an OS that didn't carry all of Symbian's terrible legacy, and ensuring that Nokia had nothing that was going to be competitive with the rest of the ecosystem (the follow-up to the N9 was heavily delayed because people got pulled back to get the N9 to ship on schedule, meaning there was going to be at least a two year window for everyone else to make progress while the new Nokia smartphone ecosystem stagnated)
>Why would I remember that?

Why wouldn't you lol
Yes… is knowledge with lower entropy in society more true? That sounds to me like saying ideas big echo chambers like Reddit or X hold are more true. They kind of have a similar low entropy = higher visibility principle. But I don’t think many commonly agreed upon ideas on social media are necessarily true.
A distributed database load-balancing architecture with ShardingSphere
Aldrin's Boot Print on Moon – National Air and Space Museum
Good feedback! Clarity around this is the 2nd sentence of the readme, now. Thank you for catching this
You pay for every LTS dotnet,so every 2 years. E.g Linqpad .Net8 license also supports .Net9
Claude 3.5 Sonnet. Does it really outperform GPT-4o?
The new Sonnet model definitely kills GPT-4o in the published benchmarks.
I evaluated it for real-world use cases and compared against GPT-4o. It did better in all the cases.

Test Case 1: Python Code Generation
Write a script to generate email address from name and domain

Test Case 2: Web Page creation
Create an HTML file that displays a simple personal portfolio webpage. The webpage should include a header with your name, a profile picture, a brief introduction about yourself, and a list of your skills. Use basic HTML tags to structure the content and include some inline CSS to style the elements

Test Case 3: API Query Generation
Write a cURL to call dall-e-3 API, and generate image of a Unicorn with a rainbow horn

Assessment:
- Sonnet provides a more direct response to the coding requests. When we asked for a cURL command, Claude directly gave that, whereas GPT-4o created a bash script.
- The web page created by Claude was much more aesthetically pleasing, and almost readily usable. Great for non-tech folks who want to create web pages.
- Python code generation: This one is hard to say, both perform well. GPT-4o needs a bit more detailed instructions.
- Pricing: Claude is cheaper than GPT-4o ($3 per million input tokens vs $5 per million tokens for GPT-4o)
- Speed: Claude is faster at generating the first token.

Here's a detailed write up: https://blog.getbind.co/2024/06/21/claude-3-5-sonnet-does-it-outperform-gpt-4o/