skysight-inc/HackerNews huggingface dataset:
Coalton [1] is an OCaml-like dialect of ML: it's strictly evaluated, has imperative features, and doesn't force a purity-based development philosophy. However, Coalton has S-expression syntax and integrates into Common Lisp. It works, and is used "in production" by its developers, but it's still being developed into a 1.0 product.

Coalton made a lot of design decisions to work away from issues that this post describes.

- Coalton dispensed with ML's module system of structures, signatures, and functors. No doubt a beautiful concept, and sometimes satisfying to write, but almost always unsatisfying to use due to how explicit one tends to need to be. Like the author suggests, the "interface-style" of type classes or traits has always felt more intuitive, despite losing the ability to have multiple implementations of an interface for a single type. (However, I've come to appreciate that different interfaces should require different types—as opposed to one type having many interfaces.) Coalton uses type classes.

- Coalton has S-expression syntax. No indent rules. No precedence rules. No expression delimiters. All of the "tradition" of ML syntax is dispensed with into something that is a lot easier to read and write for complex programs... yes, provided you use ParEdit or similar

- It should be no surprise that with S-expressions, you get Lisp-style macros. Macros in Coalton are just Common Lisp macros. No separate pre-processors. No additional language semantics to deal with. Arbitrary compile-time computation and/or codegen, completely integrated.

- Because it's built on Common Lisp, Coalton gets something few (if any?) other ML-derivatives get: Truly incremental and interactive development. You can re-compile types, functions, etc. and try them out immediately. There's no separate "interpreter mode"; just a Lisp REPL.

Coalton's language features are still settling (e.g., records are being implemented) and the standard library [2] is still evolving. However, it's been used for "serious" applications, like implementing a compiler module for quantum programs [3].

[1] https://github.com/coalton-lang/coalton

[2] https://coalton-lang.github.io/reference/

[3] https://coalton-lang.github.io/20220906-quantum-compiler/
I recently got a cheap ThinkPad to install Linux on, but it comes stock with Windows 10. As a long time Mac user, this is my first time using Windows since about 2009. It was quite shocking to see what a mess they've made. On one hand, some aspects are fairly intuitive - the start menu command launcher is nice, for example. But the amount of adware bundled in the operating system is incredible. There are ads in my OS user interface!

If you're a Windows user who is fed up with Windows or hesitant to upgrade to Windows 11, I would encourage you to give macOS a try. Even if it's a hackintosh, the experience will be way better than you're used to on Windows.
Microsoft Edge is leaking the sites you visit to Bing
> Believe it or not, investing is an activity that, under the correct circumstances, leads to the benefit of the investor, the company, and the economy in general. I personally seek this behavior that's beneficial to society in general

That sounds very noble.

Of course, the reality is the vast majority of people trading financial instruments do it for one reason: to enrich themselves (or, in this case, to entertain themselves). Everything else is a side effect as a consequence of regulations creating incentives that lead to socially constructive outcomes.

> so you're betting that other people have undervalued a company

That's... kinda the entire point of active trading.

I personally don't believe it. In general I'm an efficient markets guy. But there are a lot of active investors, including mutual funds, hedge funds, etc, that operate exactly on this principle.
We really like the speed of their firecracker VMs with spinning up runners (important when you need your CI/CD to start quick), we don't really need the edge features of the platform.
> it has voice in/out,

Do you know how to get this working? I looked through the read-me and didn't see any options for it.
I always wonder how much I can trust settings like this, but this definitely looks like a step in a good direction!
Cold email wont work. You would need to get a warm introduction to the ceo of the company. Nurture that relationship a bit on the basis that you are both in the market and working on similar problems, then once a rapport has been established you can broach the topic of acquisition.
Currently using gpt-3.5-turbo. All state has a json representation that gets based between the game engine and the LLM. In v0.2 not handling the context window super well, planning to use a "memory" management prompt + storing state in game engine in v0.3
The least believable part of your story is that the recruiter could somehow understand the tech and steal it
My wife and cats love me, I have fun and engaging hobbies, and we make enough each month to pay bills and have a little left over. After getting hammered in 09 during the recession, I gave up my ambitions and started living in the moment a bit more. Since then, I've been diagnosed with a degenerative joint disorder that limits my capabilities.

