skysight-inc/HackerNews huggingface dataset:
> Their banking example is impossible under any system which guarantees serializability.
>
> To guarantee serializability, the database system cannot assume anything about how some value is derived

Their example is very well possible with a system that just guarantees serializability. Especially if it's distributed. The database is not assuming anything in their example, but you are changing the database design and assume it's in a way serializability works. Serializability works in many scenarios, especially on single machine databases, that's why it was usually sufficient (they even mention exactly that). So it's very easy to come up with an example for serializability working. Actually your example is equivalent to their first example (with inventory), where they point out how serializability works.

But the data in their second example is not in a single value "money", but it's disjoint values "savings_balance" and "checkings_balance". Reads/writes to these are from a database point of view non-conflicting operations, so they might be reordered. The article explains the transactions access disjoint data (checking balance vs savings balance) if the disjoint data are located on different machines in a distributed system.

So the two transactions T1 (add money to saving) and T2 (remove money from checkings), may be executed T1 -> T2 and T2 -> T1, because they are non-conflicting reads/writes. In the T2 -> T1 case of their example, the balance dropped below $5000 dollar, because the addition came later.
Inja – A Template Engine for Modern C++
I always wonder why foreign countries by the French Rafale. Same problem: What can we trust from a foreign entity?
This post was flagged. I thought it was interesting and civilly stated. It may well be baseless or untrue but I think the readers can take it for whatever its worth to them.

If this change were 'orchestrated' to push through an ethical change that otherwise would have been hard to sell then I think that would also have been a laudable act just as well. Executives are also employees and should be free to collaborate with their colleagues for the benefit of all employees.
Anything similar for android people who have some time to kill while commuting?
It federates itself like SMTP does, I guess? If you translate and rotate their solution (abstractly speaking) you arrive at some very interesting ways to create a federated website/app/thing. Inspiration is always a really hard thing to nail down.

From a technical standpoint, there are six specifications (Matrix, Mastodon, XMPP, SIP, SMTP, Microdata) that have gotten the "future of the internet" partially right, in my opinion. Some union of the them, excluding the unfortunate bits, is likely the email/Twitter/Facebook/what-have-you killer. Putting that in consumers' hands and getting them to use it is another story, but we do have the starts of a technical/back-end answer.

For example, you could embed text document edits inside of Matrix messages as Microdata (ignorantly spamming someone aside with thousands of character edits aside). Is your spouse doing their taxes? Send them a chat message with Microdata explaining to the form where the attached document goes.

As a general goalpost, WeChat (having circumvented federation problems) in China is a really great example. You can pay for food at a hotdog stand on the street with chat. Uber merely facilitates communication between taxis and commuters. Whatever the project(s) you are referring to, software usually ends up solving communication problems. Recursively simplify your problem, ultimately realize how communication fits into it, then work your way back up to your initial idea. Federated IM is ludicrously powerful and, especially with graceful degradation, can lead to some sales leads.
>There wasn't much space for user tracking, analytics, etc.

You literally sent every keypress to a remote server that was responsible for both generating all of the views and storing all of the data you touched during that session. It may not have been called user tracking, but the sysops definitely had the capability to see everything that you did.
You'll have to ask Fabrice Bellard for that
When I think about self driving cars I can't help but think about the Therac-25.

Software bugs kill people. Not all software bugs, and not all software, but the lines are getting blurrier. It's not just medical equipment. Phones explode. A connected coffeepot could burn a house down.

The Toyota acceleration bug (where cars would accelerate uncontrollably) was preventable if industry standards were followed. These aren't things you'll find in a Martin Fowler book, there are specific best practices for reliable embedded systems.

