skysight-inc/HackerNews huggingface dataset:
It depends on Java version that you use. Recent GC returns unused memory back to OS [1] and class data sharing can speed up startup time of your microservices and save memory as shared classes are loaded only once for all JVMs [2]

[1] https://openjdk.java.net/jeps/346
[2] https://openjdk.java.net/jeps/310
Good example of how good regulation is good for capitalism.
Yeah. I couldn't have attempted learning about certain sorts of objects like Chu spaces, posets, or topoi without category theory. After having gone through the change and categorifying my thinking, I now find category-theoretic constructions everywhere in mathematics, and I find the mathematicians who refuse to examine category theory quite insufferable.

Edit: More: The connection between type theory, logic, and computation is not specious, but is part of the fabric of reality. I now can understand why chemistry -- being a linear logic -- is time-reversible, or why every DAG is a poset is a system of logic is a language of computation, or why a ring has two interlocking groups, or why social groups tend to include one big conversation and many side chats in a power-law distribution of sizes.
> Exactly, the trim switches override the MCAS. That's why you use the trim switches to set it back to normal, then hit the cutoff switches.

On the 737 Max there is no way to disable the MCAS without also disabling the electric trim.
Seems like this might be a better solution for shipping than for trucks. Batteries are not really a viable solution for shipping, except on short routes. They're probably stuck with hydrocarbon fuels, but this might work, and the extra mass of CO2 carried wouldn't really be a big deal for a ship. Probably won't work with current dirty bunker fuel though, as I expect that contains too many contaminants; it would need the fuel to be cleaned up a lot first so I wouldn't expect the shipping industry to be overly enthusiastic.
This is probably one of the best introduction to category theory text out there now, but it isn’t exactly as friendly to the non-mathematicians as advertised. The book assumes a level of mathematical sophistication beyond what most non-math majors know and ramps up fast. The average programmer would probably get lost pretty quickly with this book.
Here’s a comprehensive study from the Union of Concerned Scientists.

https://www.ucsusa.org/sites/default/files/attach/2015/11/Cl...
Yup. We had a pretty good (20%) discount if you paid for a year up front that customers often used, so it wasn't slow to save up the cash, but it serialized a lot of processes that could have been parallelized. Testing one server well takes a few days. Testing 100 servers well takes a few days.

I mean, there certainly was also a time aspect that was independent of that serialization, but a lot of that was also saving money. I mean, I personally argue that buying servers from parts is less time than negotiating a good deal on an assembled server, but we certainly could have gotten tested servers out faster if we were willing to shovel more money at someone. Maybe even if we still serialized the purchase.
It would be very unlikely that a company would publish that kind of route (it really should be filtered out) or allow traffic from outside the network to route through it.

Unless they are intending to provide transit, the only routes they would announce to peers in either country would be to their own network.
> voting isn't helping

Because the will of the people is in the other direction. At this point, its a matter of convincing the greater public of the evidence.

People are stubborn and difficult to convince. And you need to convince roughly half of the voting population (maybe ~50-million people) before things happen in the USA. That's how democracy works.

There's also a power-imbalance that gets somewhat political: how smaller states have 2 senators and therefore control the vote despite having a very small population. Convincing those people is more important, because their vote matters more than most people.

200,000 Wyoming residents have the voting power of 700,000 California residents, due to how Senators work.
Also discussed here: https://news.ycombinator.com/item?id=21847718. I feel like it's fine to have two.
Don’t waste your time in crappy startup jobs
> I now find category-theoretic constructions everywhere in mathematics,

i think gp might have been asking about practical use in CS ( CS majors).
Ask HN: Can you segment inorganic vs. organic app downloads iOS with SearchAds?
When running a campaign w/ Apple search ads, is there any way to know whether the user launching the app came from search ads, or from Twitter, other social, website etc. I'm guessing there isn't but thought I'd ask.