Every now and then I see a job posting that piques my interest, but I'm largely content with my life and plan to run out the last 12 years of work with as little stress as possible. I could buckle down and make more money and retire sooner, but it really isn't worth the stress.
Cool game, reminds me a bit of the research options in Stellaris.

One thing I found missing was anything to do with reducing plastic waste specifically - there's an "Expand recycling" infrastructure option but I don't think that captures the specific challenges related to plastic.

Given that only some 5% of plastic actually gets recycled and there are real hurdles to getting to meaningful levels of plastic recycling, I think a Policy option is needed to really enforce the search for alternatives.

There seem to be a couple of options that are sort of the inverse of that, the "Consumerist Curriculum" and "Gadgets, Fast Fashion and Endless TV", but I don't see the effects of those as being particularly accurate, e.g. there's no apparent negative effect (to e.g. biodiversity, health) to choking up the planet with even more molded plastic than we already are.
> ...the prevalence of these strains of E coli have dropped steeply since China banned the use of colistin as a growth promoter, suggesting that these genes carry other “fitness disadvantages” for the pathogens.

That sentence seems pretty important but is hardly given any attention. It seems like if we simply stop using the antibiotics then the dangerous strains will die out on their own?
Hmmm, non-experts saying "Of course my mother knows everything about computer security, don't even think about telling her about the risk of viruses on the modern internet"

At least try to have some nuance here.
Any models and/or plugins you recommend?
If it sounds so ridiculous, maybe consider that you're putting words in their mouth.
Last year we implemented "ymodem over BLE" for reasons that are complicated and possibly stupid.

It felt familiar but strange and wrong to do such a thing. Worked great though.
Almost no one outside of NYC and Boston want such a small car. Small cars aren’t even really a safe option given how big the other cars are.
What? Doesn't the free market also gives you mid-range furniture options as well as high end wood workers that'll build anything you're willing to pay for? Ikea is optimizing for particle board rectangles because people in 'the market' mostly want affordable rectangles.
As a crypto person, I don't think a DAO would really add anything here. Individuals or traditional organization "signing" their endorsements of contents authenticity will become a bigger thing in the future. It's not that different from SSL. When you access a website using modern cryptography the content is effectively endorsed by that organization as authentic.
Downvoting because you insult people without providing the required citations, even though I somewhat agree.

Also, this really doesn't work at all: My fantasy solution is everyone needs to go get a meat consumption license by going to a farm and killing an animal with a knife in their hands every, say, 10 years.

Humans used to do that for hundreds of thousands of years.
I know, OP said the apps get integrated into iOS, was just adding to the set of apps that got built in.
I still don't understand - even if the cost is literally zero to copy, that still wouldn't necessarily entitle one to someone else's work without compensation if that is what they require.
Isn't this the place where the polar ice caps are melting? Putting water in an area where ice is turning into water (aka melting) doesn't necessarily create more ice? Perhaps I'm missing some details here?
Conservative industrialists invented astroturfing and have been its most prolific practicers, so I don't find this surprising at all.

I'm more concerned that savvy authoritarians will go much further than this. Saudi Arabia is highly antagonistic and has enormous stakes in US tech firms.
My only source of internet in undergrad was dialing into my university's modem pool and getting a shell on the main server (a DEC Alpha running OSF/1). Browsing the web was done through lynx.

That worked fine but every now and then, a site would have some inline image that I'd want to see, so I'd view source to get the img URL and then download that to /tmp and transfer the file to my local machine via zmodem. Usually, it wouldn't be worth the effort. I'd also download mp3s off IRC via DCC and queue up a bunch of data for zmodem to transfer overnight or when I was in class. I really appreciated those bytes back then. Now, not so much.
The initial version of the Cicada framework was built internally at Fig (fig.io) but we liked using it so much that we wanted to open it up to the community.

