'Vibe formalizing' is a logical extension of 'vibe engineering' implemented by 'vibe coding'. Sometimes I have trouble with getting the individual puzzle pieces of a problem to fall into place, where a hypothetical 'Move 37 As A Service' to unify informal methods with mathematical rigor deserves to be explored!
Before I discovered HN (of which I'm on daily), I was a frequent reader of Groklaw[0]- a site primarily devoted to covering the fragile intersection of the technology sector and legal system; where the two are often at odds with one another. We're more than a decade beyond it's voluntary closure after the Snowden revelations and it's left a large void on substantive coverage of these issues. The site was the blog of an anonymous tech reporter named Pamela Jones that did detailed deep-dives into the parties & issues involved in high-profile lawsuits between tech companies, like Apple vs. Samsung on the issue of design patents for rounded corners, over what have often been patents containing broad language that resulted in hindrances to innovation ranging from being unwilling to license to extortion of revenue streams for entire product lines. Part of why I find the technology industry to be continually interesting is its desire to innovate instead of litigate- there needs to be a check on bad faith actors whose goal is capture of a niche through regulatory means instead of fair competition; else we get these cases relegated to the infamous eastern district of Texas which has historically played favor towards non-practicing patent trolls. I'll be submitting my comment and suggest others do the same.
On Friday I was converting a constrained solver from python to another language, and ran into some difficulty with subsituting an optimzer that's a few lines of easily written Scipy; but barely being supported in another language. One AI tool found this out and fully re-implemented the solver using a custom linear algebra library it wrote from scratch. But another AI tool was really struggling with getting the right syntax to be compatible with the common existing optimization libaries, and I felt like I was repeatedly putting queries (read: $) into the software equivalent of a slot machine that was constantly apologizing for not giving a testable answer while eating tens of dollars in direct costs waiting for the "jackpot" of working code.
The feedback loop of "maybe the next time it'll be right" turned into a few hundred queries resulting in finding the LLM's attempts were a ~20 node cycle of things it tried and didn't work, and now you're out a couple dollars and hours of engineering time.
There was a past disclosure where lead was found[0] within an in-house product. Buzzfeed did a story about sending some products to a lab and you're right they're safe existing products[1] only with Infowars' own exaggerated marketing labeled on.
I had the goldbugs and silver bugs in mind- they'd be more than willing to pay exorbitant markup, with the feel-good ennui of it going towards a good cause. These were $100 for a 1/10 gram at the time of writing and now are sold out. Coincidence???
I've encountered this before with absurdly high job requirements paired with a low-moderate commensurate salary. While on call with an HR rep for a listing I had loosely met, I deduced from their responses it was done so the company could claim their talent needs aren't being met domestically, and thus would file for more H-1B or H-2B work authorization permits. This is rife with its own issues of non-transparency and offshoring, where I likely encountered it in the later stages[0] and was being paid lip service to the process without the intent of hiring.
There's tonnes of worthless merchandise and supplements of a dubious nature which The Onion, the least expected of all possible buyers, now has to find a use for. My first suggestion would be melting down all of the 500% marked up gold bars[0] and make a one-time-run charity auction collectible for the Sandy Hook families. Or upcycling all the paper in Alex Jones' books [1] into paper mache, and use it to make globes, to really stick it to the globalists!
How the family found out about satellites is very interesting to me- such an unexplained phenomena wouldn't make sense to some groups (ie, flat-earthers deny their existence altogether), where they would have observed Sputnik zooming across the sky while only being visible at dawn and dusk. With such perfect recurrence the Lykovs would have been able to deduce that the object followed ordinary orbital mechanics against the backdrop of the celestial cosmos rather than being a supernatural object, especially that Sputnik was only in the sky for a couple months in 1957. Later ones would have have likely indicated they were a product of man; I'd personally ascribe it to being supernatural in origin!
The main hardware security bugs[0] were very low hanging fruit associated with taking over the boot chain at ring 0- it's more likely that Nintendo themselves were in a rush to get the product on the market after the perceived failure of the Wii U. Even with a secure software stack, people found a way to defeat the Xbox 360 hardware[1] by physically drilling into a chip that enforced a software lock, and George Hotz became known for his work in finding ECDSA flaws in the PS3. Companies can design these locks to last for a few years of a console's lifespan, but I think people now are determined enough to dive into these difficult problems that they're unlikely to be secured forever.
I still remember how quickly this spread and people made their own versions, right about the same time as Twitch Plays Pokemon came out! I'm glad it's had such a positive impact both globally among your players and to your career. Praise helix!
Doesn't this seem a bit "low stakes" to want more disclosures about? I view it in the same light as say someone who posts makeup reviews or video game reviews on YouTube- often it isn't their primary source of income, and the item value (<$100) seems notional. Maybe it can be treated as more of a deal if a company were to attach stipulations or keywords for the reviewer to mention, at which point it should be treated as a partnership rather than a less-than-impartial review. I subscribe to independent creators on Patreon because bias is nearly impossible to avoid when there's a quid pro quo of getting a stream of free things from companies.
It was later added it to the paid copy of the game and it's similar to a 'very hard' difficulty where the normal strategies of development don't apply and you have to include DRM most of the time to break even on per-game costs. Completing it was a difficult achievement.
Tay.ai was the Gen Z large language model that was years ahead of its time. Apparently the project was continued in other languages but in a much more controlled state with a more curated corpus more similar to Watson; as opposed to being trained on unfiltered Twitter/forum input and we saw how that turned out[0].
PredictIt had a limit of $850 on the platform, and even it's in the process of being shut down by the CFTC. I see it as a chicken-and-egg problem because having actual stakes even when miniscule means that smarter decisions are made with allocation; but I feel a lot of users would grow bored or not even use the platform if they could only use play money. My personal favorite example was ran in Popular Science magazine[0] for a few years where users could buy/sell imaginary shares based on the % probability outcome of certain events/discoveries being made by a specified date.
Sad to see artists and game designers create a wonderful CRPG (with a zany spirit!) yet have the joy siphoned out by greed outside of their control. The team learned to code because they thought a video game would be enjoyed by more people and scaled up from there; will definitely be supporting their next efforts.
This game provides more satisfaction than solving a difficult coding contest problem. Some may treat it as a time sink; I see it as an allegory for our species as a whole. Is this the logical conclusion for humanity? To make paperclips?
[0] https://apnews.com/live/iran-war-israel-trump-lebanon-march-...