It might be that the conversation rate for users is the same for most apps regardless of their referral method, but I'm not always sure this would be the case. Users sometimes trust ads less versus blog posts depending on how they were introduced to the product (conversion rates are much higher with word of mouth for example). What I'm looking for is in applicationDidFinishLaunchingWithOptions(...) to be able to have a boolean that is whether or not the download was organic versus paid.
I get serious Snow Crash vibes from this.
What if the work needed is the work human beings want to focus on because it’s meaningful to them?

When you have AIs that can do arbitrary work that humans can do, what prevents other humans from simply cutting out the humans that want to do that work for AI?
Is this a "submarine piece"?

It reads less like a documentary and more like a biography

http://www.paulgraham.com/submarine.html
Yikes, I know what you mean. You've got engineers, and you've got hackers... Hackers place enormous emphasis on personal liberty and sovereignty. Sometimes I feel like a hacker in an engineer's body. At any rate, I looked through your comment history and I think we would get along fine. Got a point of contact?
Please don't make personal dismissals. That's not in the spirit of this site, and we already had to ask you about this: https://news.ycombinator.com/item?id=21615955.

Instead, if you know more, share some of what you know. Then we all can learn something.

https://news.ycombinator.com/newsguidelines.html
now, if the author would use pandoc he'd get that for free and noone had to do the menial work.
The Waking Up and Headspace apps have been great for me. I’ve found that meditation is much like regular exercise, where consistency and long term adherence is more important than how much you feel you’re getting out of each individual session. Those apps have helped me build habits.
77% of semi truck routes are 250 miles or less, a distance easily covered by today’s EV technology.
I believe my real analysis class made me a significantly better programmer and thinker in general, but I don't use anything specific from it (not yet, anyway).
>but it isn’t exactly as friendly to the non-mathematicians as advertised.

i really chafe at criticisms like this given how much effort was clearly invested by those authors in that book being readable - there are ample definitions (and clearly offset), tons of diagrams, instructive examples, solutions to many exercises, pointers to further readings, motivation and discussion.

is the thing that bothers you that there's formal mathematics?
it's a math book. i feel like your same criticism translated into a criticism about a programming book would be something like "this book is too unfriendly to people that don't program because it has lots of code and expects people to be able to read code".

i don't understand what exactly would qualify for you as "friendly"?

>category theory for the average programmer.

that's because despite what people would have you believe - category theory isn't for programmers but mathematicians. so a book like that would be like a book about fluid dynamics for plumbers (read: impossible).
Oh boy, I’d encourage you to work in government for a year or two. I did IT for a government department that eventually wound up being investigated for letting the Taliban use their equipment (all I did was help them troubleshoot run of the mill PC issues FWIW). I personally know someone who had root access to a government land auction DB. Someone asked them to run “off the book” queries in exchange for looking the other way if said DBA wanted to run their own unaudited queries.
You’re manufacturing a car either way aren’t you?
Bilevel just means black and white, i.e. the output is a bitmap with just one bit per pixel.
This is, of course, the right answer. Unfortunately we are too quick these days to pull out the shotgun when a small razor will do fine.
Doubling their salary? People have sold secret classified data for just thousands of dollars worth of gift cards.
Firstly the author isn't blaming readers, they're blaming Amazon. Secondly, if a typo is found in your work would you expect it to immediately be pulled from sale? What if there was no typo at all and the reader was mistaken? Is it fair to pull it from sale until the non-mistake is "resolved"? Can you not see how this is open to abuse?
no. we should use our knowledge to harden our planet against our kind so that we can have security and longevity to develop real space faring tech
Is it possible to write such a book? I've served as the (non-mathematician) outside chair on committees for category theory dissertations, and the mathematicians themselves talk about whether category theory is too abstract. I can't really tell, of course, because my main role is to not fall asleep during the defense of any math dissertation.
> how can businesses may become known?