We were so sick of fighting with proprietary YAML. TS is a breath of fresh air.
As of recently, I use telegram for any of that stuff. For example, we setup a "ToDo" private channel where me and my partner edit a text message that contains all the todo items. I have another private channel for myself to keep photos, notes etc. One can send messages scheduled in the future, this serves for reminders. A few news channels, including HN, an RSS bot, and I need nothing more.
A highly customizable Wayland bar for Sway and Wlroots based compositors
Did the grandparent a miss a not? It seems for many people IBS is caused by not eating plants, ie. a diet lacking fiber.
It's not crazy that such blatant racism occurred in the late sixties, it's crazy that people pretend all the racists and the way they thought just suddenly disappeared. Lots of those people are still alive. My grandma and mom both grew up in a segregated south. Even as an elementary school kid, the way the civil rights movement was taught made it unbelievable that my mom was a kid watching MLK on TV.

it's probably not a coincidence that some of those people are voting in the oldest median age congress we have ever had.
"Concentrated Animal Feeding Operations"
Thankfully, ZModem existed. I’d never been able to use Kermit successfully back in the days, always had trouble with it. I even had more success with XModem.
Kermit and ZMODEM, now that takes me back. Haven't thought about those protocols for a long time.
While I also DGAF about disney/sony/wb bottom line, my point is that "Piracy Doesn’t Harm Sales except for companies I don't care about" is not the same as "Piracy Doesn’t Harm Sales."
I was a lucid dreamer. Many things mentioned in this thread overlap with my experience, especially hypnagogia [0] (tingling, vibrations, spinning etc.) while attempting to lucid dream with a WILD (Wake-Induced Lucid Dream) technique.

Lucid dreaming is totally learnable but internet is full of clickbait scammers. I can recommend reliable sources to learn if anyone wants.

[0]: https://en.wikipedia.org/wiki/Hypnagogia
I don’t know, but it’s increasingly frustrating as an average person. Apartments around me keep appreciating in value every year, rents keep going up astronomically even when the houses stay empty.

My income went up, but housing in my area went up nearly 2x. I’m being priced out of areas I’ve lived in forever.

I feel like a social contract has been violated. Everything, from products to housing seems to be targeted at the “luxury” and “premium” segment. It’s like a omnipresent giant middle finger to anyone but the wealthy.
Or it's some GPS receiver state visible through the requests that might allow identification of certain apps that leave some form of characteristic fingerprints in the receiver. Could be "why can't Android allow bluetooth without GPS permissions!" all over again.
> The key problem the UK is facing is that a load of good investment ideas get announced and then proceed to spend decades drowning in red tape.

You make it sound like the attempt is valiantly made, but "red tape" is the sole reason that holds it back.

More often with this government, the announcement is the whole thing, there's no desire to follow though or take action, just get good headlines. And the mythical "red tape" is a scapegoat. Standards, i.e. "more red tape" would e.g. have saved lives in Grenfell tower.
Why not just keep a searchable note of it in a notes app?
I would not adopt a platform that did not support exclusions. I think you should create a marketing page explaining the ways you are superior to the competition. Right now I would pick https://www.growthbook.io/
Yeah I have an IKEA bed base and it’s basically just four solid pieces of wood. They also recently made a floor lamp I got that’s really solid. In closing, it’s a store of contrasts.
Don't love it, it's not correct.

> what the reward / punishment system really equates to

Nothing, and least as far as neural network training goes. This is an extremely poor analogy regarding how neural networks learn.

If you've ever done any kind of physical training and have had a trainer sightly adjust the position of your limbs until what ever activity you're doing feels better, that's a much closer analogy. You're gently searching the space of possible correct positions, guided by an algorithm (your trainer) that knows how to move you towards a more correct solution.

