skysight-inc/HackerNews huggingface dataset:
(1) is premised on (2), which is not right. Some SQL RDBMSes are statically typed (e.g., PostgreSQL) while others are dynamically typed (e.g., SQLite3).

If you're building on SQLite3 then you're going to have to do run-time type checks anyways (even if you somehow disallow access to the DB that bypasses your application). So maybe don't build on SQLite3.

This is a shame. We really do need a SQLite3-like DB that is statically typed.
> Could you give some examples of what the use cases are where Rails makes it hard to stray from the beaten path?

Rails is amazing for greenfield projects. It will automatically do things for you which will greatly reduce the amount of boilerplate you need to write as long as you follow the framework's conventions.

However, Rails has a less than stellar reputation from those who have maintained long lived projects which use it. Rails' conventions encourage the use of fat models where business logic is implemented in the models themselves.
With the default scaffolding Rails provides, every single model and all of this business logic ends up in the project's app/models/ directory without any separation between different features. Because the default doesn't cleanly separate business logic with well defined boundaries this means that Rails apps tend to evolve in a way where everything starts to become tightly coupled with everything else. When the business requirements for the application inevitably change this tendency towards tight coupling between models makes it difficult to make major changes to existing code.

I've also seen hacky workarounds used in Rails based apps which exist to make complex business logic work (e.g., saving one model doesn't implicitly trigger hooks for business logic on other related models). These hacky workarounds usually break the conventions Rails uses and ends up requiring extra boilerplate to be added elsewhere in the application.

Some developers try to avoid this by hand rolling more architectural layers (e.g., "Java/Go/Node.js/OOP like") on top of Rails to try prevent this, to varying degrees of success. Other frameworks (e.g., Django) try to encourage developers to separate different features into distinct modules to try and prevent them from being tightly coupled with each other.
Why would this random deal of all things tip any scale for Trump? He's not some unknown quantity that's opposed to this kind of thing, he had tons of similar efforts, many of which crashed and burned.. https://www.nbcnews.com/business/business-news/foxconn-plant...
They were simply describing the impact of relative costs on substitute goods.

https://en.wikipedia.org/wiki/Substitute_good
I wonder how much peaty whiskey can be produced sustainably. Peat moss grows extremely slowly.
Computer-1 [case] – Teenage Engineering
All the TRIPS agreement requires is 50 years. That can be from first publication, regardless of when the author dies.

The US should go with 50 years from first publication. It doesn't have significant financial effect for rights holders. Revenue on content over 50 years old is tiny. Maybe if you're still alive, the sole author, and own the rights yourself, you could apply for an extension for the rest of your life. But no more than that.

Someone with Trumpworld connections could push this, as a way of getting back at Hollywood.
the US wants to stratigically diversify away from TSMC, in case a war does start.

Not to mention that having more competition in the fabrication industry can't hurt.

The only question is whether taxpayers will get the value and benefit from this investment. I would hope so, but i can't tell from the past whether such an investment have netted benefit overall.
There was an AI news/analysis channel that I had to unfollow because of this. The guy did a good job distilling down the news, but half of the length of each video would be random AI-adjacent videos (like footage of someone testing a drone or a self driving car) that had nothing to do with what he was talking about, and I found it difficult to focus when I couldn’t be sure if the stuff on screen was supposed to be relevant or not (he’d often cut to charts or samples of a video output).

Lately in slop-land I’ve also seen shorts where the creator will take an old boomer joke (one of those “and then the student stumped the teacher” kind of stories) and have an AI voice read it while the video is cuts from “satisfying animations”-genre videos.
spelling brainrot as "brain rot" is brainrot
This is literally what the article at the top of this thread is about, why are you presenting this information as if it's unrelated? Additionally, OP said it was chemical + sunburn, not lime juice alone.
> for some

