skysight-inc/HackerNews huggingface dataset:
> This is wrong, Linux had plenty of momentum before RedHat specifically was purchased by IBM.

I’m not defending their overall argument, but I don’t think they are talking about the 2018 Red Hat acquisition, rather IBM’s 2000 announcement they were investing a billion dollars in Linux: https://www.cnet.com/tech/tech-industry/ibm-to-spend-1-billi...

IBM has been a big contributor to Linux long before buying Red Hat
> Do you think that better wages and working conditions in underdeveloped countries are a goal (or even just side-effect) of Trumps policies? How is that achieved?

No. It will make labour in US competitive where you have labour laws. Consumers will pay the fair market price for products rather than relying on abusing labour in poor countries.

> I don't see a coordinated effort to expand the domestic arms industry that is pushing for those tariffs.

It's not about creating military industry. It's about creating a manufacturing industry which can be converted into war effort if needed. It's also about self reliance. It's also about creating meaningful jobs that actually create something (as opposed to the wall street where you have upper class just extracting wealth from the working man).
You'll find many leftists that agree. The flubbing of so many social issues while moving with the exactitude of a striking cobra to maintain their stock-trading rights, disrupt upstart progressive campaigns, and shield financial markets from the concequences of their own actions, has lead many to recognize that we might be getting KSed. They walk the walk, yeah, just a different one from what you figured just a moment ago. Duckstep? No, the other fowl play.
I've watched a few games recently and I don't see them being dominated by 3's. Sure you notice a few from beside the straight line, but it's still an enjoyable game to watch. What puts me off is the number of ads and the distracting constantly-updating bar along the bottom of the screen on ESPN. It really distracts and makes it harder to concentrate on the action. When ESPN first came to Disney+, for the first few days they didn't have the ads and bar implemented yet and you could enjoy watching the game distraction free. Now I've really noticed the burden that all those distractions take on my ability to concentrate. Especially for those who have a trace of ASD and/or ADHD.

https://archive.is/xDgMU
Here's one paper covering the derivation of a typed functional LALR(1) parser in which derivations are given explicitly in symbolic language, while proofs are just prose claims that an inductive proof is similar to the derivation:

https://scholar.google.com/scholar?&q=Hinze%2C%20R.%2C%20Paterson%2C%20R.%3A%20Derivation%20of%20a%20typed%20functional%20LR%20parser%20%282003%29

Here's one for the semantics of the Cedille functional language core in which proofs are given as key components in symbolic language with prose to to tie them together; all theorems, lemmas, etc are given symbolically.

https://arxiv.org/abs/1806.04709

And here's one introducing dependent intersection types (as used in Cedille) which references formal machine-checked proofs and only provides a sketch of the proof result in prose:

https://doi.org/10.1109/LICS.2003.1210048

(For the latter, actually finding the machine checked proof might be tricky: I didn't see it overtly cited and I didn't go looking).
Show HN: Jetelina v3.0 Has Arrived
Yay, Jetelna v3.0 has been released.Jetelina has quite unique functions, the primary is handling multi database at once in using webapis, the secondly is perfectly controlling with key typing, and of course more.
The v3.0 has been impremented in using MongoDB; then it can use Postgre/Mysql/redis and mongo at once, some stats functions, and improved the usage. Visit the site.
The problem is less that we’ll feel a 10% or even 15% price hike on foreign goods, but that we are so reliant on foreign manufacturing to begin with.
And no microprocessor!

But as I understand it the kits are no longer available :-(
They need to maintain kayfabe, otherwise all the BAs, PMs, POs, EMs would become flight risks.
I don't really mean you, but let's say you are compromised... if I put a localhost http server up on the web using your stuff, am I now compromised? Not clear how this would work...
Discussion (160 points, 4 hours ago, 82 comments) https://news.ycombinator.com/item?id=43575884
Consider that one day you may wish to author a creative work and derive financial benefit from that labor. There is legitimate use for limited time ownership of reproducible cultural artifacts. Extending that to 95 years is the problem.
With sports, I'd just assume they were told to break the rules. They aren't breaking the rules their employer set, but the rules of the sports league.
Really more of a moral panic than a coherent analysis, but that's not unusual.
Kind of like switching to supporting Russia so your allies think you're no longer a reliable partner and start beefing up their own militaries.
isn’t it silly to even discuss this for NBA when this is true by default for every single sport including curling :)

