skysight-inc/HackerNews huggingface dataset:
This is just another Waterfall By Another Name process and as a developer all I got out of this was don't work at Jam (whoever that is).

> When developers pick up tickets that don't have all the information they need, they need to spend more cycles investigating and waiting for follow up information from the broader team.

This could also be interpreted as adding layers of friction between the people experiencing problems and the people fixing those problems. This generally leads to worse outcomes.

> After product spec and kick-off, the next step is for engineering to spend a little bit of time writing a technical plan.

Oh good, a spec tossed over the fence in yet another meeting, and then another spec before any lines of code are written. No thanks.

> Having milestones put on the calendar also gives us the flexibility to move them when needed, but makes it so that we consciously need to decide to move them, rather than letting dates slip by.

The dates slip by because software estimation is akin to the Halting Problem. You aren't fixing that, just making your managers feel better.

> Having a daily check in on the project status helps us recognize when we are drifting off track and need to make decisions about whether to change the date or re-prioritize what's in scope.

Even more meetings, hooray!

> All of the tips above are things we started doing as a direct result of something one of us suggested in a retro. Retros are awesome, and are so important.

And more meetings about what went wrong in the prior meetings.

FAANG doesn't do this. Hire great people, trust them, communicate async frequently, coordinate planning infrequently. This reads like a manifesto for "we hired a bunch of subpar developers and don't give them any ownership or empowerment". Pass.
Starshield: Secured satellite network for government entities
now imagine what it's like for natives of a different language. you stumbled over a single, rather specific keyword - they might have confusing or no associations at all with terms like for, switch, case, instance, compile, parse,... they might have a textbook in their language (or not), but the statements might feel like hieroglyphs or, worse, lead their mind in the wrong direction
Seems to have an issue with Firefox. At least in the terminal app -- the characters are multicolored blocks rather than letters. The editor app seems to work, as do the various games like Panda Love.
Kind of feels like you are explaining your own bias better than that of Deseret News
Startups as non-founder are for suckers except extreme outliers, ask me how I know. Join FAANG. Very good pay and high internal mobility which will allow you to find the team operating at the right pace for you.

I am at Google and one can generally change team every year, no questions asked, the company is structured around supporting internal mobility and the common tooling makes onboarding relatively easy. Hundreds of internal positions open for all tastes. You can work like a dog or just chill, there’s a team for everything.
Looks like several people do, but about that... Looks like the profile was changed/update just a week ago, probably someone lost their account to this malware, and they are using the new linkedin accounts for this.
I thought it wasn't 100% clear that FTX ever actually claimed fiduciary responsibility?
A true skeptic might not even believe a Russia exists without visiting. A proper skeptic would need to be skeptic of both sides and all information coming out. A common skeptic would watch the news and only be skeptical about your side.

Universally? There is only one tiktok. But in general the ministry of culture and security handle that. They literally employ millions of people to assist in watching what anyone says online. You online entity is connected to your national card. Go check it out for yourself you won't believe it until you see it.
We had digital signatures decades ago, and it’s only accurate to say that blockchains prevent certain forms of tampering with the records on the blockchain[1]. Similarly, you’re not getting rid of middlemen but replacing them with the ones selling tokens, doing conversion into real currency, writing smart contracts, running oracles, etc. Maybe those middlemen will charge less or be easier to work with but that hasn’t been the case so far and there’s no guarantee that it will ever be.

1. The blockchain says I sold you a toaster but when you get the box it has a rock. Which one is right? Now repeat for a house where I neglected to mention that I didn’t have a clear title, etc. Oracles attempt to solve this but then you’re back in the position of trusting people and reputations, just slower and more expensively.
Virtual Codec for Video4Linux (+FWHT Compression) (2016) [pdf]
I'm really pleased with the Hacker News scraping demo in this - it's an extension of the scraper I wrote back in March, using shot-scraper to execute JavaScript in headless Chrome and write the resulting JSON back to a Git repo: https://simonwillison.net/2022/Mar/14/scraping-web-pages-sho...

