skysight-inc/HackerNews huggingface dataset:
I see that language parroted all the time - "With thorough enough testing a dynamic language shouldn't be a problem", and I have never understood it. Arguing to build what is essentially a build-time type checker in the form of automated tests seems twice as cumbersome for half the benefit. Instead of building tests that check each branch of a program's types, why not use a language that forbids dynamic typing? You should still have tests, but IMO tests that are just checking that a string is a string are A.) Time consuming, and B.) largely useless beyond type validation.
Typically they simply don't test!

If you do test, you really can only test each unit in isolation - testing the kind of setup in the article is just too hard and the tooling for doing automated tests on that kind of thing is not very mature. There is stuff like localstack/samstack/etc but I haven't seen anyone really use it as part of a workable test strategy for serverless AWS.

Consider what happens outside of serverlessland: when people have 15+ microservices each of which needs a different docker container and different data store. Do they tend to do whole-system testing of it? No, in my experience people tend mumble something about "contracts" and test individual bits in isolation.

This is on top of the open secret which is: it's very, very hard to predict what the ongoing costs of a serverless solution will be. Most of the services are priced by usage but the units are small (seconds, minutes, etc) and the sums are too (eg $0.000452 per hour of xyz). Post-project bill shock is a considerable problem.

Source: worked at an AWS partner consultancy on many cloud "architectures" similar to the article.
>> When people refer to "typing", it is almost certainly reasonable to assume they are referring to static typing, as implemented by most languages.

Really? You're going to go with "most languages implement static typing"?

That seems like a bold statement.
Just curious: Are there repercussions if you don't "pass" the phishing test (that would be seriously stupid), do you dislike them or simply "cheat" because it saves you time?
The WH-1000XM3 are just about the only recommended bluetooth headphone anymore that makes switching devices that much of a pain. Most will either automatically switch between a few active devices or allow you to switch by just initiating the connection from the target device.

Have you looked at installing the patched pulseaudio-bluetooth modules to gain LDAC support? :)
IMO

+ Phoenix _better_ than Rails, which is very surprising

- less packages available, though almost everything covered by at least one package. ( hex.pm vs rubygems.org )
An illustrator friend bought an A3 Wacom years ago. It was so big that if you put legs on it it’d be a reasonable sized desk by itself.

He ended up changing the mapping to only use a small portion near the front as he could barely reach the back.
>Specs/contracts are cool but ultimately don't afford the same kind of descriptive and expressive power that a static type system does.

What exactly dialyzer type checking lacks compared to static type systems?
Too bad for me my company's IT team is going to force my group off of gitlab and on to azure devops.
If it doesn't, someone needs to raise a stink. It's been in TeX Live for over a decade now, there is no excuse for not supporting it.
You are almost 3500 commits in to this project already, with no other contributors? The dedication to this is incredible. It sounds super compelling and I wish you luck!

I hope you get more recognition to encourage you to continue. These new languages are so important in pushing forward our tooling and our understanding of workable abstractions as an industry. I am only recently getting into functional programming and it has already fundamentally changed a lot of my perspective on OO, composition vs inheritance, immutability, pure functions, etc.

Have you considered trying to make this a little more accessible (a bit of a focus on the marketing side?) I would really like to digest the main benefits of your language more easily.
One example is that when skimming your readme, the first thing my eye is drawn to is the bulleted section which talks about other limited memory management solutions. But if I didn’t read the small text before it that says “neut doesn’t use these” I do not understand the compelling feature of the language to dive in further.

Have you followed Zig Lang? Andrew Kelly is doing something similar (in so far as he’s building a new language focused on memory management) and even though I don’t use it, I see the value in this work and support him on Patreon.

I would be happy to help you with reviewing the copy on the readme from the perspective of someone who is technical but not super knowledgeable in this domain to help you summarize the key concepts and advantages up front. Reach out to me with the email in my profile if you would like to discuss!
Was there any particular sales technique you used? And how did you identify good prospects?
At the end of the day, it’s about can you deliver that project on time and with limited bugs. Everyone’s experience will be different, so maybe accept that different programmers work better with different systems.