And for others will bring to mind "The West Lothian Question", or "The Karelian Question" or even "the $64,000 question" and won't bring to mind any antisemitic polemics whatsoever, and they'll scratch their heads as to how you can turn something as benign as "the X question" into antisemitism.

But it's a source of power to spot a means to punish a person for infractions, and to come up with a plausible infraction and get them pushed through that process. I think ultimately it stems from fear of a mob of riled people who could completely sully an organisation's reputation, and some organisations will accept the worst-possible intepretation of any statement and require mea-culpas, reparations, whatever, just in case standing their ground ires a mob.
From what I’ve heard, men are also not persuing.
Intel is the only hope for relatively short-term microprocessor fabrication on the continent.

TSMC is trying to do fabs here but that's going to take ages to scale.

The real question is, how do you subsidize this sort of development from scratch while not hamstringing or ignoring already developed abilities. For promoting advanced chip fab inside of the US, intel is america's best bet.

The only other option would have been AMD, but they closed their on-shore fabs like two decades ago afaicr.
Dr. Barbara Oakly is pretty renowned in this area of study and has a free online class.

https://www.coursera.org/learn/learning-how-to-learn
In TDD, I would have to iterate over the hello_from procedure 900 times to create the software design.

In CDD, I created first the software design by translating "can't" statements to errors and then iterate over the errors following specific rules to create a tree of stack traces that created the software design and then I TDD over that design to complete the application.
exactly!

"Brain rot" is when you have gangrene in the brain. Brainrot is when you have tiktok in the brain.
Put that software on a small drone.
This is false; with formal analysis tools like CBMC, you can prove the memory safety properties of your C code. You can even statically prove lack of integer overflows and that asserts are unreachable. I'll agree this is uncommon in general, but CBMC is used for various C codebases where I work. Though this tooling is also available for Rust with Kani.
It orange cat genes when it's orange-cat-gene time.
I 'git clone' and 'cargo run' and it downloaded 16 crates and compiled all the crates and built a debug version in 29.7 seconds.

Then 'cargo build --release' took 23.3 seconds.

Commenting out one of the sort_unstable lines and rebuilding gave me a warning, recompiled in 1.8 seconds.
This seems like a contradiction but I don’t think it is. What it’s really saying is that experience is a precondition for intuition.

When a high school student looks at a high school math problem they’re drawing on all of their experience in K-12 math to get intuition for how to solve the problem. When they leave high school to study math in undergrad they struggle because their experience is no longer sufficient. They’re faced with a lot more abstract problems and the demands for rigour are much higher. The problems also tend to operate at higher levels on Bloom’s taxonomy [1] than high school math, something with which the average high school student would have little or no experience. It is this unfamiliar territory where intuition is hard to come by.

After gaining more experience (later undergrad and into grad school and beyond) the intuition starts to come back. But it’s fundamentally a different kind of intuition. In high school math it was often a visual/geometric intuition that teachers were trying to build. In higher math it’s an intuition for abstractions and for the tools you need to attack problems. This is really no different from a programmer looking at a problem and saying “I need a hash map and then this problem is trivial.”

[1] https://en.wikipedia.org/wiki/Bloom's_taxonomy
That's just not how it works on any scale other than "toy"
>...click bait for engineers. The right answer is almost always just medium sized services

Those engineers are probably remembering a time when microservices were The Way.
> The most significant part of Crick’s idea — and the part that Watson ignored in his oversimplification — was that there are three flows of information that cannot occur, due both to lack of experimental evidence and any plausible biochemical mechanisms. These were protein → protein, protein → RNA and, above all, protein → DNA.

These are categorically untrue. Post translational modification of proteins (by proteins) is a thing. Post transcriptional modification of RNAs (by proteins) is a thing. Transposition of DNA sequences (by proteins) is a thing.
I wouldn't stress too much about 'brain rot' being the "word" of the year. The Oxford Word of the Year 2015 was the 'Face with Tears of Joy' emoji

https://languages.oup.com/word-of-the-year/2015/
I never understood the "low code" microbubble that was being inflated.