My new demo also then pipes that data up to Datasette using curl -X POST - this script here: https://github.com/simonw/scrape-hacker-news-by-domain/blob/...
My inner nitpicker can't resist mumbling something about:

* https://en.wikipedia.org/wiki/Neal_Stephenson
That's 15 minutes I'm never getting back - and I'm fine with!

Love the idea and the execution is spot-on.

Hate Seinfeld, love Nothing, forever.
You want to spread fault, fine but at least make a quality argument. Keep in mind that some of us may be more resilient to casual gaslighting than you are used to, and for good reason.
Rensenware, a ransomware that requires you to get 200M points in a video game
ah. thanks. do we know if SBF leaned one way or the other politically?
lol I'm not saying it's language I would use myself, or that it's fair to characterize projects like GNOME or Flatpak as 'belonging' to Fedora.

Personally, I liked Unity. Mir has turned out to have enduring value outside of the desktop space and also implements Wayland. I don't fully buy into the view I described.

I just think there was an intelligible argument behind that other commenter's strange language, and tried to point it out.

(Another possible reading is that Fedora is 'closer to upstream' because they don't do as much downstream theming of the desktop. I'm not sure if that was also part of what they were getting at.)
"Tucker ranting about using AI to generate fake bible verses."
Deep neural network techniques for monaural speech enhancement
> I'm a consequentialist.

That's how I lean too. I'm maybe just more leery of the long term consequences of censorship and proscribed ideas. I think they are ultimately poisonous.

> If it was up to me, I would not allow that link.

How would you write that policy for wikimedia, so your editors would know which articles could link to the website they describe, and which could not?
...or UN organization, I believe I wrote. Because those are the two organizational forces that would have the wherewithal and resources to do this. Governments and corporations would never bother, for roughly the same reasons.

I do not definitively know that it is not happening. But one also cannot definitively know that everything outside of one's field of view isn't the objects one's sense of object permanence expects but rather densely-packed Hitlers, as per the relevant SMBC [0]. I cannot allow myself the luxury of irrational hope, no matter how cool and Hollywood-filmy the idea of a secret saving-the-world agency might be.

[0] https://www.smbc-comics.com/?id=3307
...and your budget, too. This is probably the most important part.

https://responsiblestatecraft.org/2022/11/22/why-cant-the-do...

https://en.m.wikipedia.org/wiki/Black_budget
The NYC police can't file criminal charges either; they just investigate and then send cases off to the local DA. The SEC does the same thing; the SEC does the investigative work, but they refer criminal cases to the Justice Department for prosecution.
I made a newsletter sharing founder success stories and side hustles
For an audience filled with hackers and founders, I'd love to get some feedback:

• How helpful/valuable this is?
• What type of businesses/stories are best?
• Optimal word count/read time

Thanks!
I hope this fails. John Oliver had an excellent episode on facial recognition and its perverse effects on society and especially the creepy work that Clear AI is doing. It baffles me that people willingly sign up for Clear AI (probably because they aren’t aware of the broader implications).
> If Healthcare.gov bombed... whose head rolled?