I can tell you with 20 years of programming experience that static type systems don’t make me more efficient... and I’ve used them all.

And just because I can see the reply coming, I’ve worked with programmers using static type checking that have turned out horrible bug ridden code. It’s just not a cure all.

So can we please accept each other’s choices about type systems. “Can’t we all just get along”

Ultimately if it matters to you, then choose what works. But don't assume or try and tell everyone it makes one language definitely better than the other, because things aren’t that simple.
A lot of remote FTE contracts I've come across not only demand your updated address during the duration of your employment, but also for 3 or so years after.
Hello,

The introduction was meant to be tongue-and-cheek. There was a talk back in January which made headlines due to its claims. https://www.youtube.com/watch?v=8SoJR3sCaR4

When I started learning the Nim programming language, the claims were that what you can do in C is what you can do in assembly... In other words, there was no more reason to learn or write assembly, unless you were making a C compiler yourself. I don't think they were ever taken seriously, but neither was my introduction supposed to be taken seriously. The point being that instead of having your brand new language compile to assembly, why not compile to C?

Regarding the intrinsics, you are correct if you optimize. Using your same link, you can turn off the optimizer and see that it follows C ABI conventions--mainly so the debugger can follow each step.

The point here is that we're still writing assembly, with a C marinade on top. _mm_haddps is wrapping an assembly instruction directly. However, to see what this is actually doing, we need to know a bit of assembly. In other words, we're writing C in syntax only.

Perhaps I can reword that part better. Thanks for the comment!
No problem, you write this code once and reuse everywhere and you fixing bugs for all apps instead of hacking all by yourself for each platform. After coding for more than 10 years RN approach is so much better than native one.
The patently bad faith arguments Ammon has been making here really undermines your point. No, whether or not I was looking for a job is not at all the same as a Stack Overflow profile, at all.
https://stackoverflow.com/questions/38035628/c-why-did-ansi-...
However, there definitely is a burden about how much
testing you have to write. I generally don't want to
have to test every branch of my program to make sure
a string doesn't slip through where an int should be
or that variables are initialized and not null, etc.

This has not been my experience!

I've been writing Ruby full-time for about six years (including one of the largest Rails apps in the world) and I don't find this particular aspect of Ruby to be a problem whatsoever relative to statically-typed language.

Ruby is famously easy to write tests for. Creating mocks in a dynamic language is such a breeze. There are plenty of problems with Ruby but an increased test suite burden is NOT one of them. "Confident Ruby" by Avdi Grimm is a great read in this vein; not about testing specifically but writing confident Ruby code in general.

Part of it is simple, human-friendly code hygiene. Give your arguments descriptive names and use keyword params when possible. If you have a method:

foo(user_name:, height_cm:)

...then you'd really have to be asleep at the wheel to write something like this elsewhere in your code:

foo(user_name: 157, height_cm: "Smith")

And so you don't need to write your code or your tests with any real extra level of paranoia. If somebody does pass a string to `height_cm:` it will return a runtime exception, just like it should.

Of course, I do get type errors all the time in Ruby, but that's when I'm parsing JSON or something and that's generally not something static typing's gonna help you with anyway.

Now... there ARE places where I miss strong typing in Ruby.

One, I miss having extremely intelligent IDEs like you can have with Java or C#. I absolutely loved Visual Studio and Resharper in the C# world. The amount of reasoning it can do about your code and the assistance it can give you is absolutely bonkers.

Two, obviously, there is a price in runtime execution speed and RAM usage to be paid for dynamic typing. I don't find raw execution speed to be much of a bottleneck in a Ruby app because Postgres/Redis/etc are doing all my heavy lifting anyway. RAM usage and app startup times with large applications is more of a real-world issue.
Tech Blog – Vittorio.dev
I live in Tokyo. In normal times, people wear masks when they are sick, as you say. It's good manners, consideration toward others.