Some argue all advertising should be banned. If that were to occur, the search burden would shift to consumers. We'd subscribe to curators like the Consumer Report or Wirecutter, storekeepers, et cetera and let them do the searching on our behalf.

This article considers something weaker. No public advertising. No billboards. Direct mail, storefront displays, in-store advertising, et cetera are still permitted.
The ideal thing is if you can consult in the field your product is in.

For instance, I run an LSAT prep business, and started with tutoring. This gave me a pool of users I was close to for feedback on whatever I was working on, and kept me close to the material.

Trying to do unrelated consulting is much harder.
This is somewhat similar to what You Need a Budget ("YNAB") does. Whereas you are prepared for any transaction and deliberately process it manually; YNAB forces the user to manually document and enter the transaction, recreating a similar process as you do physically. This creates a tangible transaction in the human's brain - making the action stick and be more real.
Initially, higher control forces may be needed to overcome any stabilizer nose down trim already applied. Electric stabilizer trim can be used to neutralize control column pitch forces before moving the STAB TRIM CUTOUT switches to CUTOUT. Manual stabilizer trim can be used before and after the STAB TRIM CUTOUT switches are moved to CUTOUT.

If the graphs are to be believed neither the electric commands nor hand crank were able to move the stabilizer. Again, how is that a pilot training issue?
"First, employees didn’t have to bear the full financial cost of car commuting"

They don't bear the full financial cost of transit commuting either, since transit is heavily subsidized.

Here is where someone will say "but roads are subsidized." Of course they are. However, those who drive their own vehicles bear the full cost of the capital asset they use (that is, the car). Transit systems recover only a portion of their operating cost - and NONE of their capital cost - from fares.

Despite the big operating cost, capital cost, and opportunity cost of driving (that is, while driving one has to drive, but while commuting on transit, someone can sometimes do something else like read) people still like to drive. The reason is that for many people driving is a far superior mode of transportation. You couldn't pay them to take transit.
I agree and it's funny that something so basic is refreshing to see. I had assumed it was an IDE (I guess because of Light Table), but they made it clear as soon as I hit the home page.
> all it took to change peoples commuting behaviour was the availability of a good alternative to cars.

No, I think that's a fair conclusion to draw. The only data point you have is that the train is being used. But that can be explained by some combination of:

1. Users who changed jobs and taking the train as their new commute. In other words, they never changed their existing commute to the train.

2. Users who had a commute even worse than the train, like walking or taking bus service.

The article is about getting people to change their commute for environmental reasons, which really means getting people to accept a less convenient commute because it's better for the world. As the article shows, it is really really hard to get people to do that. It's not enough to just give them an alternative and wait for the magic happen.

Adding train service is good, of course, in large part because it offers a better commute for many people. But if you've already got free parking and are used to driving a single-occupancy vehicle every day, simply having a train become available is not very compelling.
What fraction of the total semi truck traveled miles are on those short routes?
> they're not statements of fact, they're opinions

At this point, you need a federal bureaucracy policing practically all retail commercial speech.
> 3. Halt foreign online payments

That is extremely unlikely to happen. Payments, banking, investment will be always connected, or placed abroad in the required way. At least for important enough transactions - probably not Amazon, but stock trades...
I just mean all the developer tools, consumer-facing GUI software, and a wide variety of server software & daemons. All of those that I’ve seen in Java over the last 20ish years. Perhaps the tech giants are all writing Java that’s nearly as low-footprint and fast as C, I dunno, no way to tell from this side. I can only sample programs I’ve had access to.

