skysight-inc/HackerNews huggingface dataset:
In a lot of programming discussions, especially those about Haskell or those about Lisp, types invariably come up as a feature (or a bug). Some even suggest static or dynamic types are most useful at different phases of a programming project. I've heard opinions go every which way with types. By and large, the concept of static types (to Haskell levels) and dynamic types (to Smalltalk levels) are typically spoken about as a sort of dichotomy.

Many technologies have tested this dichotomy; even very mainstream languages, like Python with type annotations and mypy. However, what I've found consistently lacking is the "completeness" of either side of the experience: either half-baked dynamicism buried in a static language, or type annotations that actually don't have predictable correctness guarantees—typically, type checkers in this arena are "best effort".

Coalton doesn't try to paper over Lisp as a dynamic language, or try to change the philosophy of Common Lisp code by restricting it, but instead invites static features as a separate, well-defined language within Lisp. Critically, though, inter-operation between Lisp and this separate language must be essentially free.

Coalton makes use of what many cite as Lisp's greatest power: the ability to do seamless metaprogramming and syntactic abstraction. Often, non-Lisp programmers, especially in forums like these, see these features get used for programming party tricks. (I myself have even engaged in such shenanigans, like saying macros are good for making DSLs like

(rpn 1 2 + 3 *) ; RPN notation embedded in Lisp

even though the next natural question would be, "Why would I ever actually use that?") In that regard, Coalton is implemented actually as quite sophisticated Lisp macros, without any separate (pre-)processors.

Though it has some sharp edges as an alpha release, we think Coalton satisfies the objective of bridging static and dynamic, and opens a very interesting and relatively under-explored paradigm of functional programming.

Coalton isn't the first to explore this space in earnest. In fact, Racket, Typed Racket, and Hackett have done so quite successfully. There are several others, as well.

Lastly—though I think it goes without saying—there's value in having an entire language buy in to some core ideas, because it means library authors and application developers can have solid expectations of one another. As a Lisp developer, though, I've witnessed that a clean, modular coding style allows many programming styles to participate with one another without the headache one might imagine.
If such a “definition” is sufficient, than I’m a rocket engineer as well because the rocket goes brr to the space..

I mean, it may as well refer to eagerness, which is something completely different from JIT compilation. You didn’t even say anything about what the compilation is about (which again, requires some knowledge on computers), nor about the reason for doing that.
I'm not sure, I think personalized targeting algorithms tend to be way too aggressive in trying to guess what I want.

I really just want old Google where I can tailor my search terms and get what I really want, rather than machine learning trying to either overly target or overly "untarget" it, where it seems to try to guess what a completely average searcher would like, and ignore all the more specific terms in my search.

it's like no, I just want to search exactly what I typed, don't ignore half of it to get more general results or try to decide that I actually want something completely different because you know what city I live in
Open office plans and hotdesking are two miserable and widespread trends that VR might help with...
Book burning at Ontario schools as 'gesture of reconciliation' denounced
Containers don't solve anything more than virtual machines. Containers are 'better' than virtual machines because they have less overhead and are 100% open source.

Containers and VMs let you divide and solve problems in isolation in a convenient manner. You still have the same problems inside each container.

Firstly, Docker & k8s made using containers easy. Minimal distros like alpine simplify containers to a set of one or more executable. You could implement the same thing with a system of systemd services & namespaces.

But now that everything was a container, you need a way to manage what & where containers are running and how they communicate with each other.

It looks like 90% of the stuff different container tools and gadgets try to solve is the issues they created. You can no longer install a LAMP stack via 'apt install mysql apache php7.4' so instead you need a tool that sets up 3 containers with the necessary network & filesystem connections. It certainly better because it is all decoratively defined but it is still the same problem.

This is why I mostly stayed out of containers until recently. The complexity of containers really only helps if you need to replicate certain server/application. You will still need to template all of your configuration files even if you use Docker, etc.

What is changing everything IMO is NixOS because it solves the same issues without jumping all the way to Docker or k8s. Dependencies are isolated like containers but the system itself whether it is a host/standalone or a container can be defined in the same manner. This means that going from n=1 to n>1 is super easy and migrating from a multi-application server (i.e a pet server) to a containerized environment (i.e to a 'cattle' server/container) is straightforward. It's still more complex and a bit rough compared to Docker & k8s but using the same configuration system everywhere makes it worthwhile.
They were a young couple with infant children and they were both electrocuted to death, in Ethel's case, for typing out her husband's letters.

There's no collection of acronyms and russian names you can add to that that makes it any less of a crime. Prison would have been extreme. The electric chair was pure barbarism.
> Or do they sometimes pause and think about the ethics of their research