But now, and since COVID-19 became a thing (February here), "everyone is wearing masks" even when they themselves are not feeling sick.

I sometimes count them when I go out and it is about 95% of people in the streets and 100% of all the shop employees I interact with.
"It may seem a ridiculous idea, but the only way to fight the plague is with decency." ~Ed Begley Jr.

Same goes for disinformation pandemic, eh?

Fidelity to reality becomes exponentially more valuable as time goes on. We might rediscover honor.
Disable CSS too, and then the text is readable.
I have an idea about an article unfortunately I can’t write in polite way about this issue, will try again soon.
You can’t unilaterally decide to give me a public profile; that is a trust ruining decision that you’ve made.

If you gave me the option to make one, we could talk. But by making that decision for me, I now have to view you as a fundamentally un-trustworthy party.
60fps and gesture handling is a breeze on iOS. There is nothing impressive about achieving this. We’ve had it for 13 years now on iPhones. We now have 120hz displays on iPads, and guess what, animations there are easy to achieve too, at 120fps.
How E.M. Forster’s only foray into sci-fi predicted social distancing
Thanks quaffapint to raise this point. To be honnest, I hesitated to add this question in the post. Indeed HPACK could partially solve the issue. But as you said, it requires HTTP/2. Btw, HPACK is well explained here: https://developers.google.com/web/fundamentals/performance/h...