for some reason this is always a topic for NBA and no other professional sport…
This resonates with me. I feel like AI is making me learn slower.

For example, I am learning Rust, for quite awhile now. While AI has been very helpful in lowering the bar to /begin/ learning Rust, it's making it slower to achieve a working competence with it, because I always seem reliant on the LLM to do the thinking. I think I will have to turn off all the AI and struggle struggle struggle, until I don't, just like the old days.
Yeah I definitely didn't say I agree with the methods proposed, only that it's clear that it struck a chord with the population.

Dems really need to focus on messaging that can resonate with those people. Things like vouchers for trade school to boost higher end blue collar jobs, etc.
Elephant Skin" Fungi Tiles Provide Better Cooling for Buildings
Researchers at NTU Singapore have developed mycelium-bound insulation tiles inspired by elephant skin, aiming to offer a sustainable alternative to synthetic materials. These tiles mimic how elephants cool themselves in hot climates by using wrinkled skin to retain moisture. The biodegradable composite is highly porous, making it an effective insulator with thermal properties comparable to conventional options—potentially lowering energy use in hot, humid environments.
It doesn't sound that different from Alex Krizhevsky training AlexNet on a pair of gaming GPUs in his bedroom, winning ImageNet, and launching the current wave of deep learning / AI.
Gates showed his true colors right up front with the "Open Letter to Hobbyists", and pursued the rest of his career in like fashion. It's not just about Microsoft versus open source: many of us already resented their strong-arming, dominance-oriented, rent-seeking, ownership-hungry monopolistic approach to computing before the free software movement had really gotten going, or the term "open source" had even been invented.
Why isn’t it smart enough to recognize new contexts that aren’t related to old ones?
Being super rich != merit. This is what seems to be happening in practice.
I tried something similar when in college. Built a 8bit GPU on a breadboard, i don't remember all the details now, but it was such a fun project.[1]

[1] https://nabraj.com/blog/8-bit-gpu/
I wish to one day derive financial benefit from hitting myself with a hammer for 8 hours a day. Should we construct a legal apparatus to guarantee that I am able to do so?

Edit: the point I want to illustrate is that we do not get to choose what others value, or to dictate what is scarce and no one is entitled to make a living in a specific way even if they really want to
Draymond Green, a player with some serious behavioral issues and numerous suspensions (and he should have more than that), was made a guest commentator last playoff season

he is a character :) funny and charismatic, good on TV and generally in media and will likely have a better broadcasting/media career than his bball playing career. randy moss was similar as a player and is now on TV all the time. the way they were both playing doesn’t represent either off the court…
I wonder if the baby boom depends on who wins the war. If people are happy about the outcome, their finances are improving, and they are full of hope for the future it'd be easy to start families. If people aren't happy with the outcome, if they are suffering, if they have to live under more restrictions or a worse economy I doubt as many people will be comfortable bringing children into the world.
You cant break rules yourself. But you sure can "scold" a rule breaker and then claim credit when they never break rules again.

90% of my best bosses just tanked the bad news when things went wrong but otherwise loved it when you do your best to work around the system.
Podcast with Monte Davidoff

https://floppydays.libsyn.com/floppy-days-113-monte-davidoff...

Starts after about the first 15 minutes.
Note that even the "Update" video is nine years old.

Also note that yes it's a computer, but it has 16 bytes of memory to hold both the program and the program's variables.

BYTES. Not KB, not MB, not GB. Bytes.

The demo Fibonacci program is pretty much the most complex thing you can do with it.

But it is in fact a genuine von Neumann computer. And understandable.
> You take off for your destination, but when you get there you find out that humans back on earth made a faster ship 100 years after you left and beat you to the destination.