Obviously they don't
I am not aware of any law or order if you live alone in the desert/woods that would make substances being injected into my you.
She didn’t compete. She was a placement pick coming from google where she was essentially a non contributing member of the google adwords leadership team.
the demo was exactly what i expected when i've read the title
I would love to use this in a "special setting" but it has to be compiled, static, code. So, if there is an implementation for C, C++, Rust or any other language that would be great! I am more than willing to handle the special build myself. I just need a language that compiles to machine code.
"Like Shakespeare said, "brevity is the soul of wit", which just means: "Don't waste my fucking time"" - Mr. Plinkett
Nice! I have one question though: _why?_
I mostly use several xterm windows at once. I have i3-wm with my own custom status line (which displays temperature, date/time, system load, memory usage, and number of email messages in /var/mail), and have a key combination to open a new xterm window. Then, most things are done by command-line. I use Vim for text editing. I often use curl when wanting to download files (rather than using the download manager in the web browser). I do not always have a web browser open (and when I do, the browser tabs can vary). One thing I do often have open, in addition to command shells, is IRC.
Several years ago a prominent SV individual (now investor) wrote why investors do not fund dating apps. Since then, several apps like Bumble and Hinge have had very successful M&A. So I don't think these blog posts are particularly valuable except to stop someone who isn't creative enough to break away from the typical path successfully.

