skysight-inc/HackerNews huggingface dataset:
With sourcegraph, I am able to execute language context aware searches. It goes far beyond just grep-like matching and regular expressions. This page has more details: https://docs.sourcegraph.com/code_search/reference/language.

There are other awesome features in sourcegraph, for example searching diffs, searching within specific branch or tag.
Assuming that's you: Could you possibly explain

> What I think is the only 1U VAX in the world

? Is that a custom job where you stuffed the guts in a smaller case?
Mythbusters' "Lead Balloon" episode was 14 years ago.
Why are you bringing marijuana into an argument with about meth? What do you think the MA in MDMA stands for
Mathematician here. I understand why some people interpreted this post as dismissive of the article's premise. But I wish it could be okay, on a forum that putatively exists for founders and makers and challengers of the status quo, to say "this doesn't make sense when I think about it on a deeper level". Even if the reason it doesn't make sense to the speaker is because the speaker isn't an expert, and ultimately the thing does make sense.

A challenge or contradiction doesn't have to be disparaging. We are all laymen sometimes, and sometimes we just want to scratch an itch. It usually comes from a place of curiosity, not arrogance. We want to understand how something that seems weird to us can actually make sense, even if our understanding of only limited and superficial.

Why not let people express that in a direct way, without a bunch of deferential throat-clearing ("not an expert, just my thoughts here, this doesn't make sense to me...")? Who is hurt?
Your recall looks to be pretty good ;)

"At the corner is the store known as Soul Scrolls. It’s a franchise: there are Soul Scrolls in every city centre, in every suburb, or so they say. [...] Ordering prayers from Soul Scrolls is supposed to be a sign of piety and faithfulness to the regime, so of course the Commanders’ Wives do it a lot. It helps their husbands’ careers. [...] The machines talk as they print out the prayers; if you like, you can go inside and listen to them, the toneless metallic voices repeating the same thing over and over. Once the prayers have been printed out and said, the paper rolls back through another slot and is recycled into fresh paper again."

Side note: I found the quote by searching my comment history¹ and then picking up the book, because that is faster than finding the text in the book without any hints. I really can't decide if that is good thing or not. Like some super weak version of Chiang's Remem²

¹ https://news.ycombinator.com/item?id=25672286

² https://en.m.wikipedia.org/wiki/The_Truth_of_Fact,_the_Truth...
counter example.

consider that instead of punching out the holes, you added an ink blot, the ink is somehow reflective and thus is read by the machine (or whatever).

as the ink has a weight it now weighs more than when you started. Information has regular mass.

hence some prior assumption is mistaken and we could now prove something by contradiction.

now then, somebody please tell me if a proof by contradiction holds in constructive logic.
Ecstasy is meth dude, it ruins a lot of peoples lives. I’ve seen it happen so maybe you’re personally responsible but there’s a lot of freaking people that aren’t. You can destroy their lies if they try your advice and it doesn’t work out
And you can't even pay with crypto??

https://i.imgur.com/PasTfw9.png
That's probably true, but it leaves out a lot of other companies. It's worth examining the reasons for stopping at those 2.
It has explicitly different design goals than git. Read its comparison page of fossil vs. git features.

Git is just a "me too" of the BitKeeper source control system that Linus used before he wrote git. Linus isn't even trying to hide the fact--he explicitly says he wrote git because he had to move off BitKeeper after a license conflict and he needed something that was functionally similar for kernel development.
Gotta wonder how often that happens: 30 pins are enough, but 26 aren't?

I've had stuff that wanted 3-5 pins, or maybe 10 pins. I've had stuff that wanted 100's of pins. I can't think of anything that wanted, specifically, between 27 and 30 inclusive.

Does the Pico really fail to bring out 4 of them anyway? That is kind of surprising. I know that it uses one of the ADC's for battery monitoring, leaving just 3, but maybe you can get it back by cutting a trace or something.

Is it practical and useful to connect 20+ of the pins to PIO ports? The PIO's are very limited.
I got thrown, somewhat inadvertently, into a "service writer" position at a car dealership in my young 20s, when I was still extremely shy/awkward. It's basically service department sales. It was a hopping dealership, a well run money making machine and we were constantly hammered with business. Doing this job somewhat forced me to be more sociable, as the boss asked us to constantly 'build rapport' with our customers.

The other thing I realized was that I could be really loud in public and it drew attention to me. So I would do that intentionally. Just be really loud when ordering food at a restaurant or checking out or looking at stuff ... any time. This gets you used to being the center of attention, which is what 'shy you' doesn't want, and 'shy you' ends up disappearing over time.
Is there something like this but for those needing to practice?

Schools offer music rooms to their students, however, it would be nice if something like that was searchable and available for those traveling.
> at what cost to their future sources

