skysight-inc/HackerNews huggingface dataset:
When was that ? Factorio has increased its colourfuness several times to make it more appealing :

https://factorio.com/blog/post/fff-320

(There's also now a saturation slider in the graphics settings.)

And maybe again with 2.0, including some more colorful new planets in the Space Age expansion.

P.S.: The Industrial Revolution overhaul mod might also be to your liking ?

https://mods.factorio.com/mod/IndustrialRevolution3
Correct, I edited "boolean" out prior to ^^P's comment. My apologies.
I feel you dude, I definitely am not comp maxxxing, and it's because I simply don't want to run with the horses at this point in my life. I've had enough banality of the corpo world for now.

Glad to hear there are still some old dogs like us making good money. :)
I would argue that the second rule is even optional here. There is enough literature (McConnell's Software Estimation, Boehm's Software Engineering Economics) that suggests that, given a well-scoped problem and other projects to base the estimation on, a good (+/-50% or so) estimate is possible. But if you don't know what you're building it's all wasted effort because you're estimating the wrong thing!
Many people on the Internet have completely different world views and moral systems. They think in ways that are fundamentally alien to most of us here. This is largely orthogonal to IQ. For example, in some cultures it's common to find people who would score above average on a standard IQ test and yet they literally believe in magic / ghosts / curses / astrology / etc. It's difficult for us to reconcile that, yet those people exist.
Why learning the C language is still a good idea [video]
Making Small Mistakes Prevents Bigger Ones
My neighbor in the early 90s was a 747 pilot on a regular route to Hong Kong. We’d give him a list of requests and a couple bucks and he’d come back with disks of whatever we wanted.
The Taiwan posts: Three classics from the Noahpinion archive
How could it be relevant to cryptography/simulation? Short of a symbolic algebra system, all numbers on a computer are rational. Pi is irrational but M_PI is rational. How can a PRNG be based on an assumption of irrationality when it has no access to irrational numbers?
No, it's because I love poems. I didn't know about that talk.
Mr. Haltiwanger and the Austrians
Even null in programming languages isn't so bad if it's a distinct type. The problem with null in languages like Java is that null is part of every reference type (C's pointers are another world of broken, null being basically just another unsafe invalid address).

Most languages nowadays do get nulls right, even PHP of all things.
Link going next to Diataxis [0] in my bookmarks.

0. https://diataxis.fr/
On the topic, do you know any approaches to infitesimals/differentials that do cotangents and pullbacks as primitives?

In practice, I always end up needing to work in cotangents, but deriving them is always roundabout in terms of the limit definition of pushforwards. Never found a nice way to swap which is primary and which is secondary, but it feels like there should be a clean view of it that way somewhere.
Slovak Interior Ministry confirms cadastre system hit by foreign cyber-attack
It's not so much the proprietary blobs, as the complete lack of documentation and debuggability for the peripherals. The PC platform, and several other SBCs, are either well documented, or at least give you the possibility of obtaining hardware with documentation.

That, combined with general flakiness (eg, power delivery issues for peripherals on older pis), and you end up with users blaming the software for hardware issues.

It's just not very fun to develop an OS for.
What options does an orca have? How is it cruel that they eat a shark? Have you ever even seen the cow, chicken, pig, etc. farms that are in use today? It's not like these animals are living in fairy-tale meadows all their life before they're killed.

And no, if everyone ate cows that way, they would not be perfectly recycled by the ecosystem. These out of context arguments are never useful because they sideline the facts, the scale and population of humans being the relevant ones here.
IRL is definitely not fallible but it's better than the internet-only. To my knowledge there's no way to stop a motivated and skilled actor, like a Bernie Madoff

It pains me that this feels true as someone chronically online and used to find great use from the internet, but online-only has more failure modes now. There's still ways to do it though.
you created an account just to comment this?
You were downvoted, but what you say is essentially true. H1Bs are a huge part of why it's so hard to find a job right now. BigTech games the system to make it virtually impossible for US-based people to apply.

https://substack.com/home/post/p-153688691 (not my Substack but has a good overall view of what's going on)
That's why they call it logistics and not shipping.
I think it's kind of obvious what my definition of existence could be from the answer above: if it's possible to count up to that number in finite time, that number exists. By counting I mean a physical process that requires discrete non-zero intervals between counts. And you don't have to count in integers, you can count in fractions, not necessarily equal at each step: the only requirement is that the element used for counting exists (in terms of this definition) and that you are able to accomplish counting in finite time.

To me, this pretty much captures what people understand the numbers to be used for outside of college math (so no transfinite, cardinals etc.)
Economic Depression and Dictators [video]
Indeed, I've written about this a little bit [1], they are growing in popularity due to a number of factors, one of which being, living in the moment. DVS1 has spoken with great eloquence on this subject as well [2]. These policies are the norm in Berlin places like Tresor. The industry culture has been really saturated by social media, live sets and destination sets [3], so many events are differentiating themselves by taking an different approach. It was a cool strategy when it started with Be At TV (RIP), (old) Boiler Room & (maybe) BBC R1 but it's lost its novelty at times I feel.

[1] https://www.instagram.com/p/DDkjBJhP1Sh/?utm_source=ig_web_c...
[2] https://www.youtube.com/watch?v=ISoPHerYsn4&t=1181s
[3] Think Cerce, Boilerroom
i mean usually FDE might not be staff level engineers
Ah I'm mixing up my terms, you're right.
Yea it shouldn’t but home owners are in the majority so what are you gonna do about it?

Also both of the parties are fully behind the interests of homeowners, with one of them being really obsessed with helping high-wealth individuals not pay taxes.

I wouldn’t expect anything to change.
I would think so, but we'll have 100 people come in and talk about the quality hires they get from LeetCode interviews.
Two stupid facts that rule the world
What a wonderful story. I've also had an experience of someone in a writing community being able to name a story I read in my youth, it is really a unique feeling to have a distant hazy memory made real due to the wisdom of another. It's a similar feeling to finding the perfect word for an uncertain feeling you've never been able to give voice to.
If it was all running locally, I could see someone getting away with it, possibly. At this point, it's just a tool?
Ha! It is a funny thing.. one time I was trying to remember something specific about a calibration table in a Subaru ECU and I googled it and found a great answer.. and sure enough it was something I posted years before. Ah the beauty of forgetting!
hahaha I wish you almost didn't include the parenthesis. I've had some clients who would definitely email me that point #1.
I obviously don't share your general opinion of the Israel/Palestine issue. But I do wonder - what about the first tweet (thread) do you think is wrong? Even if you think Israel is pure evil or something - especially if you think that, actually - his point makes a lot of sense- that what Hamas did will make things worse for Palestinians. I think it's undeniable that it has.

I'll note that the (unfortunately few) Palestinian peace activists I know and appreciate are all incredibly hostile to Hamas and echo a very similar sentiment to much of those tweets.

Edit: I'll also note that I think this is an especially terrible way to pick people to listen to. "Forget what other people say, let's see if they agree with my political ideas about a complicated situation. Oh, they don't? I'll ignore them" is a recipe for never learning or growing in your beliefs.
The brits have a tendency to claim a lot of things in regard to electronic music but they own „raves“ just as much as they own „acid house“.
The download page doesn't work. It gives Error 404 using Firefox on Linux. I don't even know if Linux is supported and if this is user agent detection problem.

Also the browser is not open source and the reason in the FAQ [1] doesn't inspire confidence (in my personal opinion)

In general I would stick with using zen browser that is Firefox fork with the best of two world (tabs and work-spaces) with Firefox extensions support that is the best of uBlock Origin.

[1] https://ublock-browser.com/faq
If you think payday lenders care one iota about debtors going bankrupt after collecting multiples of the original loan amount in interest, I cannot help you.
It requires manual interventions because the upgrade process is basically dump + restore. MySQL and MariaDB upgrade between major versions automatically — you simply install the next version (or change the version tag in your container definition) and restart the server.

Usually it takes almost no time, altought might be just as slow as PG when major changes to the data format are introduced. The only example I can remember is 8.0 when oracle completely rewrote the data format (making things like atomic ddl possible).
I think the concept of BS jobs is BS. That's because the fulfillment people get from jobs isn't tied to the value the economic value they provide to the firm or even the social value they may or may not provide. Some people may hate teaching because they feel it is soul crushing to them (especially if they are not supported and the school isn't in good shape) despite it being socially useful someone else may enjoy being an elderly greeter because it lets them continue working and they may feel they are providing some social value even if most people don't care another person may be happy working at the shrinkwrap factory because it provides money for their family
Hi there! I'm the author of the Seven-Action Docs Model.

Big yes. I think the 7A model is fully compatible with the likes of Diataxis, or with pragmatic initiatives such as The Good Docs Project [1].

1. https://www.thegooddocsproject.dev/
Great idea!

- What country/ies do you accept users from and which jurisdiction do you store their data in?

- Get a HIPPA/GDPR/PHIPA audit by a legal professional ASAP!
Software Development with AI: Isolation and Abstraction
That, and also let me tell you about a thing called margins. They help text not run into the edges of the screen.

I don't blame you for not using them though since evidently you never looked at your page on mobile ;)
Where else could language really come from besides appearing more or less spontaneously in the mind? All thought is like this.

Is there a level of consciousness prior to language that willfully assembles the next word out of more subtle mind stuff? There would be an infinite regress here.
If UW is anything like my state university your advisor should be able to access the system on your behalf.
Do you mean that agents are being hyped in the same way data science was in the 2010s, or that they’ll have a similar impact over time? Would love to hear more of your thoughts.
I would exercise my power as "Director of IT" to show this movie to all the other programmers in the company during lunch break.

At the beginning, when Forbin is shutting off the lights in the data center, and he gets to the second long hallway, I spoke up: "And that's the OTHER megabyte of RAM".
5 Years of Framework
Having been on both sides of the fence here, this is highly contrary to my experience. Large institutions are more than happy, in many cases, to bully anybody when it benefits them. But as soon as possible legal/media issues emerge they're going to suddenly be your best friend looking to make things right as quickly and cleanly as possible.

The ombudsman is definitely not a bad idea, but in most cases the mere hint of legal involvement would get this resolved without any legal involvement - just going on for a consultation doesn't mean one has to go to the next step, and in all probability you won't have to.
Yeah; self-hosted and open source I would be more open to it. This is just kinda sketchy.
Thanks for the suggestion! I’ve used Brave, and while it’s solid for bookmarks and reading, I’m looking for something more customizable-like adding tags, notes, the ability to run scripts on my data, and annotations- all in one place. Do you know if Brave has options for deeper integrations like this?
This is 100% the future of UI testing. The dream of BDD and Gherkin can be fully realized now that the actual test code writing/maintenance portion is completely taken care of.
>> I do wish I did pay some attention to CAD now. I want a 3D printer and have no idea how to design objects for it.

Get Solvespace: https://solvespace.com/index.pl

Do the tutorials. If/when you outgrow it, the concepts will carry over to FreeCAD which otherwise has a steeper learning curve but has more capabilities.
It also features in the Tate Modern's current exhibition "Electric Dreams - Art and Technology Before the Internet"

https://www.tate.org.uk/whats-on/tate-modern/electric-dreams
Oof - beautiful writing.

That sounds like it was out of Last Night A DJ Saved My Life [1]!

[1] https://en.wikipedia.org/wiki/Last_Night_a_DJ_Saved_My_Life_...
All of those things might have a authentication-free use-case for e.g. a babysitter (maybe not to change settings, but to use). For personal networks, being on your local LAN is in practice a decent form of authentication given the tradeoffs of otherwise having to manage credentials.
Oddly "hackers" are the ones who often revive defunct hardware or give users back control over their devices. Things like DRM laws seem to only enhance corporate interests.
This is annoying, can't we pretend to download the resources we have instead if just not doing it?
uBlock Origin is GPLv3 and yet this browser does not offer sources.
3DBenchy starts enforcing its no derivatives license
You can have a mass population be wrong. A 'small' margin victory doesn't mean they are correct about everything, like laws of physics can change because the population is delusional.

Covid was just harmless enough to allow them to perpetuate their delusions. But a more severe virus, where they can actually see people dying next to them, it couldn't be ignored, would wake them up.
Also the reverse — MySQL et al support much more complex replication topologies out of the box, including multi master for the very rare use case when you need it.

It's also much easier to tune, most database instances require setting innodb_buffer_pool_size, and that's basically it. Newer versions can even set it automatically if you're fine with consuming all memory on that machine, thus requiring no tuning at all.
If you want equality testing with nulls, you want to use `is (not) distinct from` instead of `=` and `<>` / `!=`.

`1 is not distinct from NULL` => false

`NULL is not distinct from NULL` => true

`0 is not distinct from 1` => false
It's difficult to read this comment. Why are you writing like this?
Location: the USA, Texas, Houston

Remote: Hybrid / In-person preferred, but open to remote

Willing to relocate: Yes (if offer is good enough)

Technologies: Node.js, Javascript/Typescript, MySQL, PostgreSQL, MongoDB, HTML, CSS, React, Docker, k8s, GCP, Cloudflare Workers

Résumé/CV: https://ykolomiets.github.io

Email: kolomiiets.y.n@gmail.com (with double "i")

I'm a Fullstack Web Developer, although my skills in Backend part is much stronger, with 8 years of experience. At my previous company I progressed from a Middle Software Engineer to a Team Lead, working across the entire product development life cycle. I collaborated closely with cross-functional teams—product, QA, operations—to design, develop, test, and deploy critical features. Throughout these roles, I consistently drove technical improvements, fostered team growth through mentoring, and maintained a strong focus on delivering business value.
> IMO, its not slavery because it is 100% optional.

It is slavery because the State requires prisoners to work for the benefit of the State (though there are some choices of what form of work), punishes them additionally for not working, economically exploits that work, and has (through all four branches of government, including the people exercising their power to legislate directly) worked to maintain that condition, and in many cases the prison firefighters have been explicitly cited as the reason it is important to maintain that system and maintain prison populations to feed it.

Had voters passed, and the State acted in accord with, this years proposition banning involuntary servitude, it might be possible to make the argument that prison firefighters were no longer slave labor, but that didn't happen.
I don't know I thought cars would be a bigger priority since they are much more numerous, bigger, dirtier and so is their infrastructure ?

It seems weird to concentrate your efforts on biking. What does it do, erode the mountains faster ? Scare away rabbits ?
This case could be different. Do you know he was suspended before? It makes sense that they'd want to ban him for a year if this is retribution. It all checks out. The email doesn't mention a previous ban which I'd expect to be mentioned if it was a factor.
Oh, thanks for that. I should pop into that the next time I'm in London.
Idris is Turing complete [1] and has a very advanced and expressive type system (dependent types) where type checking is still guaranteed to halt.

That's because the language has a notion of `total` functions [2], and only `total` functions can be used for computing type signatures. These `total` functions must terminate in finite time and not crash. AFAIK, they aren't Turing complete, but they're still pretty expressive. `partial`, Turing complete functions are still allowed at runtime (outside of type signatures) [1].

If I understand correctly, running Idris in the type-checking mode (`--check`) should give you what you want.

[1]: https://cs.stackexchange.com/a/23916/159425

[2]: https://idris2.readthedocs.io/en/latest/tutorial/typesfuns.h...
Furthermore if null only means unknown then we need a value for “known absent”, there’s a reason why null is so often used as that.
Yea, stuff with kids involved sometimes makes it SUPER unambiguous. Some people are very clearly willing to do anything to anyone, and are doing so as much as possible.
> Sadly, four months of my professional life were taken away. The case has not been fully resolved.

I'll do the OP a favor and put aside the fact that the two glass domes are completely different, and that you can't put copyright on circles and squares.

That out of the way, it really seems like this is all selfish by Victoria. You saw a design, thought you owned the pattern and likeness to that pattern (you don't), and tried to strong arm the developer into either commissioning the work from you, licensing the design from you, or just throwing it all out and starting over.

They picked "throw it all out and start over" route because who wants to be strong armed by you for no reason, and you're still butthurt by it. Obviously you have no case, or else you would have done something about the 4 months of suffering you claim you had (chose) to go through. The fact that you didn't win a civil case for your losses is pretty damning for your narrative here.
> The brain truly is a system with terrible service availability. On average, after running for just 16 hours, it must be offlined for 8 hours to run maintenance tasks such as "scrub", "garbage collect", "trim", and "fsck".

It's a trade-off. The brain is about as large as it can be while making birth possible. It already uses a lot of energy(2% of body weight, 20% of energy consumption). We also need it to be working at peak performance when we are doing activities.

A background 'scrub' task to keep it working 24/7 would probably use more energy (require more food and heat dissipation 24/7), possibly require a larger area (for redundancy, similar to how dolphins can sleep one hemisphere at a time and have really large brains). An alternative would be to slow down processes enough so that those tasks could happen constantly.

And then our day/light cycles helped select for this approach. Until recently there wasn't much one could do (safely!) at night.
They also get reduced time. Considering the program is extremely sought after, I think it should continue in light of the fact that its literally what they prefer compared to not doing anything
Are they a covered entity?
Who's name squatting boolean? The bool column is exactly what it claims to be, you just have the option of introducing unknowability if you define it allow nulls.
How do you deal with writing code with multicursors when you have to type the same thing multiple times? With monospace I just ctrl+alt+down a couple times on aligned text and then type. With proportional fonts I don't suppose it's easy to align text exactly, so do you just not use multicursors or is there a solution you came up with that works?
Fair enough, but disasters still happen. Someone in my family dropped a fairly late model iphone into a lake. They did recover it the next day, but by then it had leaked, i.e. it was deeper than the pressure it was waterproofed for.

A friend had hers snatched by thieves. Gone in an instant. I don't in general need the power (or camera) of an expensive phone (except for the app mentioned). And I'd rather have a recent, lower-end one than an older higher-end one, having been burned a few times by apps "not compatible with your device" due to the OS being too old, admittedly only on older iDevices that the kids play with or truly ancient Android tablets.

Oh, and two iPhone 7 vintage devices that were given to us as kids' playthings a few years ago (both with forgotten activation locks, so useless) were absolutely thrashed. They are tough but not infinitely so.
The sum of all human knowledge?

So all the proprietary and protected knowledge (trade secrets etc) that companies and governments hold as well?
His dad? How do you know? One doesn't count React in the LOC so why should one count a boilerplate template? As I said, LOC are not a good proxy.

Update: I see, LightNap is the work of Ed Kaim, surname checks out. https://github.com/SharpLogic/LightNap
Wait... a uBlock Origin browser, not affiliated with uBlock origin? Using their branding?^1 "Privacy Focused" to support open source software without being open source?

This is awfully confusing and I reject it.

^1: or maybe just slightly modified? That "O" in the uBlock Origin logo might be turned into a "b" but it's sure hard to tell.
->Before or after Snowden, Diffie-Hellman (it's Martin Hellman with an “e”) is a good key exchange mechanism!

Meanwhile, ~10 years ago
https://weakdh.org/imperfect-forward-secrecy-ccs15.pdf

After a week-long precomputation for a specified 512-bit
group, we can compute arbitrary discrete logs in that group

in about a minute.

We find that 82% of vulnerable servers use
a single 512-bit group, allowing us to compromise connections
to 7% of Alexa Top Million HTTPS sites. In response, major
browsers are being changed to reject short groups.
We go on to consider Diffie-Hellman with 768- and 1024-bit
groups. We estimate that even in the 1024-bit case, the computations are plausible given nation-state resources.