[edit] bloated = much higher memory requirements than I’d expect for what they’re doing (yes I know how to configure jvm memory and such), affects the performance of other software on the same machine more than I’d expect, if running on battery, fairly likely to chew through it while doing nothing.
HSBC bank steals money from Hong Kong resistance movement
So more or less enforcing the status quo. If you can't do push marketing, whatever people are used to will stay for much, much longer.
if a person is not held responsible for the actions they carry out, what can the underlying logic be but a rejection of free will? things will get truly interesting this century as we get better at projecting probabilities based on genetics and personal data; if a man is less culpable because of predispositions, why should we even let him out? this is a fundamental tension in our justice system.
I expect that it being a M3 it had a MPU but not am MMU.
Not saying you're wrong, but again I never see these claims backed by data. My guess is most people eat their data plan with video and Spotify, not overweight JS.
The only explanation? What if Chinese undercover agents are running SIM card sales operations?
Like what? What do you encounter that's a slow Java app? It's really fallen out of favor in the desktop app space so it's probably not that.
My Heathkit H89 had a Z80, 16K of RAM and a built in cassette interface. And we liked it.
Breadboard parasitics don't help. Or, rather, they do.
PyPy is a much-faster drop-in replacement for CPython. I wish more people would use it.
Sigh. With the electric trim enabled, the trim switches will override any MCAS commands. This is why, again:

1. trim to normal with the electric trim switches

2. cut off the stabilizer trim

Do it in that order. Doing step 2 before step 1 won't work.
I don't think ICBMs need glonass. They use astro and probably inertial guidance.
For the past seven years, I've lived 1.6 miles from work. My route to work almost perfectly follows a bike trail. Despite that, I drove almost every single day. Largely because it meant another ten minutes of free time in the morning, and getting home a little earlier every evening.

Then where I work enacted a plan where we pay any day that we park at the office, and get a bonus any day we take alternate transit. The plan is designed to be revenue neutral for the company while incentivizing people to not drive and park.

I bike every single day now. In fact, I'd probably keep biking if they stopped the plan because I'm used to it now and really like it. But it was so hard to change my commuting habit.

I feel like the drive to work is a point in the day where humans have absolute minimal executive function and willpower. By the time I'm heading out the door, I don't want to be thinking strategically or trying to make the world better or anything. I just want to get the fuck to work and use my brainpower there.
Protobufs is a TLV encoding no better than DER. If it's just the syntax, then it's not much of an upgrade. Syntax is not a big deal, but semantics is, and there hasn't been much, if anything at all that's new semantics-wise since ASN.1.