Is your claim here that corporations are able to correctly assign responsibility for major failures? Why do you think this? There are so many ways to deflect blame for your failures onto others while taking full credit for successes you had nothing to do with in the private sector.
There's also altitude. Starlink is LEO at 550km, while all the legacy is GEO at 36000 km, ignoring Iridium of course. This is a huge latency difference, allowing normal video calls.
No, like on all those "WebOS".
What metric would you use? Daily impressions? Those seem to be up. Posts? Also up. Impressions, posts, and status codes are the measure of success (status codes of course being a proxy for earnings as well as operations given that if they go out of business they won't be returning status codes at all).
Well there are no alleys remember, so nowhere to pull up a truck other that on the street in front of the building. It’s also worth noting that the sanitation workers union fiercely opposes any mechanization in trash collection, the workers toss bags by hand. It’s absolutely ridiculous to see in person.
Yeah, I didn't think you'd opt for that.
There's some kind of corollary to Zewinski's Law of Software Envelopment: device developers are incentivized to "innovate" their product to the point it can send email.
i dont understand the proposal to tax the employee.

Taxing an activity makes it happen less. If the gov't want fewer railroad workers (or in your hypothetical example, mining equipment operators), they'd tax them like this! there'd be fewer operators as a result, and any shortage of them will cause problems. These operators aren't slaves - they can quit the industry.

The gov't would instead tax those employees _less_, in order for them to keep more of their wages, and thus encourage more of them to exist.
It is a difficult question, because on one side, sure it is very useful for citizen to have access to these info. But on the other side, I was always stunned that just because owning or operating a company, all your private info had to be public. These kind of registers are very bad for privacy rights.

In all case, the worst thing with this decision about the UBO is that a lot of money laundering regulation and co force company to check UBO of customer and provider companies and it is complicated to request that all the time from companies themselves and ensure that the statement are truthfull.
French to a B2 certificate level from l’Académie Française without living in a Francophone country. Done in 2 years by self studying and forced media immersion. It is not hard to learn a foreign language in 10 years. Also watched my parents learn English in a year as a child moving to an Anglophone country.

Way to cut out the part where I said “it’s not hard to learn a foreign language” and just drop the time scale. It’s of course a lot of work but it is NOT difficult with such an opportunity to absord and practice.
Most people really don't care about that. They want broadband where they didn't have a reasonable option for broadband before at pretty much any price.
There's actually a building in Lagos where the Nigerian Prince scammers all work. Hugh Sinclair has seen it:

https://www.youtube.com/watch?v=rhdZ2RfmiXo&list=PL4ugKP-T4L...

I would think they do know exactly what they're doing. There's no reason to think it's just to get past email filters or just to skip the smart people. It's probably both, plus other reasons we haven't even thought of.
A snapshot of the Twitter migration [pdf]
-- MySQL
SELECT * FROM example WHERE NOT(column <> 'value');
-- PostgreSQL
SELECT * FROM example WHERE column IS DISTINCT FROM 'value';

That doesn't seem equivalent?
The solution may be to base the tax on the portion of spending on actual academic faculty, teaching, and research, and facilities, and a standard allowance for administration. any admin spending beyond that standard rate results in commensurate taxes for the endowment.

There is a precedent in the insurance industry, where they are allotted something like 13% for administration, and everything else must go to actual patient care expenses. Surely it would be straightforward to figure out a reasonable core efficient administration figure.
Though this may be sloppiness as a legal defense. If you haven't actually jumped through the hoop of claiming that you won't just take the money and run, you really kind of can just take the money and run.
Let me spell it out for you: white male with connections.
I always write existential quantification

data Showable = forall a. Show a => Showable a

with GADT syntax because it can be confusing for people to infer the type of `Showable' from the above definition when you can write it out

data Showable where
Showable :: Show a => a -> Showable

josephcsible is right. `forall.' in that context doesn't play a different role. Rather a variable bound by `forall.' is logically the same as existential quantification if it does not appear in the return type which `a' doesn't:

Showable :: forall a. Show a => a -> Showable

We will get a proper existential quantifier soon

* https://github.com/ghc-proposals/ghc-proposals/pull/473
* https://richarde.dev/papers/2021/exists/exists.pdf

and then

length :: forall a. [a] -> Int

can be replaced with

length :: (exists a. [a]) -> Int

and `Showable' will be isomorphic to the "packed constraint" `exists a. Show a ∧ a', explained in the paper. This is a tupled constraint, not a function: `(Dict (Show a), a)'
I thought my brief convo about whether ChatGPT had mental states was interesting:

https://mobile.twitter.com/naasking/status/15988020014285660...

It basically continued to strenuously reiterate that it definitely, 100% had no mental states, despite agreeing with my argument that we do not yet have enough information to reach such a conclusion and so it could actually have mental states.

Given the repetitive and formulaic nature of the replies, I suspect OpenAI is very explicitly trying avoid another LaMDA scandal.
Not luck. Evolution. Survival of the fittest.
This Paper is titled "Virtual Codec for Video4Linux" by Thomas Alexander aan de Wiel and was apparently written November 14, 2016...

The title, in one man's opinion (mine) -- is a little bit of a misnomer...

This should be called:

"The best paper on video compression that I have read in a long time" (!)

...with an added bonus description/introduction of/to FWHT (the Fast Walsh–Hadamard Transform https://en.wikipedia.org/wiki/Fast_Walsh%E2%80%93Hadamard_tr... )

(Compare FWHT and what it can potentially do -- with the more popularly used Inverse Discrete Cosine Transform (IDCT)...)

Anyway, a great paper!
I was astonished when I noticed requests like this after I logged into a customer portal:

curl 'https://hondalink.honda.com/api/VehicleFeatures/[VIN NUMBER]' -H 'hondaHeaderType.country_code: US' -H 'hondaHeaderType.language_code: en' -H 'Authorization: Basic [DIGEST]' -H 'Content-Type: application/json' -H 'Accept: application/json' -H 'Car-Type: HONDA'

Not just are they using basic http auth, but it is silently ignored by the server. Try it yourself.

They clearly intended to impelement authentication on their API endpoints, but didn't finish it, becuase the client is sending an Authorization header. But I don't know if their servers are even configured to check them. And they should certainly use JWT instead of digest.
> Booz Allen is not renting us a park, because they don't own it, hence they cannot rent it out.

If they are controlling access to it and if they are charging for the access, it evaluates to the same whatever the means of that control. Its a workaround for effecting privatization for things that cant be privatized.
That's fine too!

They seem to have a CLI to export attachments!
This probably stems from concerning recent events where ISPs in the middle of routes started disrupting traffic in an attempt to take down kiwifarms after they found a host and ISP which ignored twitter complaints.

Net neutrality would have made this kind of action illegal. ISPs are not publishers, they should be routing all legal traffic.
It could be, but having it come from Elon gives it legitimacy unless others think otherwise. I'm open to what others think.
It got 52% in a SAT exam. Better than most people.
Nah, that's just nepotism. What you learn (i.e. what is on the syllabus) is very much a secondary factor in terms of the actual value you get out of it, at least compared to a decent state school.

Some of the best professors I've had in terms of actually learning things were in tiny departments that had no networking capabilities worth speaking of in terms of post-graduation economic success.
Preferably far far away from the cloud servers that perform workloads on that storage, so you can enjoy high latency plus ingress and egress costs to access it?

None of these costs are valid in isolation. The DIY savings is probably not a savings for most use cases.

// Disclosure: 10+ years back, our company undersold S3 at 1/10th the cost and much higher performance, but only for multi hundred megabyte up to multi gigabyte files. S3 does the generalized object store shape of work extremely well, likely better than anyone, and is worth it -- even before adding IAM, local querying, and all the other S3 goodies when native AWS. While underselling them for storage we operated, we also used them for our own storage needs.
Not really, no. There are still huge swaths of the US with complete garbage and no other options (e.g. with 3mbps/<1mbps being the most an ISP will ever offer). If you have more than one or two people at home (and in rural settings, bigger families are more normal), it’s practically unusable.

Of course most people have ok internet for most use cases. But there are even places in cities where the only option isn’t great. And upload speed is often still abysmal. Comcast, which had a monopoly at my previous rental within Portland, OR city limits, offered very fast download. But upload was only 6mbps with no increase available. For content creation, like uploading videos or photos, that’s a pain in the ass.

The real problem is higher speeds allow for a wider variety of use cases, which starts locking out people from bandwidth-intensive activities. Game streaming, for example, or content creation. So in a rural area, that means some careers are harder to get into just because the internet isn’t very good.
There is no reason to omit the crossbars. Capital "i" has crossbars; every elementary-schooler knows this.

Why select a font with an ambiguous character in hopes that you'll never encounter a situation where it's unclear... and then face a dilemma when it is? Simply select a properly-designed font in the first place, and all use-cases will be served.
Doctors are often not totally correct, but they're useful.
is 4021 prime

No, 4021 is not a prime number. A prime number is a whole number greater than 1 that is divisible only by 1 and itself. 4021 is divisible by 17, which is a number other than 1 and itself, so it is not considered to be a prime number.
can we stop doing posts like these on hn? thank you. by the time we have all figured out it's nothing malicious or not, the harm has already been done. or not. in this case, no harm.
There's a Halting Problem analogy going on here. (Or Rice's Theorem analogy, if you prefer.)

Once you build an AI program of a certain baseline sophistication, you won't be able to prevent it from leaking information you don't want it to leak unless it further achieves at least the meta-level sophistication of the smartest human asking it questions.
https://news.ycombinator.com/item?id=33838556
So I'm actually in that situation (I have young kids and can't realistically work more than 8 hours/day), and my actual response was: switch into management and have the young, enthusiastic employees work for me.