A theme that turns up in Starfield as well...
They said nothing remotely similar.
So the question is one of modularity. Having one sound for each such phrase doesn't scale.
They will never if they keep getting constantly bombarded by right wing propaganda. They're already starting to call it "Biden's recession", as they've been told to do by Fox News.
Snow White is not the best example, there are non-Disney versions, like the one with Sigourney Weaver and the one with Chris Hemsworth.
If I have to make a rule, it's to prevent the worst people from doing the worst things. If I have an opportunity to use my judgement and you are neither doing the worst thing or someone I consider the worst person, there's bound to be wiggle room.
Making OCaml Safe for Performance Engineering [video]
Thanks for sharing these links. Very interesting to explore this topic further.

I came across Satnam Singh's work first while learning about the Lava language/framework for FPGAs, glad to discover his more recent work.
That's pretty much what futurist Luigi Russolo predicted back in the 1910's:

> This musical evolution is paralleled by the multipication of machines, which collaborate with man on every front. Not only in the roaring atmosphere of major cities, but in the country too, which until yesterday was totally silent, the machine today has created such a variety and rivalry of noises that pure sound, in its exiguity and monotony, no longer arouses any feeling.

> For many years Beethoven and Wagner shook our nerves and hearts. Now we are satiated and we find far more enjoyment in the combination of the noises of trams, backfiring motors, carriages and bawling crowds than in rehearsing, for example, the “Eroica” or the “Pastoral”.

Based on this idea it should be no surprise that, for example, heavy metal riffs were invented by a factory worker[2] or that the first techno music scene started in Detroit[3].

[1] Luigi Russolo. The Art of Noises: https://www.ubu.com/papers/russolo.html

[2] https://en.wikipedia.org/wiki/Tony_Iommi#Factory_accident

[3] https://en.wikipedia.org/wiki/Detroit_techno
If other countries took the copyright off of American media I would completely support making it illegal to export to them. That would just be theft. Hell, for some people that would probably be enough to justify war.
The government threatening legislation unless a company censors in line with the government's wishes is wrong and a violation of the 1st am.

Your excuses & justifications, maga's, no different when it comes to the health of the 1st am.

"Because it's THEM, they're worse! They're the baddies! You can't compare this evil thing to their evil thing which is so much worse!"

FIRE have non-partisan credibility. Maybe see what they think.
Distortion of monophonic tones (single notes/voices) became accepted in the mainstream quite rapidly because the circuits used to produce it quickly improved, informed by feedback (no pun intended) from musicians.

Nobody hates ugly sounding distortion more than he or she who practices 5 hours a day with it.

Single note distortion, at its best, is a harmonically rich sound which shares something with bowed instruments and reed woodwinds.

Nasty sounding single distortion has not gained complete mainstream acceptance. Musicians who do that on purpose will remain niche, even today. From time to time, such nasty sounds make appearances in mainstream pop, but only as a kind of "cameo". The statement is, "we are inserting this ugly thing here specifically for its idiosyncratic effect, haha! But only a few seconds, we promise".

Distortion (other than perhaps mild distortion) has never been fully accepted in roles where the multiple voices of a complex harmony part would be distorted together.

Nowhere was that better seen than in jazz/rock fusion, which accepted ragingly distorted guitars for solo work, but not so much for the rest of the music: except, of course, in passages where the guitars provide the "sound of rock": distorted fourths and fifths and whatnot, or double stop bluesy cliches and whatnot.

The music best known for distortion and that couldn't exist without distortion (and a lot of it) is of course heavy metal, which is a big landscape of styles and sounds.

In metal, the harmonies from an individual guitar part tend to consist of only a few notes. The clean chord is transformed into something else, which perhaps cannot be described in music notation. Complexity comes from the distortion. Distortion includes the sum and difference products, which relate to the tonality and scale of the music in unsual ways. Those notes are not identified. If notation is used at all, the underlying clean notes are notated: e.g. C-F# tritone on the A and D strings, over open E bass. Heavy metal uses syncopated and alternating rhythms to separate bass notes from upper notes in three and four note chords. This is not only to create rhythmical excitement, but to better separate the notes.