We went through that era already. We called them RAD tools, and they targeted the same sort of strange, mythical end user profile. Someone so technically capable and apt that they could navigate a dizzying domain of deeply buried checkboxes, property fields, and sprawling relationships & side-effects, but who was also simultaneously unable to understand source code or program structure.

When using them you would quickly hit a point where making changes to relatively simple things would take mounting an archeological dig of GUI controls that would have otherwise been a few simple find & replace operations on code in a regular environment.
Idk why you got downvoted. It's an excellent question.

For those who don't know, with PostgREST you write all your application logic in SQL, and you export schemas (which are a subset of your actual schemas) with a RESTful API automatically generated by PostgREST.

Meanwhile PostgREST is built on top of PostgreSQL, which is statically typed, and is written in Haskell, which is also statically typed.
Consider getting your eyes checked - visual field test, etc. I believe sparkles in the periphery can be a sign of glaucoma and probably other nasty stuff. I know you're talking about when looking at a projector but maybe your peripheral vision could be affected and this is how it presents.
Sometimes it is weird to see a webpage from my university on here. Usually UH doesn't get a lot of attention for its STEM. At least from my anecdotal experience.
Convoluted how?
Ruby is strongly typed. Dynamic typing and inferred typing are not the same as typeless. B and Forth are examples of typeless languages.
I also appreciate Derek and his writing. But his style is like catnip to the 20-something-single-guy part of my lizard brain: sometimes he's missing a degree of duty, responsibility and community consciousness as he approaches situations. You've got to read his stuff with a critical eye, because a lot of it ignores the responsibilities that a mature grown person has.
I love actors as a concept and I heard some large companies (Expedia) implemented large parts using them.

But I also saw how hard it is to understand a large system that built using actors. It is just hard to comprehend all the communication pathways and what happens in the system.
You can trade money for convenience. People that simply want stuff for free can waste 5 minutes to figure out how to use a torrent client.

Hell, 20 years ago I had to invest time and trust to get the connections to proper IRC distribution channels to get releases as soon as they were made available by the scene. Yeah, I was a teenager without money to pay for a proper Usenet subscription to download Linux ISOs. :)

As soon as Netflix entered the streaming market in my country, it didn't take long for me to stop sailing the seas.

I bet these pirates got a nice and shiny app to make official streaming platforms envious.
Were these payments for access or donations?
I cant find any information on models you support?
They got the braincell
Then don't use a laptop screen.

I wouldn't consider a loud projector, but I love using my 48" OLED.
I too learn better by myself.

But I think there's a difference between someone who 'teaches' you and someone who is at a high enough level to discuss ideas or issues with you.

For example, in my first job I 'learned' the most not from the senior engineers around me but from another new grad who was just as curious as me.
We would discuss issues we're having, brainstorm solutions etc.
It was not so much that I learned from him, but that I had another brain of similar competence that I could fling ideas at.