There's nothing analogous to a "reward" or "punishment" when neural networks are learning.
Everything in Russia is run by the FSB clique, so it is funny when you claim FSB has no money.

It has all the power and all the money.

You cant do any business with Russia without connections.
Yes, but it's a complete mischaracterization to claim it's a failure of the sandbox.

On this specific case, it is quite a big deal to add write and execute controls to the WASM memory, so it requires further justification than "I can do stack underflow attacks on my C code". Even though "I can do stack underflow attacks on my C code" is relevant information.
Who said people that don't own safes don't have anything worth protecting? Safes aren't the only option.
> Imagine if you bought a car from somebody, and they secretly kept a spare key and periodically used your car to run their personal errand.

I wouldn't say this is equivalent to them "running a personal errand". If they were remotely enlisting your device in some computational task, sure.

But modern cars do grant the car company the "keys" to your car:

- Tesla's system
- GMC OnStar (since 1996!)
- Ford SyncConnect (since 2017)
- HondaLink
- BMW Assist
- VW Car-Net

Even if you don't subscribe to the service they can still remotely access your vehicle...
that is the idea, yes

the official can decide to cover their eyes, but not everyone else's eyes
I've no strong opinions on Jobs, don't know much, but it is wonderful to see something like this echoed:

> There’s lots of ways to be, as a person. And some people express their deep appreciation in different ways. But one of the ways that I believe people express their appreciation to the rest of humanity is to make something wonderful and put it out there.

> And you never meet the people. You never shake their hands. You never hear their story or tell yours. But somehow, in the act of making something with a great deal of care and love, something’s transmitted there. And it’s a way of expressing to the rest of our species our deep appreciation. So we need to be true to who we are and remember what’s really important to us.

The world can feel superficial & shallow, results are so often murky. Being a person who gets themselves into a position where you can be making wonderful high-quality things, where you can invest care & end up with something robust & Real... it's a "sacrement" to being people, to goodness. It matters.

These kinds of lessons I feel like have to be learned really hard ways. Trying to find & calibrate your values is so hard. Packets of wisdom like this don't show up, don't have the apparent worth that experience latter makes one appreciate. It's nice to have a couple good waymarkers, good pointers, towards this value system I recognize out there.
A telequine?
So I was wondering why they'd openly admit in a WSJ article that they've "watered down" their furniture and are doubling down on their reputation for flimsy particle-board and paper construction.

Also, I've observed this trend starting way earlier than the pandemic and the start of recent inflation, I bought their butcher block countertops in 2013 and 2018 for my workshop. Let me just say I ripped out my 2013 ones and transferred as much of the old ones to the new workshop as I could.

I can see two reasons for this article:

1. Their customers are noticing and it shows in survey and satisfaction and this is an attempt at curtailing the reputation damage (but don't really see why it's in the WSJ then, maybe it'll show in the coming quarterly/yearly's and they can point to this later?),

2. or they're signaling to investors that they're going to boost profitability and/or margins.

Either way, not really a positive trend in my eyes.

But also unfortunately, it's not like the alternatives are generally much better :/ Seems to be an industry-wide trend.

EDIT: nevermind, Ikea is entirely privately held -- no investors to placate, so 1. maybe?
> to enrich themselves

Yes. Because the underlying 5% to 15% gains due to general economic growth is one of the most reliable ways at building wealth in this country. It provides a service to companies who need money today for their expansion (through the IPO and secondary-offerings mechanisms). It provides steady, long-term growth to investors looking for a place to park their money.

Its not only good for the country, it is also a relatively reliable way to grow money for everyone.

Betting beyond this is unreasonable, and unlikely to make yourself any money. The $700,000,000+ sunk into BBBY this past 6 months is proof of that. (600-million shares at a bit over $1 per share, as BBBY's board of directors printed 600-million new shares to profit over the Ape's stupidity / gambling behavior). Throwing good money at a company that failed to make its bond payments in Dec 2022, while the Board of Directors is printing stock like no tomorrow is... well... its pretty bad.