Something needs to improve on this front.
I can't see any advantage in using JSON and HTTP for a protocol. JSON shines for ad-hoc, untyped, structured message payloads rather than the strongly-typed semistructured text payloads possible with XML/SGML, and HTTP wasn't designed for federated protocols. It seems more like a fashion thing to me.
I feel like Triplebyte and Hired are playing the same numbers game that everyone else is, they are just taking on some of the vetting work on behalf of the hiring manager. That results in a safe-bet candidate pool that conforms to certain technical biases (just read some of TB's blogs for examples) and favors professional job-seekers which are not necessarily the best long-term hires.
Parallel Queries in PostgreSQL
That's kind of the point of the article's argument, which is to say that if you compare your trading to an "index stock" then the index is likely to win, by a big margin.

So, good luck with ML, but make sure you reality test against the "set and forget" solution of indexes.
Sure, those companies make money, ergo why people want to be able to make money while working on FOSS.
I'm sure you can read books, listen to podcasts, and find online resources to learn basic principles and guide your learning, but I'd highly recommend hiring a sales coach / guru.

I struggled w/ sales for ~8 months and then (very randomly) was introduced to someone who had 12+ years of sales experience in tech. I asked if I could pay him to sit down w/ me for a couple of hours and walk through all of my sales emails and correspondences. It was SO illuminating. I've continued to pay him a generous hourly rate to keep coaching me on sales, and ~6 months later, I feel extremely confident as a technical founder who can also do sales.

Getting an expert to walk through your process w/ you is really important because there are so many nuances.
Me too, and I wonder how many people have actually read ANKOS.
> What the hell does "power level 9000" even mean for a programming language?

Power level 9000 is a reference to Dragon Ball Z. I haven't watched it but I gather it's up there on the power scale.

I think the analogy makes sense. Sometimes it is better to take a car than a Cessna or a jet, so it doesn't necessarily fail as you think it does.
Insurance Company Using AI to Determine Fault in Car Accidents
It is a shame that the field is pretty undeveloped still after 20 years. Only recently there have been popping up few consumer CADs (fusion360/onshape), but those are still quite limited and of course do not satisfy free software user like me. Setting up decent physical simulations seems yet another whole endeavor even if you got your model done. There are few physics engines available, but using them seems to require fair amount of work even just for basics. Then comes the social sharong aspect that the article mentions as "Shared federated simulation environments". While I don't think that we need such fully immersive shared environment that the author envisioned, just being able to share models and simulations for exploration on the web would be nice. Being able to get nice photographic-like visualizations would be then the cherry on top this whole thing.
You may find it pleasant to have people around and water cooler conversations, but many others do not and have no need or desire for work to double as a social outlet.
also showing past history of job postings from an employer and whether they were filled or just reposted every few months... in other words is the job posting real or just a fishing expedition?
Similar experience here. When I first discovered Segment there was a free plan, the value was clear (install just one script + ability to replay), and there were affordable plans for small businesses. So I recommended using it right left and center.

I get the reasoning behind the price change, and I presume it was good for their bottom line, but it felt like extortion.

The current prices are still a far cry from what they were back in 2015 [0] and the most valuable feature (replaying historical data) now seems to be enterprise-only. It still looks like great value once you reach a certain size but I'd be hard pressed to use this new startup offering or recommend a client to do so.

On a more strategic note, the door seems wide open for another Segment-like startup to capture early stage businesses. The only thing that might be saving Segment in this respect is that Google isn't suggesting a competitor when you type "Segment vs" -- yet.

[0]: http://web.archive.org/web/20141231114510/https://segment.co...
Forget Netflix. Going to the Cinema Alone Is Life's Greatest Guilty Pleasure
Paul Graham: Startups in 13 Sentences
Best Case Studies of an Online to Offline Economy in Action
The medium post with alleged proof is much more interesting than this post though: https://medium.com/@Edmund_Olotu/how-marek-zymslowski-lied-a...

My main question from all of this is that if all of this is true, then how come the investors and Nigerian police weren't able to show this to the court in Poland that set Marek free? If they have this much documentation, then it should've been fairly easy to present this to the court in Poland and he wouldn't have been released.
> This report from 2016 puts NXP at twice the marketshare over STmicro who are sitting steadily in the fifth place:

To be fair that is largely because they aqquired Freescale, the year before they had almost the same market share.
Craftsmen Know Their Tools
I like to be at a small corporation (we're about 70 people, 25 of which on the tech side). We work on things that I think are important, I have real influence in how everything is done, and it's still a normal job where I don't have to put in insane hours.

There isn't a binary choice between Big Tech and Startup.
It's a slightly different problem as those countries that buy the Rafale do so because they don't have (or aren't willing to develop) the means to build their own planes.

So to them it's mostly a matter of choosing which foreign entity to trust and at which cost, between the US, Russia, China, France, and a handful of other states with lower performing but cheaper equipment.
I may have formulated this a bit poorly, by exemplifying my experience, what I meant was that people that work remote and uses voice, video, chat, should spend more time making sure their setup works really well, with good audio and video quality.
How is he arrogant? Here he is clearly proud of his personal infrastructure and wants to share it with the world. What is arrogant about that?
They can't, but they also can't afford to have a fighter that's significantly inferior to their adversaries. So they find the country that can offer what they need, which they can trust most (or don't trust least, depending on your perspective).
This is crazy. He is the CEO of an 800 person company and the people talking to him sound like they are completely unprepared for the conversation. Of course the third argument needs to be fucking documented! Their response should have been "yes, this is a clear bad, we'll fix the documentation by tomorrow's meeting." Not just sit silently on the call while the CEO has to go do it themselves.
In the west, Buddhism is often stripped of the low intensity, community oriented aspects of Buddhism present in Buddhist countries; and what remains of them is invested with alien majesty.

For example, when Japanese Zen is practiced in the west, bowing to Buddha and one another is an integral part of the practice. It is something that many western people struggle with, as it connotes considerable deference in the west. In Japan, however, people bow in many professional contexts, at the beginning of class, and in many non-institutional social contexts as well. The bowing in a temple setting is a continuation of this. It's a little more regimented -- in a temple setting, we are to bow to everyone as we pass them -- but not such an enormous departure from everyday life. One the one hand, bowing in the west is something that has an exaggerated significance, relative to what it has in Japan; on the other, bowing is something where we see a continuity between Buddhism and everyday life in Japan, but not in the west.
It's not like every country has the capacities to produce fighter aircrafts on its own.

Also, having intertwined economies is supposed to help maintain peace and foster prosperity.
mennyibe kerül? :)
they absolutely promote positive reviews ahead of negative reviews but i don't know if that's a paid service
We (getsimpl.com) use geektrust.in for developer hiring.

Developers create their profile, solve problems and earn badges. GeekTrust ensures companies have to engage with only people who are good at coding and solving problems. Companies pitch to candidates and if both matches, the next level of interviews are done by the company. It's great for companies as it improves the top-of-the-funnel with high-quality candidates.

For candidates, it's using their core skills to market themselves, at their pace. There're people who slowly build their profile. They submit code, get helpful reviews to go further.

The difference between GeekTrust and other coding platforms is that they handle things well beyond just plain problem-solving. Things like great design, documenting etc.

As mentioned by others, we use HackerRank also to evaluate different aspects.
I'm sure you can put in the work to fill the form with some made up info if you really want the book.
You realise that Europeans invented economic development, right?
I’m in a similar boat. I desperately want to be able to develop on my iPad, but just haven’t found a good way to do it yet. The best I’ve found so far is programming a micro:bit with the scratch-like environment.

I’ll probably try this out, but what I really want is something like Max/MSP so is don’t have to type so much (although I do have a keyboard for my iPad, but it’s not something I like to type for long durations on)
Many Carbs for Ketosis
Was very happy to see the rename. I participated in the review threads at the OSI and whilst I have a lot of sympathy for Redis, Mongo and others (I’m a closed source software CEO myself) I felt strongly that open source is not a business model and the definition of open source licenses should be kept strict to the OSD freedoms defined by the OSI.

Well done to Redis for making this clear
I think other European countries had their own minitel, UK had https://en.wikipedia.org/wiki/Teletext for example
One dies, another one will rise.
One source of resistance I've seen is that people don't like being forced to add cameras pointing at them to their set up.
Thus the need for a signal (from whisper systems) replacement that's not tied to a sim.
Oh my, I see. Now I think have a better context in how the politics, and the company's procrastination comes full circle.

Even though you came up with your own solution, it sounds like based on how your current company operates, that there are many factors beyond your control to get to the root of solving a problem sooner and more efficiently. But instead, when they seem to get around it, an unnecessary amount of time has gone by and more work is created on top of what needed to be done in the first place.

Well hey forgive me for trying to find a silver lining in things, but this personal account can kinda serves as a small indicator as a note wherever we end up in time whether tomorrow or years from now work-wise...that we'll have hopefully put ourselves in better position or be a part of something where we're continuously progressing leading to great things. And perhaps along the way, the things like company politics, procrastination, and the like are mitigated to a larger degree where we can focus on doing good work without all the nonsense.

Maybe I sound a bit naive but it can make you appreciate the flaws of being human and not a machine in which what you are programmed to do it has to execute. At least being human you can adapt, keep life in perspective, and maybe along the way have a renewed sense of purpose that comes with the challenges which can lead one to be excited to wake up everyday to.

My apologies, for being a be long winded and going off the rails a bit. I'm not in tech as I'm currently learning programming to get to the point someday but nice to learn a little what it's like when working in a professional company environment when you have so many moving elements in play while you're trying to accomplish a goal in mind. But I guess that's the game of life. :)

Hang in there...you at least you noticed a problem then actively tried to fix it while at the same time kept in some perspective that it could've been worse when you mentioned at least it wasn't your old job before it. :)
It’s a pretty useless article. The author is seeking attention. I’m not a fan of Facebook and don’t use the platform.
Also don't by misguided by monks and nuns who are in RELIGION e.g Theravada (Zen is good). They sell their religion by calling it a philosophy which is by crap. Studying Theravada ~hundreds of hours with meditating you learn a lot about Early Buddhism but you get entangled in religion with: worshipping, reading the sutras religiously etc)