Not having such a person makes your job more difficult (as you might find yourself in a rabbit hole and desperately need someone else's perspective) and much less enjoyable.

Imagine not having a competent dev in your team to review your code.
In uxn, the result of division of anything by zero is defined as zero (there are no error conditions in uxn). I did not know that Pony is also doing that. This is not a proper "division" (since it is not always a multiplicative inverse operation), but it does not necessarily have to be (and, as another comment mentions, the integer division operator in many programming languages is not a proper "division" either); it is something else which might use a "/" sign or the instruction name "DIV" or whatever.
It is not TDD because CDD does not architect the software through refactoring passed tests.

It architects the code from the errors by following specific rules
Big in 2021 (391 points, 228 comments) https://news.ycombinator.com/item?id=29027328
Isn't CT much about higher-order parameterized type-signatures of a set of "classes" that can usefully work and be combined with each other?

Then instead of grokking the CT and its theorems as a whole it would seem to be useful to learn about such type-signatures among a set of collaborating (OOP-like) classes which are useful for many programming tasks?

In a sense categories then could be seen as formalization of "Design Patterns"?

Something like that?
this is the least amount of loc I can think of rn

data = { i+1 : sorted([ x for x in list(map(int, open('input').read().split()))[i::2]]) for i in range(2) }
total_distance = sum(list(map(lambda x: abs(x[0]-x[1]), zip(data[1], data[2]))))
print("part 1:", total_distance)
similarity_score = sum(list(map(lambda x: (x*data[2].count(x))*data[1].count(x), set(data[1]).intersection(data[2]))))
print("part 2:", similarity_score)
Does "Europe" give any indication that they want trillion dollar companies?

(Also, come on, it would be a trillion euro company.)

On the contrary, I think any company that grows that big would be split into smaller companies. This makes sense to me. 100x10b euro companies, or 20x50b (∆) euro companies provides a much higher social benefit than a single behemoth, even if it doesn't make the magical GDP number go exponential. Small companies can be controlled by legislation. Huge companies do the controlling, and that way lies dystopia. Trillion dollar companies are the American dream, not the European one.

(∆) Realistically it wouldn't divide that way of course. The value of the split companies won't equal to potential single huge company, they'll be either higher or lower.
If "0 is not an allowable value for b", then (a/b)*b=a is not defined when b=0, so it is neither true nor false, since you had previously agreed that b=0 is not allowed (regardless of what "/" and "*" are meaning in this context).
It’s called subsidies
> they run the auth server

I don't think this is true unless you are logging into your router using the ui.com console. Logging in to my UDM POSTs to the local address and works without a WAN connection.

> also push automatically installed updates

I suppose if you've enabled them.
> "yodas" who guide you

is not a fallacy because it doesn't work, it's a fallacy because such teams rarely exist. I have worked on one or maybe two such teams in my career, but the truth is to get on a team like this you already have to be exceptional.

If you require a team of elite experts that are not only technically excellent but also love teaching untrained juniors in their ways, then you it may take you longer than the typical span of such a career to find these people. Then, even if you do find such a team, they're extremely unlikely to take you under there tutelage unless you yourself show an impressive potential to learn. And people that are truly exceptional don't wait for the right teacher to start learning.
Their internal culture hopefully has been rejuvenated by now
You don't determine what CPUs are fast or reliable by reading forum comments and guessing, why would filesystems be any different?

That said, you make a good point. It's actually pretty hard to quantify how "stable" a filesystem is meaningfully. It's not like anyone is doing Jepsen-style analysis of filesystems right now, so the best thing we can go off of is testimony. And right now for btrfs, the two types of data-points are essentially, companies that have been using it in production successfully, and people on the internet saying it sucks. I'm not saying either of those is great, and I am not trying to tell anyone that btrfs is some subjective measure of good. I'm just here to tell people it's apparently stable enough to be used in production... because, well, it's being used in production.

Would I argue it is a particularly stable filesystem? No, in large part because it's huge. It's a filesystem with an integrated volume manager, snapshots, transparent compression and much more. Something vastly simpler with a lower surface area and more time in the oven is simply less likely to run into bugs.

Would I argue it is perfectly reasonable to use btrfs for your PC? Without question. A home use case with a simple volume setup is exceedingly unlikely to be challenging for btrfs. It has some rough edges, but I don't expect to be any more likely to lose data to btrfs bugs as I expect to lose data from hardware failures. The bottom line is, if you absolutely must not lose data, having proper redundancy and backups is probably a much bigger concern than btrfs bugs for most people.
I agree that the system is garbage. School ruins math -- but I just want to share that nothing stops you from revisiting math later as a fully actualized adult, without the bullshit time constraints and grade pressure. Math isn't well suited to time pressure -- in my view math is about spending lots of time with ideas and playing with them and taking risks and making dumb guesses, it's moonshot through and through. At its core is play, and time pressure doesn't serve anyone well.

Anyway, if you were interested in it, you can always revisit it, and even try taking a class again if you ever want to. There are lots of great books out there for self-learners, and lots of communities of folks learning together
> don't want to build in a language w/o types

Yep; that's the only reason I don't use Rails.

I'm building "ActiveRecord but with type(script)" at https://joist-orm.io/ and have our own internal "kinda Rails w/GraphQL" going internally--so far we're at ~450 tables and still "feeling good" (no n+1s ever!), but definitely a long way to go before AirBNB-sized problems.
Perhaps we've found the John Titor story for this era.
Everything you just said also applies to all ETL and workflow management tools as well. There's a level of complexity that's never going away.
I would prefer some other competitor enters the market. Oh wait Intel killed them before they could be rivals like AMD.

- VIA

- IBM

- Cyrix

I mean IBM is around but I doubt they'll touch x86 ever again.
Another fun fact: that these chemicals, fur[an]ocoumarins, are also potent CYP3A4 inhibitors. As such they interact with about ~50% of medications. The most common ones are bergamottin and 6',7'-dihydroxybergamottin [1, 2] found in grapefruit juice and in the peels of various citrus fruits like limes.

This is why grapefruit juice among other things may cause increased side effects associated with birth control pills.

[1] https://en.wikipedia.org/wiki/Bergamottin

[2] https://en.wikipedia.org/wiki/Grapefruit%E2%80%93drug_intera...
Over time, being adaptable is what really matters for survival. If something could adapt perfectly, it’d always come out on top.

Sure, “survival of the fittest” in the short term is obvious, but it’s hardly worth pointing out.
That's not what the comments are about - they're noting that the cohort popularly using this term spells it "brainrot", so it's odd that Oxford picked a different spelling.
That’s the mechanism? It makes sense. It was trivial for me to return to my strength after an accident that left me hobbled for months but progress beyond is just as hard as originally. Cool.
cough cough

Gloves anyone ?
I've worked in SF, Chicago, and Silicon Valley. I'd only raise my family in one
“shall we watch that new show?”

“which one”

“the Papacy one”

“you mean pay-per-view”
Not sure if services like email and DNS are the right analogies here.

Any given application—monolith or otherwise—may make use of a number of different small or dedicated services like these.

But, "microservices" refers to a specific architecture for solving, generally, business/domain-layer problems.
> is it fair to say that Biden …lied…

Of course it is. So what?
Even though I went pretty deep in math/cs in college and worked as a SWE for five years, I never really "got" the connection between category theory and actual practical software problems until I started working on a new project with complex uses of types and functional programming. IMO most programmers are not working on projects like that where category theory is even relevant. And for me even though it was relevant, other than being to identify something by its category theory vocab term, it wasn't really helpful to actually know category theory.

Also, you probably should study axiomatic set theory and abstract algebra before taking on category theory and even in materials like this where they try to bring you up to speed on them, you'll not have had the exposure time to those subjects (or perhaps higher math in general) to understand things well. You'll also skip over stuff like https://en.wikipedia.org/wiki/Multiplicative_group_of_intege... which aren't category theory per se but prime your brain into thinking about the properties of sets, relations within/between sets, and repeatable "structures" across sets.

The other problem I ran into is that most programming languages do not have sophisticated enough type/functional systems to be able to properly implement a lot of fancy stuff where category theory is relevant. For example, even though typescript had all the information necessary to know that class A is abstract and B extends it, or that class C is templatized by types subject to some constraint, it can't at compile time implement a lot of checks that it technically should to handle Functors (https://en.wikipedia.org/wiki/Functor_(functional_programmin...). The languages that do handle these things properly are typically lacking in other ways that made them not worth it (for me) to use - it was better to handle the problem inelegantly in the less sophisticated language.
These exceptions covered toward the end of the article. The core claim by Crick boils down to “no reverse translation”.
Back when IBM was still an innovative company.