I feel like this thread contains a lot of people upset that other people are better than them at a game that's not worth playing anyway. Promotion is an extremely artificial game setup so that neither companies nor employees have to play the actual game of capitalism. In a real market economy you deliver value by trading with others; if you feel that others are capturing more value than you, take the other side of the trade. When competition requires that you work 60 hour weeks to be considered good at a field, that's a sign that there are too many people in that field and you should get out of it and instead consider employing that field in your new job instead.
NVIDIA invested billions in their software infrastructure over the past 15 years (CUDA was first released in 2007) and basically brute forced their way into academia back in 2008, sponsoring labs around the world to get GPGPU going.

Both mindshare and market share (outside of super computers) are just overwhelming at this point. Their market share in the consumer market is ~86% as of this quarter. The data centre market is quite fragmented when it comes to accelerators, but in AI training, NVIDIA is still the market leader.

> Game engines/engineers seem to be able to be productive on a wide variety of GPU hardware, why do so many ML libraries just not provide any support at all?

That's a different kettle of fish. Game engines rely on the graphics driver's implementations of low- and mid level APIs like Vulkan or Direct3D.

The brunt of the work is also often performed by the middle-ware (mostly Unreal Engine and Unity or in-house engines like Frostbite) that had been in development for decades; with most games focusing on high level optimisation wrt. the middle-ware used.