(Of course, that the ASN.1 syntax is difficult to parse with LALR(1) parsers is a problem. But the syntax doesn't have to change much to be easier to parse.)

You don't have to know about and use all the built-in universal types in ASN.1 -- they're there if you need them.

Protobufs is just a history-repetition disaster.

IDK about Cap'n Proto, but I'm glad it's closer to PER/OER, if it is.
Merry XMAS HN! Assuming your not working today, enjoy the time off. Downtime from work is very important folks.
A Six Figure Business Bringing Asian Culture to the American Wedding Industry
And CS is merely a subfield of maths. What should I say? Scott theory, domain theory, CPOs, Galois connections? The problem here is that, as usual, folks are trying to figure out what category theory is good for, but ignoring the entire point: The definitions are the important part. Once the definitions make sense, then the rest of the system makes sense. Category theory is all about the definitions, and moreover, all about coming to have the definitions at hand so that one can recognize categorical structures in practice.

Or, I guess, I could take a lazy route and just say "theorems for free, those are the practical use" and be done. But it's frustrating to hear folks over and over wonder what something is good for, when they clearly aren't reading and trying to find the goodness for themselves.
I've quite literally spent the last month trying to read, digest, and apply the above to a record layer I'm writing for FoundationDB. Dr. Spivak's work has been absolutely beyond helpful and insightful. There's no way I'd even be able to approach the subject with his efforts.

I'd also recommend these as they're associated with the 7 Sketches and help fill in some blanks:

Functorial Data Migration - https://arxiv.org/pdf/1009.1166.pdf

Category Theory as a Unifying Database Formalism - https://arxiv.org/pdf/1009.1166.pdf

Database Queries and Constraints via Lifting Problems - http://math.mit.edu/~dspivak/informatics/LiftingProblems.pdf

Additionally, there's also https://www.categoricaldata.net/ which helps provide more actualized implementation details of "FQL" (Functional Query Language) which he mentions in his papers.

For anyone else looking to get started with Category Theory, I'd also highly recommend choosing a functional library (i.e. something with Applicative, Functor, Category, Monad, Semigroup, Semgroupoid, Comonad, etc) in whatever language you're most familiar with and then _re-implement_ the functions to learn what it's doing (and what properties each class of item must conform to). In Elixir, I've been using Witchcraft... github.com/witchcrafters/witchcraft

For me, it has helped a great deal by forcing me to think about things like associativity, identity, and composition which I normally... didn't really do. It lends some nice patterns and naming conventions, even if you don't adhere to them perfectly. After a month of category theory, and only a crude/rudimentary understanding of it, has been enormously beneficial. My refactor of my FDB record layer after category theory has less code, works more correctly, and has more features. It's crazy...

Category theory gets 10/10 from me.

P.S. You'll probably, at some point, want to learn a little Haskell to help elucidate things in a "pure" context. It also helps as most every functional library is modeled after Haskell's standard library (? I'm still new, heh). To get started, this will save you time, as it seems most things in the Haskell world now-a-days be using this to setup/manage applications: https://docs.haskellstack.org/en/stable/README/
I don't know what graph you're looking at. The reports I saw was that the EA pilots did not follow the procedure:

1. trim to normal with the electric trim switches

2. cut off the stabilizer trim

What the EA pilots did was:

1. cut off the stabilizer trim

2. try to use the hand cranks to trim to normal
> Writing proposals, calling representatives, signing petitions and voting isn't helping.

It’s almost as if the majority disagrees with you that it’s a good idea. Welcome to democracy.
I've heard about whiskers, but isn't it a mostly solved problem now with low Ag alloys like SAC0307?
Couldn’t find IDOL on Affirm’s github. Is any of it open source? I’d love to take a look if so.
Some restaurants refill ketchup bottles, which I've seen lead to some kind of fermentation where they spew when opened.
What does real analysis have to do with category theory?
Well that depends on what you intend to use it for...

Since twitter don't have a legitimate need for it I'd never give them my number. A disposable number, maybe.
Sounds like that could be useful once your customers are comparing you to your direct competitors (especially if they're making similar value claims).

Though even then, the features would have to be things people actually expect to get better value from. E.g. "snooze emails for later" vs "our server runs on golang"...though if your audience is super core golang fanboys then maybe the latter would be useful as well :)
Anyone Familiar with Loan Business?
Hello all, I am working on a platform to provide loans in a super niched market. My users are mostly business owners who themselves have their own customers. We are providing an installment payment method for their customers if they cannot pay full at once, but may be willing to pay a small portion for each month, say 3 months, and 6 months.

I've contacted SynapseFi which has this lending product to use, the product sounds perfect and may product us all-in-one solution for lending. If I use SynapseFi, I don't need to deal with any license and compliant issues, which is good. But problem is the monthly fee is over$20k, far above my budget for my garage-based side project. I will soon burn out all my cash if there is no VC money.

Actually all I need is to send money to business owner's account, and collect monthly payment from their customer via ACH.So I am also thinking to directly lend my own money to their customer and collect their monthly payment via ACH back to my account. But I am not sure if by doing this, it will cause some legal issue.

If you guys know any alternative to SnaypseFi or any affordable legal ways to do so, please kindly advise. Thanks & happly holidays!!!
I believe there's work to be done for each new CPU architecture (Broadwell, Skylake (AVX-512), Cascade Lake, let alone ARM or other architectures). The code needs to be updated for things like L1 cache size, number of registers per core, and number of adders per core. So there will likely continue to be frequent work on BLAS implementations until there's some very smart optimizing and profiling compiler (which is related to what ATLAS does I think).
It could depend on which accounts you interact with.