I tried in this post to not talk about the "transport". Indeed JWTs can be used with HTTP/1.1, HTTP/2 or even SIP. Furthermore HPACK maybe disabled in some cases. Here is what the RFC 7541 (HPACK) says about Authorization header (https://tools.ietf.org/html/rfc7541#section-7.1.3):

"An encoder might also choose not to index values for header fields that are considered to be highly valuable or sensitive to recovery, such as the Cookie or Authorization header fields."
AI supercharged the importance of computing power to arms-race levels. We're still just brute forcing it with Deep Learning, but the capabilities are too awesome to ignore.
Therefore, compute power will be bought-up and hoarded expensively, and used on the highest bidder. Will the market save us, and simply over-clock production? Not happening yet. Corporate appetite should be quite large. I do A.I. R&D and am just watching the mountain of power ascend before me and aged gaming laptop. My next level is yet the foothills. Yeah, I'd say growth or not, A.I. is going where PC, web, cloud, everything, goes, to the industrial monopolists and the money spenders.
TLDR dependent lambda calculus using linear type system memory management with LLVM backend. Oddly, the source language a [dependent] lambda-calculus or a [dependent] Cartesian closed category would seem more restrictive than the linear types or closed monoidal category used to implement the compile time memory management system.
Not sure where it was, but I remember reading about someone saying, from experience, that when you are about to become homeless, signing up for a yearly gym membership is one of the best things to do (for this specific reason!).
Memory access latency is already the biggest bottleneck when it comes to optimization, both disk and RAM.
Outdoor only schools will never happen in the majority of areas.
All Android API executes animations on main thread except for vector animations, but in reality you need transitions to be fast.
Firebase Remove Functions from Free Plan – Requires Billing Starting June
I changed my name to "delete my account", set profile data to junk, switched to a throwaway email, and changed my avatar to a picture of a ballsack in a cup. That should sort it.
That seems odd given that the BEAM was designed for reliable real-time telephone switching
DiscoBERT: Discourse-Aware Neural Extractive Text Summarization
It's a little fun, but mostly I'm doing it because I don't know when to give up.
On Arch I’ve installed the Wacom drivers as outlined in the Arch Wiki as it just works.
Show HN: Reparenting is now possible with React
I think it's because the font is correlated with higher-than-average quality for random docs one finds on the web.
Just curious -- were you using Nerves[0] for the drone flight controller?

[0]: https://github.com/nerves-project/nerves
Erm, you can setup dialyzer to be as strict as possible. This might not catch all the errors because of the nature of messages, but this is a pretty small part of a system usually and can be covered by tests.

>All in all it's not a useful substitute for a real type system used to model things.

>Type specs aren't useful for domain modelling

Can you give me some examples?
Literalism does nothing here because the concept of wage-slavery is more like the concept of serfdom than slavery. But language is malleable over time and it's commonly understood what it means, especially to people familiar with the struggle to survive in the modern economy.
"Splitting" a table usually means creating two new ones and dropping the old one after migrating its content with a complex migration script followed by thorough testing. Dropping columns is not only abnormal (adding columns is far more common: features tent to be added, not removed, over time) but also a very crude tool.
OMFG https://youtu.be/84VkS17b1P8?t=20
The overhead is much, much lower in native development. Having a JS bloatware adds a lot of slowdown, as does the additional nonsense layers of React Native itself. As you can see, RN developers are still boasting “60fps animations” in 2020.
Yup and the worst is when people want "metrics" in order to do the thing that everyone would agree is a good idea
> Any codebase beyond fairly small will be harder and harder to work with to an unreasonable degree, in my experience, and any perceived "velocity" gained from the dynamic nature of it is paid for doubly so by the lack of safety you get beyond toy projects.

How does pagerduty deal with it, I wonder.
It's probably Radar, which is Apple's internal issue tracker, which isn't public (you can see issues you submitted, but nothing else). Sometimes people cross-post issues they submit to http://openradar.appspot.com, so you might be able to find it there.
I rarely find that I have to "go into Erlang" but it is true that Erlang error messages can be a bit obtuse initially.
What’s not reasonable about TiDB?
At some point in the distant past symbol tables allowed symbols up to 6 characters long. Longer names were allowed but anything beyond 6 characters were gone by the time the linker was invoked. So ThisIsAFunction() and ThisIsAnotherFunction() would resolve to ThisIs(). It would hopefully produce an error at link time.
Remote logging in just 2 steps
Splitting a table into two doesn't involve dropping fields. You just create two new tables then drop the old one.
Thank you OP. It was in my spam and now i know that i will avoid Triplebyte like plague.
By your own words, tool like apt, yum, and pacman would all be "doing it wrong." It's just wrong to blindly apply any rules without considering the various presumptions that justifies it. Specifically, the general advice of not creating directories in the filesystem root mainly applies to individual packages and is inadequate for system-level package managers.
I built Vintage Simulator (VSIM) with the idea that people could work together to build a type of virtual computer museum.

It's essentially a Lua interface to a 3D libretro front-end. Free.

https://vintagesimulator.com
But the quarantine xattr has nothing to do with checking notarization?
Legality doesn’t really matter here, public perception does. If Triplebyte comes to be viewed as an untrustworthy partner in the extremely high stakes world of career changes, they’re effectively dead.
Compared to the other vaccines in study, this one has a significant limitation: a lot of the population has antibodies against the Ad5 vector used to deliver the antigen, which significantly lowers the efficacy. High doses to contrast this effect were met with adverse events, so this means that Phase 2 and 3 protocols will need to be adjusted.
I'm pretty sure you're right on all counts; I'm not even sure that shared immutable borrows would work under the very simple transform given in the README.

Edit: Also, the user-facing language doesn't seem to have linearity at all, i.e. all values may be cloned. But linearity is something that people use to guarantee certain invariants all the time in Rust (and ATS, I've heard), so this seems like a misstep. It also means that memory allocation is implicit, which makes things less predictable for users.
Hmhrhm... If thou aren't abide by them, my wrath follows, and make it go BAM!