If we can believe this story[1], some FSB guys were tasked throughout the years with bribing Ukranian military leaders to just lay down their weapons when the invasion begins. The FSB guys thought, "You're giving me cash to prepare for something (Ukranian invasion) that'll never happen, and you don't expect a receipt? Wahey, call the Mercedes dealership, and look up villas on the Black Sea coast!". And when Putin told them the invasion was going to happen, they panicked, and thought how to prevent it from happening and their embezzlement to be caught, "If we leak the plans to CIA, then Putin might get cold feet.". That's why the US seems to have been very well informed about it.

[1] http://www.thelowdownblog.com/2022/03/is-putins-invasion-fai...

In any case, this whole reply thread is off-topic to the article (which is about hunger, which will be real whoever provoked the war in reality and people's messed up's minds) and it's because top commenter is butthurt about one word...
Plug for my own similar project: https://github.com/aramperes/onetun

Though admittedly, mine doesn't have SOCKS support, and the code is not as lean as yours!
The lord of the Hebrew Bible was clearly running on the testnet, and should not have been used for actual transactions.
I wonder if a browser vendor could host a repository of common libraries? With a limited number of versions available that changes only at the same time as the browser, maybe it wouldn't leak much info. It would be almost like including the code in the browser.
People with real, not imposter autism cannot change themselves quickly. The way out is to understand and accept what you are first, and to realize that social is not your speciality (and it doesn't worth it anyway).

Keeping a safe distance from idiots is more beneficial than ability to be "nice person".

Be very good at something which others need and all the problems will go away. They will be nice to you, and this is the real and only way.
As someone who has lived both in New Zealand and Australia where both countries mostly have heat pumps in every house - I'm genuinely surprised to hear that many people in other countries don't all have them. They're relatively cheap to install ($1500-$4000), safe and efficient.
There is no mobile theme on my site. :)
Pianos are pretty heavy and probably don't move around that much?
If browsers already have a multi-paradigm, dynamic/duck-typed, garbage-collected scripting language in JavaScript, why would they add another one--especially since JS is incredibly backwards-compatible to not break the web? In the broader scope of programming languages, Python and JS are the same thing. If their going to add a second language, the least they could do is make it interesting in comparison.
the platform development comes with sale of the platform - which is to say the customer has already paid to have it developed by buying the phone.

Many developers don't want to have apple be their gatekeeper for apps. They should be able to have alternatives. Apple's rent seeking behaviour is to take platform development in the cost of the device and again to distribute apps without any alternative.
Nonsense. There's quite a bit of room to work with when billionaires get taxed. It's not like a billionaire's compensation is equivalent to the cost to write and print a book, so that any tax on the book must be made up with a price increase.

You can see this in what people did with pandemic relief checks: regular people used it to buy necessities, or pay rent. The rich invested it. If the rich hadn't gotten a relief check, they wouldn't even have noticed.
Unacceptable Ted, do all the work
In my defense, I don’t ever recall a time that Fossil didn’t have all those features.

Edit: I even have receipts. Me, 11 years ago: https://news.ycombinator.com/item?id=2524574

> Am I the only one who's actively suspicious about this kind of thing? With Git, I can use whatever wiki, ticketing, documentation, and blog features I want. I don't want my VCS to be a Lotus Notes for software development.
Oh! I don't think so; at least, I don't think go-socks5 does.
My thinking was that it allows us to continue to improve yields without corresponding costs being paid by the consumers. In other words, people will just keep buying huge quantities of cheap meat. I do not consider this a good thing because meat is a luxury. In this case, it's keeping meat cheap(er) despite screwing the planet with climate change.
It does, but SteamVR, which does the lense distortion/correction, isn't FOSS. It exposes an OpenXR backend that software can use though. Their goal is to implement this part for themselves/the Linux community, so their hardware can use it without having to rely on SteamVR.
I can't say anything to your first remark other than different people will want different things, it's unfair to level an implication of hypocrisy on the GP unless they have individually in the past actually complained about wanting to use Fossil because it lacked X but now have this complaint. Myself, I've never had a strong opinion either way, though I had only ever known Fossil for having all these extra features and thought it fascinating, not necessarily good or bad.

I did eventually try Fossil somewhat seriously for a personal project last year. I gave up and moved back to git, and don't think I'll try Fossil again, either personally or for a broader group or company project. I still find the idea of full integration interesting, just not Fossil's execution of it, not to mention some disagreements with the SCM philosophy itself. (For some it's about rebase, for me I realized I rather like the concept of staged/unstaged files or even Perforce-style pending changelists.) Meanwhile a collection of services approach actually works and cross-integrates pretty well especially when you don't have the requirement to try and self-host everything and give yourself that administrative overhead. And you'll get non-ghetto (for lack of a better descriptor) versions of those services.