I created a failed travel app which was pitched as "Tinder for Travel" (also an unsuccessful pitch as some people thought it was Tinder while you are traveling, but wouldn't that just be Tinder?).

The idea was not a travel app, per se. It was for weekend staycations, since I had the problem of coming up with an itinerary for the day if I wanted to go out and about. Where to go in the morning? Where to have lunch? What afternoon activity could I do? Dinner? These were typical annoyances I had every weekend so I figured an app would help.

The app was too broad, imo. If it were to be successful, it probably needed to start as a feature. One idea the app's co-creator Zach came up with was spots for the perfect instagram post. Personally I was thinking to narrow the scope entirely to, say, a weekend in Healdsburg (this would suffer from the problem Garry discusses, though!).

I believe there is something to the staycation idea, as it is exactly what you'd want on a vacation as well. It's too nebulous even after having thought about it for such a long time, but I'm glad I built it or I'd still think the vision was a perfect match for reality.

(Regarding the dreaming comments made by a couple of people: it may be true, but I've been told by family for whom I've planned trips manually that I do "a great job" -- they have no interest, and neither do I, about planning the trip but being taken along for the ride. So there's probably truth to both. People could certainly fantasize about their trip while using a tool to help plan it, even if it were years in the future.)
You're thinking of a different concession they made a few years ago. This one is specifically about developers reaching out to their customers outside of the app, for example via email (which they may have obtained from the app).
It's made the entire process MUCH easier for me... `docker-compose up -d deps` and I have all my background services running local... `... api` and the api is also running and I can concentrate on the UI.. `... ui` and it's all running. I can then run tests against the whole thing.

Also, setup all the containers to include unit test results in the runtime container... this gets extracted/merged in CI/CD. Beyond this, I can stand-up the entire application and run through full integration and UI test suites in the CI/CD pipeline. Same commands locally... it all is much smoother than prior experiences.

I will NEVER run a database install on my developer desktop again. Database deployes on the main application I work with, and unit tests all finish in about 5 seconds or less (not including initial download). I'm also able to run db admin apps right with the DB.

Persist volumes, run/test upgrades and from-scratch. It all goes really smoothly overall. Wouldn't ever want to go back to mile-long dependency instructions step by step to getting a development environment running ever again. WSL2 + Docker Desktop are pretty damned great.
Rather odd as in the UK id expect to get paid a lot more as a contractor for the same roll as a FTE.

A bit of "schadenfreude " that clerical jobs in HR are some of the one in the UK

Update

Having said that I was underpaid as full timer when I worked for a BT subsidiary back in the day and the HR director was a "piece of work"
Your concerns seem reasonable and well-grounded, it’s just odd to insinuate a conspiracy of how these articles were released. It probably was a reaction but it a perfectly reasonable thing to do. WhatsApp is committed to being transparent, and this is apart of it.
If you are highly principled about privacy or doing sketchy things yeah… don’t trust any software from for-profit companies.
> I used to recommend `CHECK` constraints as well, but was directed towards Postgres' very good intelligence around being able to relax a `VARCHAR(n)` -> `VARCHAR(>n)` as basically a no-op

I don’t think that’s the case when you have views on the table though.

The locking could also be a concern, altering the table will almost certainly need an exclusive write lock, altering a contraint may not (to check). Even if the operation is very short, the need to block every read coming after the DDL can be quite impactful to service.
It is not an issue. MS is the outlier here in that they sell their software to anybody (Linux is given for free), like you said everybody else (TV manufactures, cars, etc) bundle theirs.

You could, maybe, make the argument that what Apple does is anticompetitive, but in the laptop space they are the ones being hurt by a monopoly, not the ones who benefit.
I wonder how a more competent form of Siri/Alexa/Home might change these market economics. If we ever come to rely on digital assistants for much more than the weather and turning on our lights, the problem of remembering goes away.

"Hey Siri, book me a flight to Vancouver for next January when prices are below $400"

"Hey Siri, show me my travel itinerary"
I think that's the only useful feature a smart refrigerator can really offer, unless it figured out how to order more groceries or suggest recipes based in what's in your fridge.

Getting the door open notification seems pretty easy, too. I bet a smart lightbulb could alarm if it's been on too long
I keep a pad of paper next to me. Though I do nearly everything on the computer, I use paper to write down anything I need to look up later. The list isn't for things I need to learn, but for how to do something I need to know how to do on a regular basis. If I were studying math, and I knew how to use a theorem but didn't understand how it worked, I might write that down. The point of the pad is to keep on task and only take a brief note.

For any programming language there are two other things I do. First, I make a repo with a bunch of nested directories that I'll add to. So I'll have something like Array -> Iteration, and that might contain 5 different programs going through different types of iteration. Yes, a book will have that, but actually coding it really helps it sink in.

The first place I look for resources (even before something like <language>.com) is stackoverflow. Search for the tag of the language (like "[go]"), then click "Learn more...". I've found these lists of resources to be the best jumping off point, though the language may vary.

Again I use the pad for details of the language. There are times when I know I'm doing something that works but is maybe slow or looks ugly because the language has facilities to do it more cleanly.

Then there are the personal differences. I've reached a decent level of fluency in 2 other languages. I really struggled early on with typical instruction until I tailored study to my style of learning. Where most people seem to learn new words through use and context, I did so much better by learning them on paper -- to the point where it was a substantial departure from the rest of the class. So my point here is to figure out what works and don't be afraid to do things differently.
Where I live and work, the average cost of high-quality office space is around $5/sqft (the average cost overall is $2). And no, I don't live in the boonies. I live in a city with a considerable tech presence.
a rare pleasure from a bygone era..
Sure, I guess any mutagen would do, as long as you have some control over the dosage.

Mutagenic chemicals might work equally well. Would be super annoying/dangerous to work with compared to flipping a switch on an electron gun though.
Dodgers pitcher Trevor Bauer's leave extended through the rest of the season
We had an extra optional curriculum on university, and to pass you had to successfully install Oracle.
> A whistleblower represented by Whistleblower Aid has filed a complaint about the alleged violations with the US Securities and Exchange Commission.

Nice.
While I think it's clear that some of the currently Oyster-only features could be migrated (e.g., you can have a rail discount card on an Oyster card, but clearly it merely requires a way to link an Oyster card to the "account" of the contactless card), others are more challenging, like free travel passes.

I suppose you could just issue EMV-compatible cards where you grant the holder free travel, though I'd expect this would be more complicated than the status-quo (both in terms of needing to register IDs in lists that aren't particularly long currently, and in terms of needing a much larger standard implemented).
USB-C Hubs and Ethernet (2020)
Absolutely, for people who do not know what they are doing. Anything with high voltage capacitors is dangerous unless you know how to safely discharge them, and the magnetron in microwaves specifically.
Bitcoin addresses have a checksum. Note that ETH does not.
They didn't say smarter but they did say above-the-average which implies better (as opposed to worse), rather than it being a different skill set. That is to say, I know exceptional "hackers" who can't code their way out of a pair bag, or build any sort of GUI. Similarly, I know some really good programmers who don't intimately understand how computers work a tenth as well as hackers do. There are genuinely smart people in both camps, but they're different skill sets.
I'm only vaguely familiar with the GMO debate, but isn't the primary concern that they make food into controllable IP, locking farmers into a SaaS-like subscription lock in, not allowed to replant their own seeds?

Although I'm sure there are people who are just worried about the scary-sounding nature of "genetic modification", the IP angle struck me as a reasonable concern when I heard it.
I don’t have time right now to expand, but the greater argument is that data portability is a much larger problem. There is nothing nefarious about Microsoft deciding to not support Office on Mac, just like iMessage on Android. It’s a business decision. There are plenty of cross-platform alternatives. If Apple actively blocked messaging apps from exporting their data then we’d have a story.
London is pretty amazing for public transport as well by British standards. I took up cycling when the office moved because my new bus route was just under £6 to go about six miles, which took an hour each way according to the timetable but in reality the first bus would be 30-40 minutes late in the morning if it bothered to turn up at all, and it only came every hour and a half.
From the text of the injunction:

> [Apple] are hereby permanently restrained [..] from prohibiting developers from including in their apps [..] buttons [,..] that direct customers to purchasing mechanisms [..]

I'm not sure how exactly to interpret that but it seems reasonable to interpret that has being able to put a button in your app that takes someone to a checkout page.
In regard to the initial spread, that entirely stands to reason because people of lower social status generally stay where they are, and aren't jetting around the world.
The ultimate exaggeration of this would be a grand unified theory of everything. Maybe Stephen Wolfram will write it someday in the form of a cellular automata rule set.
The low rez displays have been around in different forms for years.

Whenever I see them I have trouble coming up with actual applications I would want to use them for that aren't better supplied by say a smartwatch?
> Do you know what AIDS is?

What kind of a question is that? It's a horrible disease, and it shows how important it is to have a good public health system.

> Countries that don't have it keep having to lock down for two weeks every three months.

China hasn't had a widespread lockdown since early 2020. In recent outbreaks, lockdowns have been very geographically limited. For example, the Guangzhou outbreak in May-June 2021 was ended without locking down more than just a few districts of the city. Mass testing, contact tracing, and testing requirements for people leaving the city were sufficient.
> there is, in fact, plenty of other land that can be used for solar farms.

If such land were available at an equivalent price to the hillside in question, why would anyone clear a hillside to install solar? All else equal, it's strictly more work/expense to build a solar farm on an incline. The price for the "other land" must not be right, or must have some other serious disadvantage.
>the Amazon app is highly likely to have people using their existing Amazon payment method.

Let's say you want to sell your original product on Amazon, but you also have your own fulfillment center and a storefront on your website. What if Amazon removed you from their store, because your instruction manual included a URL to your website, and it was against the rules to tell your customers that you accepted payment outside of Amazon's ecosystem in any way.

That's what Apple did with software, though suspiciously they left the largest, most litigious companies like Amazon alone, because they've been free to use their own payment systems for in-app purchases of physical products for years now.
I love the cancellation experience with apple subscriptions, most other things are garbage / dark patterns.
Wait, what?

I use soapberries, have a well, and have a sewage treatment plant here. My electricity is hydroelectric.

How is me washing anything affecting the planet negatively in the slightest bit?

After the sewage gets treated it goes into a field with wild vegetation which is home to all kinds of living, breathing, and pollen[ating] things.
Our Vendor offered Sybase in the mid 200x's as a choice for our college middleware, but they used 'case-insensitive' sort, which the linux version of Sybase did not work with.
>> Weston is the Wayland project reference compositor and the heart of WSLg. For WSLg, we've extended the existing RDP backend of libweston to teach it how to remote applications rather than monitor/desktop. We've also added various functionality to it, such as support for multi-monitor, cut/paste, audio in/out, etc...

Did they push those changes upstream? This seems like it could be another way to run GUI apps in containers on Linux too.
Yes, large engagements frequently include a "red team" who's job it is to try and break into the system.
I've kept a list of headless ecommerce providers:

https://saleor.io/

https://www.swell.is/

https://www.vuestorefront.io/

https://www.elasticpath.com/

https://boldcommerce.com/

https://nacelle.com/

https://www.contentful.com/

Why are there so many of these? What are people actually using?

I see a lot of e-commerce companies (albeit older and using solutions like Magento, Shopify, Oracle, etc.) and I rarely see any full blown e-comm companies using them, but rather they use them for simple checkout/cart functionality. Curious to get people's views here.
For that matter, pushing for SRE roles that manage orchestrating the K8s environment and as a developer you can focus on a local docker-compose, and spend more time in testing (unit and integration). The Developer is responsible for Dockerfile, and the CI/CD build and test portions of the process.

Considering the level of options from Kubernetes, heml, istio, etc can get complex, the developer can focus on the boundary requirements... expected environment variables and peer systems/services.
There is a time limit on usage, why bother with a portfolio limit?

If someone is invested enough to add 10-50 holdings they'll probably be more likely to convert to a monthly sub, but limited to 5? I stop and go back to yahoo finance and never realize the value of your service.
I'm pretty sure this isn't using the Tensor cores on the GPU.

If you see here (https://github.com/ultralytics/yolov5/blob/master/README.md), the speed of inference on a V100 for YOLOv5s should be 2 ms per image, or 500 imgs/s, not the 44.6 img/s being reported here.

This is important as it is more than an order of magnitude off.
It’s more about what our annual app fees to Apple are, 1.2mm. We have diverse revenue streams so the correlation between Apple revenue and salaries isn’t apparent.
Your body and your right to privacy.

If you are in decent health, you will likely be OK. I got it this year, and it was rough for a week at home. I got letter from Dr. which states I have the antibodies and have recovered.
Brilliant name
Stark Contrasts: Jan. 6-BLM Side-by-Side Comparison
SF Mayor Willie Brown got low-key early warning about air travel (2001)