skysight-inc/HackerNews huggingface dataset:
Google can just say ‘if you’re on this network, you only get poor quality video. Come to one of the networks that support YouTube properly!’.

Remember that for a while they were just about the only site that could load Flash. YouTube is that important.
https://anandchowdhary.com has 10+ years of my words and work.
Dnicholas.me/blog

Have fun. Criticism welcome.
I grew up in a socialist country before the fall of communism. Us kids of my generation were envious of the flashy lights and billboards that we saw in the movies from the west.

The architecture of pre 20-th century was as flashy and kitschy as the people of the day could make it with the technology at their disposal. Look at the façade ornamentation and ostentatious spires of the old churches. Or the imposing architecture of 19th century government buildings, with the government often being the king or a bunch of wealthy landowners.

Anyway, I prefer the architecture reflecting the hustle of today’s commerce to the one made to glorify the past authorities.
> inexperience with dopamine and its effects on dopamine production, being easier to condition, FOMO

I know this is an unpopular opinion, but this is entirely in the hands of the parents and far from new. You build their mental toughness by taking them under your wing and introducing them to the offline world beyond the walls of home and school.
This is the same approach I took when trying to set up a small project site at SDF.org. It was a great way to build a site, and learn some new things while having a bit of fun. Sadly, I just don't have the time to generate the content I wanted to do, so the site sits.
German ISP Telekom is notorious for shenanigans like this, which is why I boycott them.
> Mind you, Hetzner webhosting starts at 2 EUR! How crazy is that?

Oh yeah?

and netlify is totally free for an infinite amount of sites! how crazy is that?

> We use a short Python script with exactly 45 lines of code. Including comments and blank lines.
>
> In summary, this is the simple toolchain for building our web:
>
> Developer updates index.src.html
> Watchdog.py detects the file change and ...
> ... renders Jinja template into index.html and ...
> ... calls Tailwind CSS CLI to generate styles.min.css.

love posts like these that insult literally any other way of doing things except their way, claiming it's "simple" when in the end they don't even show the step by step code or link to any repository that shows how it's done. regardless of "without frameworks or tons of libraries", its esoteric and definitely not an average or common way of doing things (to the rest of us), and clearly DOES use codes (and/or?) a framework!!!

no description of what the heck "Watchdog.py" is, no description of what Jinja - I for one don't know what either of those are, sorry if i'm an "ignorant normie"

simply put, it's quite clear you ARE using frameworks, just in your mind, perhaps, you "aren't"

this whole framework vs no framework vs BS vs BS vs BS has gotten really out of hand, and 99% of devs cant see the forest from the trees

what in the world did i just read
Fixed. You know what I meant.
https://simple.industries/
Does it mean that if my thermometer shows 10C it might be lying because of its political bias? Or did you miss an “/s” and I the sarcasm?
Very interesting. Please can you suggest a reference?
Yeah jobs search is miserable right now. Recruiters seem to have no sense of urgency, I'd get initial phone calls scheduled like a week out. The 2-4 days for them to get that info to the hiring manager, then if they want to move on, you get a first round interview scheduled with an unavailable engineer maybe a week or two out again. The 4more rounds like that of 1 hour interviews.

They gather all the feedback and reject you on a scheduled phone call a few days after the last one.