The notes of a distorted chord are also easier to for the ear to identify if they are introduced separately as a lasciare suonare arpeggio; that's a thing in metal.

Harmonic textures are also created by combining distorted guitar parts. Using two lead guitars originated in rock, with groups like Wishbone Ash. Multitrack recording allows an unlimited number of parts to be layered.
Like I said, depending on an agency's interpretation of how Bostock's reasoning could be applied to a different law is not protection in the modern Trump administration. This is like you saying that Bostock protects trans people via Title 9 because of the Biden admin's interpretation of Title 9.... which was undone by the Trump administration.

Federal legislation, or at least clear jurisprudence, is needed for this protection to meaningfully stick.
> Modern programming already is very, very far from strict obedience and formal symbolism

Difficult to sort this out with what follows.

Consider group theory. A group G is a set S with an operator * that supports an identity, closure, and an inverse. With that abstraction comes a hefty amount of power. In some sense, a group is akin to a trait on some type, much like how a class in Java can implement or extend Collection. (Consider how a ring ‘extends’ a group.)

I’d posit frameworks and libraries are no different in terms of formal symbolism from the math structure laid out above. Maybe the interfaces are fuzzy and the documentation is shoddy, but there’s still a contract we use to reason about the tool at hand.

> I’m not manually managing memory, parsing HTTP requests byte-by-byte

If I don’t reprove Peano’s work, then I’m not really doing math?
My whole comment was accepting LLMs as intelligent. It’s the first sentence.
It has been worked into a tune! Love this artist (Venjent), he takes a lot of random samples like that and turns them into EDM tunes.

https://youtu.be/gpQS41WQSPY?si=7zK7wbtulqbgx-AA
The analogies fail because the copyrighted material were not used for creating the copy machine, Illustration, or (maybe?) the keyboard suggestion engine. If LLMs were produced ethically, then the whole discussion is moot. But if the only way to produce copyrighted material requires being trained on copyrighted material, then...
I just finished this too! It really brought back my childhood fascination with the man.
It seems like it was a straight-up coup attempt.
We'll be using one of Adafruit's LoRa Bonnets mainly for easy of use because all you have to do it connect the headers! https://www.adafruit.com/product/4074
Racist fears of "replacement", mostly.
They have to agree to a pop-up.

Guess what, people do that all the time. They get tricked into it. They just press a button really fast to get it to go away. They don’t remember doing it but then later that day or a week from then or whenever they might start getting notifications.

And of course they’re incentivized to get you to go back to their website with any notification they want to show. That way they can get more views, or try to run a scam on you if it was a scam website.

We already have ways of doing notifications from arbitrary third parties. It’s called email. Or you can make an app. Or you can get someone to add your site to their home screen. All are extremely clear measures of consent.

At work I’m not allowed to run an ad blocker. I get stupid little pop-ups asking me if I want to enable notifications on websites all the time. As far as I’m concerned it’s all spam.

I LIKE Apple’s stance. I LIKE they’re preventing me from having to see a stupid little permissions dialogue on every new website I go to asking me if I want to enable notifications.
Parallels to Microsoft investing in Apple in 1997? A little bit maybe? Keep your competitor alive so the antitrust folks don't come down on you?

https://wccftech.com/microsoft-invested-150-million-in-apple...
Once they get you hooked, they can match you with the other whales. Until then it's just training your reponses even when it costs them 300 fluffmarks.
https://creativecommons.org/faq/#can-i-apply-a-creative-comm...

TLDR CC licenses don't cover source code distribution, patent concerns and general incompatibility with other software licenses.
When a string is plucked near the end where it is attached, the standing wave kind of makes jerking motions. It's just like when you jerk one end of a rope that is attached somewhere. You send a pulse up the rope which comes down again. If you look at one point on the rope, it might be making a quick movement one way, with a slower recovery in the other. This is where we get the sawtooth.