edit: ...my wrath follows, and it shall go BAM!
How I would start learning to code if I were new (I've been coding for 22 years)
That makes sense, thanks for the update. Where I live, it would have been extremely weird to wear a mask outside, but now all the employees wear masks everywhere. Some of them slack off sometimes and lower them to their neck, but that's about it. Amazing how cultural norms can change in a few days.
It's so disappointing that you cannot see how blatantly wrong what you're doing is.
Or Discord.
> When people refer to "typing", it is almost certainly reasonable to assume they are referring to static typing, as implemented by most languages.

I don't think that's a reasonable assumption at all. Even if, as you assert, the average person doesn't understand that types exist in dynamically-typed languages, I don't think that means I have to conform to common misconceptions.

> Specs/contracts are cool but ultimately don't afford the same kind of descriptive and expressive power that a static type system does.

True, but not what I was talking about.

Could you explain what descriptive and expressive power is missing here?

class Square(Rectangle):
def __init__(self, side_length):
self.side_length = side_length

@property
def height(self):
return self.side_length

@property
def width(self):
return self.side_length
> Instead I’ll just query the DB directly from the user profile controller. Repeat this over a few years and a monolith can be a nightmare.

I've seen this, a rat's nest of module dependencies, poorly thought-out module/library use, and a lack of ownership and direction around shared bits.

Monorepos also make dangerous things like breaking api changes look easy, or maybe hide them altogether.

Hard problems around ownership, dependency management, and api versions are hard in polyrepos, and I think I'm OK with this. It makes you be more thoughtful.
OSX (well, OSX ld, not OSX itself) actually does this for you and unmaps the entire low 4GB for good measure, giving new meaning to 32-bit clean.
ProtoLabs is already successful in this space. I wonder what competitive advantage CloudNC has?
If you're not familiar with linear types, a fun paper to read is "Linear Types Can Change The World!"[1] although I might just be partial to it because of the wonderful name.

[1]: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5... by Philip Wadler
Better explanation than mine - thanks I learned something.
To me learning Elixir felt like a two stage process: learning the language and learning the OTP.

The language itself is pretty small and I felt like the first stage was pretty easy.

Learning the OTP is a much bigger challenge.

At the same time, I think you can gain a lot of the benefits of Elixir and the BEAM without needing to be an OTP expert, because frameworks like Phoenix leverage it for you.

In my experience, things like pattern matching and immutable data really contribute to a more maintainable code base, whether you find you need the actor model or not.
That ID was likely for feedbackassistant.apple.com. However, those reports are not public, so you can't see them unless you're the one that reported them though. Knowing the ID is still useful for things like emailing Apple people and complaining about their declining software quality ;).
> DiscoHash is included in SMHASHER [3] but its benchmark results aren't.

They are included, but understandably you missed them because it's also called BEBB4185, stated in README. Find BEBB4185 line in SMHASHER Readme.

Good question on the memory bandwidth. From memory it was a multicore system, so I think that has a higher memory bandwidth than a single core. Thanks for the STREAM thing!
There is video of attacking legislator by others. In any case the no of legislator should be have been dq by various unlawful mean (one seat finally said it is unfair after nearly 2 years)

The problem is exactly what cause the whole uproar as except for this f procedure nothing can now stop to enact whatever the law they want.

It is either f or ... then mainland start impatient and ignore the whole legislature and just enact their own law.

That is really the end of HONG Kong as far as HONgkonger or foreigner concern.

The security law is not your run of the mill law. It is going to be arbitrary arrest etc.

The HKER will fight but given there is no nominal protection even, there would not be financial centre any more.
>somewhat slow runtime (compared to C, Java, Rust, Go, etc).

It's only slow if you are comparing a single-threaded operations, Erlang VM is designed to scale horizontally, not to be fast with one thread.
Automating the Monorepo
"... to their exam-apporved calculator case" is a very good point, this calculator is basically used by every engineering student in their exam. And it clear that they feared that their sales might get hurt.
I've found elixir easy to write but a pain to read, especially when it comes other people's code.

Elixir is also dynamic but with annotations that gives the illusion of types. It's really the worst of both worlds.
Trying to Support a Local Pizza Joint? It Might Be Chuck E. Cheese
this and the tao of programming were foundational to my young mind in the nineties, but while the commandments somewhat hold true, the commentary aged a little.