It's almost like they don't really want to hire anyone. There's not reason this can't be done within a week, two at most.
I regularly use old and older devices in my work, and they work fine as long as I don't go to random shady corners of the Web.
I recently built AI Search with 0 frameworks and dependencies (please don't hate because of the word AI)

For comparison, similar sites are a lot heavier (not criticizing anyone here)

phind.com = 1.09MB

you.com = 1.3MB

aisearch.vip = 0.035MB

I still find the ~1MB of other sites to be ok, but 35kB is the smallest I've ever made a full SPA and that's simply because every single letter in the code is specifically made for this one and only site (and uses vanilla everything)
blog.zaqlabs.co.
Trying to steelman what he's maybe saying, it could be a question of scale. An unelected Federal executive "urging" (lol) private companies to manage content on their platforms in some defined manner has the potential for massive impact. I think that's the difference because there hasn't been a technology able to do that in the past. At least the Alien and Sedition Acts and the Espionage Act were acts of Congress, however misguided.
It could be a deliberate rejection of the standard format of a blog. Here's the issue which seems like a less confusing starting point: https://deprogrammaticaipsum.com/issue-58-community/
“ A blog post from a corporate entity only has a 8% shot at making the FP”

This is not the same as saying 8% of the FP is corp blog posts

Actually stopped reading at this point

Also first post
fatpacking bolts the source code untouched onto the front in a way that leaves you a single readable pure perl file - and is limited to pure perl modules as a deliberate decision to keep things simple and clear even if you've never encountered a fatpacked script before. Well, also because trying to pack XS is a freaking nightmare - that way would lie recreating PAR and Audrey's busy being a minister in Taiwan's government so generally not easy for me to consult these days.

Ok, I do actually have a hilariously awful trick that manages to wrap DynaLoader to read from a Base64 encoded .so that's inlined into the fatpack but that was more a "wondering if I could" thing than something I've ever felt the urge to actually use in anger so I've (so far) resisted the siren song of CPANing it anyway because people have an unfortunate tendency to forget that I, too, release things that are terrible ideas sometimes.

(though being able to use XS modules with a single file you squirt over an ssh connection ala Object::Remote without needing to write anything to disk is kinda fun, especially when you do it with DBD::SQLite ;)

APPerl sounds like it could be awesome, App::staticperl is the closest to it I've looked at so far, though since APPerl definitely wants to write to a non-noexec filesystem I wouldn't be surprised if I there are cases where if I had that and a toolchain available I'd end up using it to run Perl::Build to bootstrap a more normal perl and then go from there.

Either way, thank you very much for pointing out APPerl's existence to me. Even if I don't end up using it myself, having it in my mental index of available crazy things will almost certainly eventually result in my suggesting it to somebody else who'll find it the least insane way of getting the results they need :D
How do you access files and the network? A library that talks to those services via shared memory?
https://andrewodendaal.com write about coding, DevOps, etc
Not criticizing your take, just curious–grades and GPA have never been a primary factor for any of the PhD admissions committees that I've been on or exposed to. Usually other factors like research experience, letters of rec, and other personal experiences easily outweigh grades, especially if they're just Bs (very low grades would be an issue). Where are your B grades affecting your grad school applications?
There’s way more ugly graffiti scribbles than street art there, sadly.
My eyes naturally snap to moving objects and track them. And even if I only look at the spot where I want the cursor to be, I can still see it moving and leaving frames behind in my periphery. And that's at 144hz. I'm thinking of getting a 240hz or 390hz soon though.
https://kcoleman.me
The only widely available LLM-based autocomplete is GitHub Copilot, which is based on GPT 3.

Notably, it's not GPT 3.5, it's 3.0, which is pretty stupid as far as the state of the art goes.

The upcoming Copilot X will be based on GPT 4, which has "sparks of AGI".

In my experience there is no comparison. GPT 3 is barely good enough for some trivial tab-complete tasks. GPT 4 can do quite complex tasks like generating documentation, useful tests, finding obscure bugs, etc...
https://caiustheory.com/
Our best hope would be exploit devs, cryptographers and infosec professionals with reverse engineering skills. It's incredible what some people can do with a black box system and no tools aside from a voltmeter and logic analyzer. First you probe the chip with the voltimeter to find where data is being interchanged, then you hit it with a logic analyzer to look for patterns, then you start breaking it down with cryptanalysis, which is really about finding patterns in noise. I think you'd be surprised what the best minds would be able to decipher, given the right hardware and unencrypted data. If the data's encrypted, it gets a lot harder, especially if the encryption is advanced enough that it basically looks like noise. But even then, there has to be some bootstrapping process, so we'd be able to reverse engineer that part of it, and then would need to hope to find an exploit in the encryption.

Regarding cables and such, you'd have to expect that you wouldn't just find a single isolated hard drive. Even if you didn't have a full system, surely there would be cables and auxiliary components strewn about. And if there weren't, their absence would probably be significant, since you'd know they used some material that didn't survive as long as the material used to make the hard drive, and could infer its properties from that. So you'd probably be able to piece together which cables plugged into which components and make educated guesses about voltages and the like.
https://dvdkon.ggu.cz/

It's not much, but it's my home for things I make that are at least somewhat like articles.
that is a useful stance for someone who argues for the status quo. label anything you don't like "fake news" or "fake science" and go on whistling past the graveyard.
8 of my last 10 blog posts[1] made the front page of HN. Before that, my posts only made the front page infrequently. What changed is I started picking topics and framings which are more appealing to HN readers, and I credit Michael Lynch's course[2] for helping me to do that. He is surely one of the best authorities on what reaches the front page of HN.

[1] https://news.ycombinator.com/from?site=agwa.name

[2] https://hitthefrontpage.com/
https://blog.zaqlabs.com
Steam Machines never really launched. Index is still sold and hasn't even had a price cut after half a decade. Steam Link hardware was discontinued not because Steam Link was a failure, but because they moved it to an entirely software/app solution which continues to see active support.

Steam Controller was a bit of a bust, but it sold ~2 million units so not entirely. They probably made their money back.
Nitter frontends and Mastodon bridges have repeatedly been struck with DMCA takedowns and cease and desist letters because someone Googled themselves and found a strange website replicate their account.

There are malicious people out there (on large, official platforms as well, because moderation is fiction) that will replicate someone's social feed and then adds controversial crap/crypto scams/weird stuff in the middle of it all. Taking action against imposters is sometimes necessary.

If you're a normal Youtube channel and you find someone "ripping" your videos to Yewtube, I completely understand why someone would demand a takedown. Most people barely know how to operate a browser, let alone understand the concept of privacy preserving alternative frontends that work through local implementations of Youtube's client code.

If you're some underpaid tech support person who gets a DMCA complaint about such a mirror, I wouldn't be surprised if they decide "take down first, ask questions later" would be a safe bet.
99% of developers are out her building with php, .net or Java and its fine
Alright, I’m gonna be that guy.

Right now, sveltekit + skeleton has absolutely blown my mind at how fast you can make a usable prototype. It’s honestly insane. You don’t even need to know svelte, really. As long as you can understand the file based routing thing, the rest is just html unless you really need more. Especially with the tailwind stuff built right in and a mostly vanilla looking theme.

I’ve tried probably a dozen different things in the last few months, ranging from Astro to Lit to NextJs to using the built in golang templating system, pug, eleventy, and more I’m forgetting. So far this is my favourite in just about every way.
I've been asked this numerous times, and similar questions. Most of these questions boil down to "are you, the interviewee we are about to give a job to, a crazy person". Most likely you are not, so find some plausible scenarios, like a missed deadline, scope creep, or any of the normal shit that happens to us, humanize the other in the story, state the resolution (or what you changed in process), the end.
getting phd at 27 is suuuper early. Granted, friends might start to work at 23 or 25-ish but we're talking about a doctoral degree, which makes a visible difference on job hunting in the field of computer science I'm in.
Open source doesn’t mean active authority, because you have the source code doesn’t you have some level of control on the repo that the source code is being host, having Go source code doesn’t mean you have the right to just commit into the Golang repo without checks and decisions
But you aren't held accountable. At least not as much as LLMs nowadays. And speed is also irrelevant as stated above.
Location: Florianópolis / Brazil Remote: Yes
Willing to relocate: Maybe in the future

Technologies: Haskell, PureScript, Nix, JavaScript

Résumé/CV: https://praiseweb.com.br/

Email: walkerleite490@gmail.com
> I'd say better tools could help in some ways, but you still have the fundamental problem that even if I go and download Github's or Stripe's schema from their codebase and statically link it into my code, I don't control when they deploy their systems.

> They can literally update it in the FUTURE, and static checks fundamentally can't handle that -- only dynamic checks can.

You're not wrong, but you are underselling what reasonably disciplined adherents to a static regime can use to their advantage.

----

My favorite commentary (in favor of your position of what static can't do*) include:

- some remarks Gilad Bracha once made on some podcast (might've been Software Engineering Radio) about how hardware at base is not static, which feels somewhat counterintuitive when low high-level languages like C are in the same room suggesting that the truth is otherwise

- Lars Bak giving an interview about V8 at Microsoft to Erik Meijer and Charles Torre(?) where Lars breaks the latter's brain by pointing out that even if JS hadn't won and you were dealing with a purportedly better static language like C# compiled down to CIL, then the engine would still apply the same treatment to the payload it received, insofar as performing "inefficient" dynamic validation

* which happens to be my position, too, to be clear
Thanks for sending by the mathlib examples. They're not particularly intelligible for me, but it's something to work towards.

Generally speaking, I work in the intersection between optimization, differential equations, and control. To that end, there's a variety of foundational results in things like optimization theory that I'd like to see formalized such as optimality conditions, convergence guarantees, and convergence rates.

Two questions if you know. One, which theorem prover would you recommend for working toward these kinds of results? Two, is there appetite or a place to publish older, known theorems that have been reworked and validated? And, to be clear, two is not particularly important for me and my career, but it is for many of my colleagues and I'm not sure what to tell them about it.
I dont know if its changed, but you can only watch 1 thing on youtube at a time with the premium account, like not even with ads. it straight up stops the other video.
IANAL either, but I have held a security clearance and this is very dangerous advice.

Unless explicitly declassified the leaked information remains classified, and those who hold security clearances are legally required to avoid all classified information outside of their need-to-know [0].

Now if you have never held a U.S. security clearance, you're less likely to be prosecuted but the history and precedent is murky [1]. The average Joe Sixpack checking out Wikileaks is probably safe, but if I were a journalist publishing the next round of Pentagon Papers I would much rather have a small army of lawyers and a friend or two in Congress.

EDIT - Google has federal contracts, so they are probably bound by similar agreements to at least make an effort to avoid any such leaks in their training data for public-facing models.

[0] https://www.csmonitor.com/USA/Foreign-Policy/2010/1207/US-to...

[1] https://www.npr.org/sections/thetwo-way/2017/03/22/521009791...
Agree, when did simple template expansion go out of style?
The Law of the Land
> Computers as a tool for educational purposes is different than a TikTok stream.

But nobody is banning TikTok. All schools that do anything about smartphones are always banning smartphones as such. Nobody is showing the kids how to use computers properly nor is anyone expecting them to use them for anything but games and social. Schools are just giving up on the subject and closing themselves in 19th century world. The same TikTok justification would be used against school computers until they are locked down so much they cannot be considered universal computers anymore.

> Corporations locking down work terminals is legally permissible and morally correct.

And a reliable way to get rid of the best employees by optimizing the whole organization for the worst ones. This is schools we are talking about. Pulling everyone down to the lowest standard of behavior is clearly against schools' mission. Schools should be instead optimized for the best students and push everyone to be their best selves.

> It isn't totalitarian, I disagree completely with the use of that term and with the implication that teenagers should have franchise at any level above local.

This is a bit OT, but aren't teenagers smarter that pensioners in every way you can measure except vocabulary? Aren't teenagers emotionally, cognitively, and physically clearly closer to 18+ adults than prepubescent children? If so, what makes you think they aren't effectively adults? Anyways, prepubescent children don't get to vote for practical reasons, specifically because they don't care and because they are under strong influence of their parents. Neither reason applies to teenagers.
On iOS Safari, sometimes the same element type on the same page will be different sizes (e.g. the navigation buttons on xkcd).
Normal Development: The Photographic Dome and Children of the Yale Psycho-Clinic
SEO -> HNO
> Edit: What's the RAM overhead of this? Is it ~64B per 128kB deduped block or what's the magnitude of things?

No real memory impact. There's a regions table that uses 128k of memory per terabyte of total storage (and may be a bit more in the future). So for your 10 petabyte pool using deduping, you'd better have an extra gigabyte of RAM.

But erasing files can potentially be twice as expensive in IOPS, even if not deduped. They try to prevent this.
I guess I’m a naysayer but I hate mine. It’s so big in its case that’s it’s impractical to take on trips with me. The games I happen to want to play don’t work on it without hacks and I find it pretty uncomfortable to hold.

I recently got both a GPD Win 3 and 4 and I’ve found they’re much better in all the areas I care about. They’re more expensive of course but better to spend more on something that you use than spend less for something you don’t.
Well, that's a very American way of doing things that most places simply don't do. The norm is for tools to be compatible with all brands and at best it is an added option to unlock or a pay per use. You can do 99% of the diagnostics with a Wish Bluetooth dongle and a free android app if you wish, since by law it is an open standard.

Most specialty equipment costs less than a mechanic can earn in a day. You even order the parts from the same company no matter if the bumper is for a Mazda, VW, or an Alfa. Or a Kawasaki motorcycle for that matter. This lock-in behavior is, luckily, mostly illegal.
The one very specific oddity depending on how old the system is, at make sure the GPU supports Vulkan. Yes, you can force it down to OpenGL but compatibility is low and buggy. Not the fault.of proton as they are just focusing on the path forward.
> Maybe you didn't know what you were doing?

Okay, I'm on Hacker News, what are the odds I don't know what I'm doing?

You don't "just install" Diablo IV on the Deck. You have to add the Battle.net Setup binary as a non-Steam app, or go through Lutris. I chose to not use Lutris and instead go through Steam which requires you to go to desktop mode, install it, and then change the paths from the setup binary to the Battle.net Launcher binary, which means going through the file system to look for it, and the paths could differ depending on whether you installed it on an SD card or the SSD.

Apologies for being defensive. I want to make sure people who read this thread take the positive reception with a grain of salt. I had to do all of this as a brand new Steam Deck user. All of this was made more complicated by a couple of UI bugs in the Steam UI and the fact that desktop mode has a bug where the keyboards and trackpads stop working randomly unless Steam big picture is enabled. I had to discover all of this through Google searches.

A couple more problems: one of the tutorials online forgot to mention you have to change the launch directory as well. That was about an hour wasted trying to figure out why Battle.net was not launching. Additionally, you can't download games with the screen off. That's because pressing the power button behaves like a computer, in that it makes the entire OS go to sleep. You have to literally keep your Steam Deck on in order for it to download the game.
The grandparent specifically wanted to know who the authored the propaganda. The article is just about box office scores. It's not something a sane person would regard as propaganda. Hollywood movies however have long served as a core component of American soft power.
I wasn't debating the ethics of buying a poor and enslaved person's teeth off them, I just wanted to correct the idea that George was jamming them into his gums hoping they would grow. The teeth were used in dentures.

Yes, a social system in which your involuntary labor all goes to your "owner" and in which you are reduced to selling your teeth for spending money is an abhorrent one.

It's capitalism ad absurdum. Sure, today people are born "free", but they still have to pay money to keep a roof overhead and food on the table, and that same money can be used, say, for dental procedures that could save teeth, so in a way people still have to make choices about whether they'd rather have money or teeth. They just also have more options for getting money. You can still see the impact of these forced choices in poor people's mouths.

The beneficiaries of this indirect coercion -- when restricted to the subject of teeth -- are today mostly dentists, and the actions chosen are mostly inactions (skip treatment, get a cheaper treatment). In those days, the beneficiaries included people who needed dentures, and the actions were less passive: They involved submitting to pliers.

On the ethical spectrum, it's somewhere quite a bit worse than buying a wig made of a Pakistani lady's hair, but better than buying a Chinese prisoner's kidney.