As Albert Camus said: "Dogma is philosophical suicide".

>Kierkegaard stated that a belief in anything beyond the Absurd requires an irrational but perhaps necessary religious "leap" into the intangible and empirically unprovable (now commonly referred to as a "leap of faith"). However, Camus regarded this solution, and others, as "philosophical suicide".
Self-Driving Buses to Hit Swedish Public Roads Next Year
> many players are working to integrate it

Do you have any information on who? I've mostly heard about players announcing they won't support it, and Apple and Spotify have their own analytics systems they'd probably prefer people use.
I was referring to the "dark night" Dr Daniel Ingram expounds upon in his writings (which I'm familiar with) and is referred to in the article. I haven't read The Mind Illuminated, so I'm not sure if it's the same thing.

Regardless, there is no such thing as "red pilled" when it comes to all of this, and nobody who engages in intense meditation is immune. I went through it once and that was quite enough.
I lived in NJ / NY for a few years during school. It's diverse but people also want to know what group you belong to. Are you Polish? Are you Italian? To be honest, I don't really know. I'm beach people.

As a side note, you're incredibly negative. California is nice and I like it more than all the other places I've lived.
Is he continually contacting you about it?
Redislabs' announcement: https://redislabs.com/blog/redis-labs-modules-license-change...
The G Factor Is a Universal Phenomenon
Further evidence against the thesis that the g factor is a Western/white/modern/etc. social construct.
My guess is most people will end us listening to a lot of rehashed mediocre stuff. People will get addicted to listening to random conversations and won't even know what else to do. It will be like twitter but without any feedback mechanism. It will replace people's song listening time with a less melodic medium. Scary.
^ This, so true. Lot of people preaching the side hustle who either havent actually tried it OR have very lax jobs that allow for this kind of thing.
Bleah, iptables is rather hostile. Sure, you have a webserver, add a rule to allow TCP over 80. Later you revisit, decide you need to add 443. So you do the obvious and change "80" to "80,443". Which fails. Turns out there's a completely different way to match multiple ports. Or you could write a rule per port... making mistakes much more likely and much harder to spot.
The EU had a hearing as well. The UK had one after that and Zucc didn't show. I guess the other EU members are satisfied to know that FB doesn't give enough of a shit to actually show up when asked to show up.
Except in that case, the user already received confirmation that T1 was success before T2 was even executed. So not sure how that is even possible.
I always find it interesting to see what personal productivity improvements highly successful people _do not_ implement. Considering that the typical productivity speel for technology & progaming tasks is tiling window managers (minimize mouse movement), mechanical/ergodox/split keyboards (ideal hand width and orientation), possibly linux or OSX w/ homebrew to automate tasks using scripts. It's interesting to see how relatively rare these setups are among CEO's (in tech) and how 'normal' the setups of successful people really are.

There are several factors I see that are or have been impeding implementation of such setups. Firstly, many of the most common tiling WMs have only existed since the 2000s resulting while the current, mature segment of highly successful individuals likely started with the tools available in the 80s & 90s and by then both Windows and Mac OS were using desktop metaphor (floating) environments.

The use of floating windows (even with snapping, etc) increases use of the mouse and decreases the relative benifit of highly specialized keyboards like the ergodox. And a lot of membrane keyboards nowdays can /feel/ decent w/o mechanical switches.

The choice of OS is likely whatever they have been using since the 90s with some bias towards switching to OSX/MacOS and since it provides many linux-like capabilities in terms of shells for scripting(albiet often horendiously out of date).

Finally, likely the largest factor contributing to having relatively normal setups is that the more involved tasks can be delegated to employees whom may or may not have highly customized setups.
2 Factor Auth Simply Isn't Safe Anymore
Termux + Expo.io

Or Samsung's Linux on DeX works well for app dev on your phone.
The 'Angel' Who Secretly Pays Patients' Hospital Bills
The amazon thing was affected by unions the least, the lacking support from authorities and uncertainty about subsidies/grants was major reason.
Apple's Move to ARM-Based Macs Creates Uncertainty
Have you tried codesandbox.io?
It is in my view the most sophisticated online editor with live preview and a huge load of starter templates to spare you the build configuration.

It is my go-to solution for when i have an idea and just want to build it quickly anywhere.

There is experimental support to use VSCode as the editor, togglable in the options.
Sage is free. William Stein deserves a huge amount of credit.

Some of the huge amount of functionality stuffed into Sage:

http://doc.sagemath.org/html/en/installation/standard_packag...
If you’ve seen any amount of Go and Java code (starting with, say, the standard libraries), you’d know these communities take very different approaches to variable names.
If only the mic was my problem and not the network! On cable here (Virgin, UK) and impossible to get VoIP to work well (lack of delay, crisp audio etc). Have tried half a dozen service providers and a range of codecs (including Opus).

When my mobile phone has less latency and better sound, I know my VoIP is screwed.
Build Modern HTML5 Desktop Apps in Go
I wanted to read this article especially as I've been to Chateau de Chambord, but this website is the epitome of adverts ruining the browsing experience!
It's German law to always have all contact information required to directly contact the company easily accessible.

https://docs.travis-ci.com/imprint.html

Unfortunately, the German word "Impressum" doesn't translate well.
Preview CSS for Redmine-Textile in BBEdit