-------------

Look, if you're going to pretend that you were gambling on good odds or pretending to enrich yourself... at least choose a stock that wasn't so obviously eating the Apes alive for months. We literally can measure the amount of money that they lost by multiplying the secondary-offering prices with the number of shares printed.
I'm not saying don't market it. But I'm also saying you should have a better vision than "well gee what should we make, world?" That's pretty pathetic. Have passion in what you want to do, it should be personal. If you have a problem, there's countless others with that same problem.

Showing it to them and pointing out the problem is hard, yes.
I disagree, I think Gabe does genuinely believe service alone can prevent piracy. Steamworks DRM is opt-in for developers and easily broken (which we have to assume is intentional because Valve definitely has the means to make something stronger). People like to assume that a game being on Steam automatically equates to it having DRM, but there are a number of games in my library that can be copied to a thumb stick or any other drive once they're installed and work fine forever just like you would do with a GOG game. The existence of Steamworks always seemed more like a placebo to ease developers onto the platform than anything.
> a never ending arms race

Did you mean, "the great filter?"
OpenAI rolls out 'incognito mode' on ChatGPT
Coqui also looks interesting.

https://github.com/coqui-ai/TTS

Support for it was recently added to vocode:

https://github.com/vocodedev/vocode-python/pull/56
This already happens today.

Copyright does not protect authors, it protects publishers. This is justified as protecting authors in the very narrow sense that authors did get to negotiate with publishers first, but at the most disadvantaged position they will ever be at in their career. They have to pay, but they can pay a pittance and authors will take it because they have no better options.

The low- or zero-copyright world would at least end the practice of publishers buying rights to works and then pushing the artists who made them out of it. For example, there are loads of unfinished trilogies whose authors would love to finish them, but the publishers don't want them to, because they consider it a lost cause. Nor do they want their authors self-publishing or going with another outfit, so they won't revert ownership back to the artists, because an unexploited, worthless copyright is still worth more as part of a horde of gold that they sleep on.
It would be great if telling people that made them act differently; but call it Armchair Generals, or typical mind fallacy, or mansplaining, or Dunning-Krugering, or ivory-tower academics… the problem has so many forms and even knowing about it makes it hard to avoid in oneself.
A look at Lucid’s next luxury EV, the Gravity SUV
The currencies were denominated in gold or silver, which could hypothetically be melted down (if people chose), and the vast majority of transactions were not recorded or tracked.
The economic forces that caused it were based on resource extraction.

Resource extraction is the core of our economy. Its why the US has vested interests in countries that have natural resources, and why the US is so quick to act when resources are nationalized.

We can either directly use taxpayer money to fund these initiatives and give them priority over things like starting wars and playing world police, or pay private individuals and ask very nicely that they help.

I much rather that national approach as I don't think middle men sapping a fat percentage is a great solution.

Its essentially a protection racket at the end of the day.
re the CVC program: I wrote about that extensively in here:

https://www.albertcory.io/lets-do-have-hindsight

they did "capitalize" on their technology in the 80's and 90's, mainly by allowing entrepreneurs a license to build with it (with no money put in).
Yes, more trees, but still not enough, here is a handy guide on the different solutions and consequences: https://www.roadto10gigatons.com/
To be fair to the UK it's the third-largest tech market in the world, after the continental-scale superstates of the US and China.
> then objectively the other candidate is the stronger one

...if the job is to complete abstract problems in live coding interviews, sure.
> As the maps are unlikely to ever be placed inside of phone devices ...

Could you clarify what you mean? Here Maps allows you to download maps into your device and use it to navigate offline (without internet connection in devices with built-in GPS). I've been using this for (I think) more than a decade now and it works great. They also release maps updates frequently to download and update your maps. I believe Google maps has also begin offering similar offline map features.
King Tides