For a sawtooth with all the harmonic, we have to use a bow. A bow directly stimulates a strong sawtooth movement simply because the string adheres to it and releases, many times a second. This will tune itself to a resonant frequency, along with the first bunch of its harmonics.
> Not sure whether MCP still receives updates though.

MCP Release 21 came out in mid-2023, and release 22 is supposed to be out middle of this year, with further releases planned: https://www.unisys.com/siteassets/microsites/clearpath-futur...

Looking at new features, they seem to be mainly around security (code signing, post quantum crypto) and improved support for running in cloud environments (with the physical mainframe CPU replaced by a software emulator)

Unisys’ other mainframe platform, OS 2200 is still around too, and seems to follow a similar release schedule - https://www.unisys.com/siteassets/microsites/clearpath-futur... - although I get the impression there are more MCP sites remaining than OS 2200 sites?
The image the AI generates is not copyrighted (except maybe by OpenAI I guess) unless it ends up being an exact duplicate of an existing image. Copyright applies to a specific work. The character may be trademarked like Mickey Mouse, but that is a different IP protection.
> “We found that when people broke the rules, teams were less likely to win games. Rule breaking hurts teams, despite the fact that people in positions of power, or coaches, might look at the rule breakers as people who are facilitating a better team,” Wakeman said. “The big caveat is that this is correlational, not causational.”

This is a really surprising piece of commentary considering the finding in the immediately prior paragraph:

> Different situations had different effects on coaches’ assessments of penalized players. Their generally favorable views [were] absent during winning streaks.

So the thought process here is, first we observe that coaches like fouls when the team is losing, and don't like them when the team is winning. And then we say that the coaches must be misguided (unless there's some kind of bias in the sample, but come on, look at the data) because teams committing a lot of fouls are doing worse than teams that aren't.
My Model of Language Models
It was the progressive push of theoretically neutral institutions taking stands on moral politics. People who were fine with universities being staffed with liberals, but neutral in practice, realized their tax dollars were subsidizing institutions that were actively taking a side in national politics.

For example, universities burned a lot of political capital, and opened themselves up to a great deal of legal liability, with aggressively pursing affirmative action policies. When you depend on public grants, it’s probably a bad idea to publicly discriminate against the racial group that comprises the majority of taxpayers.

As to what universities should have done, the answer is “just dribble.” Universities should be places that are just as eager to research effective approaches to mass deportations as all the DEI stuff they do.
What if the ceo of xerox went on social media and promoted copy machines by showing how you could use them for infringement?
And he won that argument. The steady movement away from Free Software licenses to shared source is because developers want to get paid by people using the code they created just as Gates describes in the letter. Even Bruce Perens is trying to hammer out a Post-Open Source license that's proprietary in all but name.
This is a myth. Jobs negotiated access to PARC technology as part of a deal in which Xerox bought shares in Apple at $10/share[0], selling about a year later at $22/share. Those shares would be worth around $5 billion today.

Xerox did later sue Apple for IP infringement, however most of their claims were dismissed[1].

[0] https://web.stanford.edu/dept/SUL/sites/mac/parc.html

[1] https://arlingtonmnnews.com/articles/bits-and-bytes/xerox-ve...
Unfortunately with the way scaling laws are working out, each order of magnitude increase in computer only makes models a little better.

Meaning they nobody will even bother to 10,000X GPT4.
I’ve worked on the Day One & WordPress iOS mobile apps for the last five years.

I just shipped a new iPad experience on the Day One app: https://www.youtube.com/watch?v=xBSv1sHOZX4&t=412s

Location: US-timezones
Remote: Yes
Willing to relocate: No
Technologies: SwiftUI, Swift, Obj-C, UIKit, Core Data, Xcode, iPad, macOS, release management, TestFlight
Résumé/CV: https://drive.google.com/file/d/1pfzgTLzIOsRaOwlBpeyvzosZhVzhi4Fe/view?usp=share_link
Email: paulvonschrottky@gmail.com

I also have experience in health and wellness apps (WeightWatchers) and financial apps (Itaú bank and BBVA bank).

I studied Electronic and Computer Engineering at Griffith University, Australia.