ML-frameworks on the other hand need to optimise compute kernels as well as data flow between host CPU and accelerator (e.g. GPU). This involves hand-tuning algorithms to best match specific GPU architectures, while most shaders used in games are basically the same across all GPU vendors and it's the vendors themselves who do the fine tuning and per-game optimisations in their graphics drivers (hence the obscene sizes of GPU drivers these days).

While that's a good enough approach for games, it's simply not possible to do the same for ML-models. There's just too much flexibility (no API that dictates which calls do what, when, and how) to make general ML-optimisations at the driver level.

> How come every ML library doesn't at least have an OpenCL fallback or the like?

OpenCL is horrible to work with and stopped being properly supported by vendors (e.g. newer versions are rarely being implemented and optimised). The difference between CUDA and OpenCL from an implementor's perspective is that CUDA works seamlessly with surrounding C++ code and compute kernels can be embedded in the host CPU code base. OpenCL on the other hand is modelled after the ancient OpenGL 2.x paradigm and requires tedious setup and careful integration (checking capabilities and all that jazz). OpenCL is basically dead at this point.

There are alternatives to CUDA, but most frameworks rely heavily on the highly optimised libraries NVIDIA ships (e.g. CuDNN) and don't have the resources to implement the functionality themselves. Some hardware vendors offer proprietary backends, like Apple or Intel and you just have to wait for them to catch up. AMD has ROCm, but that's more of a drop-in replacement that aims at running CUDA code on AMD cards.
I did some pair programming with it that was way beyond what I understand CoPilot is capable of. Being able to ask it to modify previous results is magical.

I might try this for work...
Yep. Thus the word "voluntarily."
No-MMU Linux Capable RISC-V SoC
Getting Wealthy vs. Staying Wealthy