Still, I don't recommend against Fossil, it's clearly good enough and aligns very well with certain values, people should evaluate it for themselves.
Just fixed the typo. :)
RFC 8908: Captive Portal API
Observe that when you identify x with y, you are already drawing an equivalence between their formal representations (i.e. x, y), and the rule holds only for f that is blind to the formal representations, and distinguishes only between these equivalence classes. But within math topics there are notions of equivalence that are stronger than just that that the topic is uninterested in "piercing through the equivalence veil". For example, computer scientists often talk about Turing machines being equal even when their alphabets are disjoint, as long as their structure is the same, reserving equivalence typically to mean accepting the same language.
its all about the network. and a distant second is making it scalable and robust. moderation and UI design is important once you have scale so that normal people feel comfortable using it. IMO twitter is failing pretty badly on the last two and if a well funded competitor came along, it wouldn't surprise me if twitter goes the way of myspace
You mean Gecko and Webkit? Okay
Yep, the Simula One was made specifically with "coding in VR" in mind.

Do you have an HTC Vive or Valve Index? If so, you can try out coding in VR via Simula's compositor right now: https://github.com/SimulaVR/Simula

This won't be as crisp or as portable as the Simula One, but should give you a taste for what it's like.
Neat! How does yours work? The Go version of this is easy to write, because wireguard-go has helpers to drive Netstack, which is also written in Go. But yours is in Rust. (I could have dug in, but I'm being lazy).
Tcl/Tk was cross-platform 15 years ago, and you could make it really pretty. It is lightweight, too. Did people forget?
> The assumption was that feature parity with _version 1_ should be attainable in that timeframe. Not the current state of the platform.

No, what Paul meant was the "initial version", not Twitter's version 1. Of course he didn't list what features this MVP has. It's this flippant bullshit that shows Paul walks around the room giving feedback and never actually builds.
Typically they are looking to us to surface areas where they will have to make "disproportionate investment" (as they say) to allow the company to support a ramp up in growth. "What will be a problem when you have 2x as many customers? 10x as many DB entries? 10x as many customers?" etc. Because private equity funds buy companies that are growing and (usually) already profitable, this often equates to tech debt that happens once the DB is big. A very common scenario is that reporting, for example, has become a problem and it's time for the target (as we call them) to be using heavier weight architecture patterns like command query segregation or dedicated reporting databases or materialized views and such. So in the case of Ruby and Python shops, we will definitely be asking if their domain layer is working ok and trying to find out if they've written themselves into a corner by having the code assuming it will always be an RoR app or whatever. I have interviewed more than a few that were in serious trouble from not isolating their Active Record dependency and thus got themselves in a situation where efficiently fixing the database was going to be a lot of rewriting. We see this in other languages too, but Active Record is absolutely a smoking gun there.

The takeaway: always, always, have a domain layer that allows you to refactor your model access without changing tons of code. Data load grows in ways people don't predict. If your company succeeds, in five years you'll wish you had it!

Tech debt kills loads and loads of companies and most folks never hear about it because that's not the stuff that gets publicized or written about. We call it the silent killer...
You and me both. Work got one as a POC and they kinda forgot about it and it landed under my desk...I was then able to wrangle a Pentium upgrade kit for it. It was a beast and incredibly well built.
Maybe it's because I haven't used it, but a lot of the language around TikTok feels exceptional in ways that aren't justified: Twitter has (tens of?) millions of "terminally online" users, but we don't compare it to "digital crack."

This isn't to say that TikTok isn't addictive; it clearly is. But I think there are strong recency (it's the New Thing) and exoticism (it's a weird Chinese app) biases in how we talk about it compared to other addictive social media (e.g., saying that users are "obsessed with" $FACEBOOK_PROPERTY instead of describing them as digital addicts.)
And then when God explains himself, he goes off on a tangent about this awesome dragon OC of his and how badass it is.
The big issue with gene editing is the unintended consequences. Everything is fine now but will it always be that way? We deal with consequences by applying patches. So it's patch after patch after patch until the problem gets so bad that we start over. We can do that with things. But for genes that have spread over a population it will be next to impossible. Good luck to the future generations that will have to deal with the genes that get modified today.
This is just pure naturalistic fallacy. We have done plenty of terrible things for millions of years (rape, murder, war) but having done those for millions of years is no real justification for their continuation.
> fossil feels like someone built it for almost NIH reasons

Are you aware that Git was not the first version control system? That doesn't mean Git was built for NIH reasons.
This happens at my BigCo job too. We literally are not allowed to give any official recognition of the incredibly hard work and immense talent of our contractors. "Contractors" - the human beings we work with day in and out, that build amazing products, that we joke with, share holiday photos with, wish well when they're sick, urge to take a break every once in a while, who seem to work well into what should be their kids' dinner time or bedtime. But because they get paid differently, they're treated like surfs. They always are forgotten in company e-mails, they always have a harder time accessing services, since they don't get a company laptop they're left to go through some RDP interface to use a machine on our network, they don't get the same vacation days we do. I really hate how they're treated.
Use gold instead of copper?
Do I understand correctly that this assumes that there's only one wireguard peer?
Yep, this is correct. We're moving from SteamVR/OpenVR to Monado (OpenXR) for the Simula One.

With that said: our current compositor (https://github.com/SimulaVR/Simula) still works well with OpenVR/SteamVR on the HTC Vive & Valve Index.
This is absolutely disgusting. I would consider reaching out to a few media publications (eg VICE, The Guardian, etc).

Banning people who express suicidal intentions from online platforms, which often are the last community they belong to, is unbelievably harmful.

Advertising dollars be damned: companies don't get to put toxic materials in our foods, and social media companies don't get to clandestinely use "crisis support" buttons to figure out who to "clean up".

You may also wish to write a letter to your attorney general.
Ugh. This reminds me of my Facebook feed, where literally anything I shared seemed to attract people who insisted there were people suffering and I should be dedicating my social media posts solely to bringing attention to their cause de jour. "How can you be posting about Powell's Books when children are literally dying in Africa!"
> but EUMEL, L3, KeyKOS, and OS/400 had extremely tiny TCBs

L3's TCB is indeed quite small, and I don't know enough about EUMEL and KeyKOS to comment – but is OS/400's TCB really "extremely tiny"? On the contrary, my impression of it is that it quite expansive. When, in the mid-1990s, as part of the AS/400's CISC-to-RISC transition, IBM rewrote the OS/400's "Licensed Internal Code" layer from PL/MP (an IBM-internal-use-only PL/I dialect) into C++, the result was over 1 million lines of code [0]; the original PL/MP-based version had a roughly similar line count. A long way off "extremely tiny".

Part of the TCB for OS/400 (and contemporary IBM i) is the compiler backend – the compiler frontends compile to a common intermediate language (MI or TIMI), and the backend compiles that intermediate language into machine code for the underlying machine architecture (IMPI for the original CISC AS/400s, Power from the mid-1990s onwards). This is because the traditional OS/400 architecture has all processes executing in a single address space, and security is enforced at the intermediate language level not by the hardware, making that compiler backend security-critical. It is hard to have an "extremely tiny" TCB when the compiler backend has to belong to it. Another factor making the TCB big, is that IBM went for a "feature-rich"/"CISC-like" intermediate language rather than a more spartan one which would have pushed more functionality above the TCB.

[0] Berg, W., Cline, M., & Girou, M. (1995). Lessons learned from the OS/400 OO project. Communications of the ACM, 38(10), 54–64. doi:10.1145/226239.226253
> suggesting that the increase in COVID deaths amongst teachers, from a very small number, to a higher, but still very small number, would have caused more social harm than the harm of shutting down in-person schooling

First, lower school students, or as we would call them middle school students, have a much lower rate of spread compared to 18 year olds in high school. The age brackets here are a little off, but it shows the effect [0].

But more importantly, what I've said in several posts now is that you are presenting a false dichotomy, which another poster points out you in your fentanyl argument as well. The choice was not "close schools" or "keep schools open". The choice was "How do we teach and keep everyone safe". Keeping schools open in various parts of the country and failing to implement proper safety measures resulted in tragic losses of brilliant young teachers who didn't have to die. Your feelings about the magnitude of the Sweden results notwithstanding, they still show increased risk for teachers; the case of Georgia where dozens of young teachers and school staff have died in such a short time, leading to shortages and closures out of necessity rather than caution, shows how COVID can easily disrupt the entire school system, despite students not transmitting the virus.

> "30-40 percent of minority and low-income students weren’t learning during lockdowns"

A lot of that has to do with the inequitable distribution of resources and access to things like wifi, computers, and quiet spaces for study. We have been advocating for funding for these things for a long time, for precisely this reason. The factors that cause minorities and low income students to have trouble learning during the pandemic are the very same reasons they struggle during normal times. Remember school lunch debt is a thing. Do you think hungry students learn well in the classroom?

It's really quite astounding to me that some of the loudest voices decrying school closures during lockdowns will be the ones standing in the way of increased support of the kind that would alleviate these inequities.

[0] https://www.cdc.gov/mmwr/volumes/70/wr/mm7003e1.htm
How old is Tcl/Tk?
You could take a look at how the "heirloom bourne shell" does it: http://heirloom.sourceforge.net/sh.html
There are plenty of ways that companies in the same space can cooperate and compete at the same time without doing anything shady. Most of our partners at autotempest are also technically competitors. But in almost any business there's nothing at all unusual about having a friendly chat with a competitor in the same space. You probably understand each other pretty well! You won't completely open up to them of course, but there might be some info each side is willing to share for mutual benefit.