skysight-inc/HackerNews huggingface dataset:
If art is important to building empathy, our problems might stem from art's recent pivot to shock over beauty and virtue signaling over the cultivation of virtue.
In my experience, best way to implement a network protocol on a small embedded chip is fixed length statically allocated circular buffer, not malloc.
Australian, or possibly Tasmanian state regs. This would have been around 2011 or so (The Samsung Galaxy S2 was the "top of the range Android phone" at the time...)
> Both HAMR and MAMR make use of a simple strategy: Shoot some energy into the targeted grains on a hard disk and you can temporarily make it possible to flip their magnetic orientation with an external magnetic field of practical magnitude. And as soon as the energy dissipates, the grains regain their immunity to spontaneous room-temperature flips.

Is this the ~same principle magneto-optical drives like Minidisc used? The thing I miss about that technology is how much more robust it is than flash or recordable optical media.
Ireland in Bits
Apple has pretty hugely increased prices on their biggest product (the iphone) in the last few years without adding anything to justify the price increase. Is it really a surprise to anyone that sales are down? What did they expect to happen?

Anecdotally stores near me were heavily advertising the iphone 6 still during the christmas/new years period as it seems to be the only model with a sane price.
Yep, that issue and https://github.com/chyh1990/yaml-rust/issues/102 discuss the problem. But with scl we get a clean slate.
> This is on a laptop with an i7 and 12 GB of RAM.

> Compared to my experience of using Premiere Pro several years ago on Windows, with just 4GBs of RAM, OpenShot has a long way to go even for basic editing.

Can you try Olive and compare it with all above?

As for me, I can fully use Olive under Linux (Debian 9.x) on my 10-year-old notebook with just 2GBs of RAM ;)
It's a tiny allocator designed for tiny embedded systems. It's not intended for large desktop machines like dlmalloc() is. dlmalloc() can't run on tiny embedded systems because it has relatively high overhead. This provides a lot less features but has a very small memory footprint. It's really intended for cases where your embedded program mostly allocates memory once on startup and doesn't usually free() much at all.
I think there needs to be more van life friendly facilities. I am perfectly happy to live in a van and go to work every day as a software developer. And I think there's a lot of people who also feel the same way. If there is a place that would let you park your van for four hundred bucks a month or something like that where you were safe and allowed to park. I think that would be a huge moneymaker.
Since they haven't come up yet, and since the website obviously contains primarily marketing content, here are a few relevant links that might be of interest to the HN crowd:

- Cryptography whitepaper: https://threema.ch/press-files/2_documentation/cryptography_... Covers the technical aspects.

- Transparency report: https://threema.ch/en/transparencyreport Covers the legal aspects.

- Reverse engineering of the protocol (33c3): https://media.ccc.de/v/33c3-8062-a_look_into_the_mobile_mess...

- Third party open source re-implementation of Threema for the desktop (Qt): https://openmittsu.de/

- Source code of the web application: https://github.com/threema-ch/threema-web/

- Protocol developed to enable trustless WebRTC signaling between app and browser: https://saltyrtc.org/

Obligatory disclaimer: I'm working for Threema as a developer.
Files/webform/golden-globes-award
https://dartcenter.org/sites/default/files/webform/golden-globes-award-ji20355.html

https://dartcenter.org/sites/default/files/webform/golden-globes-award-ji20356.html

https://dartcenter.org/sites/default/files/webform/golden-globes-award-ji20356_0.html

https://dartcenter.org/sites/default/files/webform/golden-globes-award-ji20357.html

https://dartcenter.org/sites/default/files/webform/golden-globes-award-ji20358.html
Does anyone know something similar but for data projects/science? Preferably something with practical data, not just the math.
No, the treating physicians aren't saying changes. They are saying, of the 21 patients given an MRI, 3 had abnormalities.
what multiplayer game servers use elixir? can you give specific examples?
This TLSF implementation should be able to do that: https://github.com/mattconte/tlsf
Appleocalypse: An unfashionable view
I use Google Keep, Google Docs and Trello.

- Google Keep for quickly jotting down new ideas on the go (usually just a line or two so I can remember). This is my temporary record.

- Then, when I have time at the end of day, I add to to my document in Google Drive with more details, description, etc. This is my permanent record.

- When I'm ready to work on something, I add it to Trello with specific tasks, deadlines and reminders. This is my task manager.

One thing I'm failing to consistently do is to revisit old ideas periodically and remove the old ones I no longer deem worthy exploring.
The linked Wikipedia entry specifically references zip bombs as "a similar attack utilizing zip archives"
I have made that calculation and it hasn't really been that convincing for me. If you are moving for opportunities, including say career or housing, that is one thing. But in pure tax, the difference really isn't that big between similar countries. Even in a properly low tax country, your additional income might increase €20k a year. Is that worth giving up everything you know for? Probably not in isolation.

Maybe I will move someday, but it won't be because of taxes.
~/Downloads/source/<version control system>/<project> for checked out sources of tools etc.

~/Downloads/programs for OS images, large binary blobs etc.

~/Development/<technology>/<project name> for development projects

~/Documents/<project name/company name> for documents relating to specific projects or customers

~/Operations/<server> for various files related to servers and infrastructure (manual backups etc.)

/dev/shm as a dumping ground for temporary files that I would like to get rid of with a reboot
Agreed. It is very easy to try to disrutpt a process without understanding the reasons behind the current process. A lot more difficult to understand the current process then propose changes that address that processes shortfall.

There is always a reason why things are done a particular way "It's always been done that way" is shorthand for "I don't know why it's done that way". Like history, you need to understand the reasons behind a process before you can effectively change it, otherwise you are doomed to make the same mistakes and very soon your shiny new process will start to look as cobbled together as the previous one.
This Guy Served His Friends Tacos Made from His Own Amputated Leg (2018)
Could be, but for me at least, I don't get tinnitus too often (that I'm consciously aware of†), and I didn't know that this was one of the supposed symptoms of the alleged "attack" until after I'd played the sound, noticed tinnitus, and written that comment.

I genuinely went from no tinnitus to conscious tinnitus after playing the recording.

† I get the sense that the brain masks it to an extent, like other background noises, but it comes to the fore when conscious of it, like now as I write this comment. However in this case, it came to the fore, or was brought on, depending how you think of it, as a result of playing the annoying noise. The tinnitus came before the thought of tinnitus, if that makes sense.
Honestly, yes. Some brilliant people cleary have blind spots for certain basic web dev best practices.
Beautiful animation, but was there supposed to be any significance to the plot? Wikipedia suggests it's some sort of biblical allusion but I don't see how it relates.
https://media.ccc.de/v/33c3-8062-a_look_into_the_mobile_mess...
For everyone interested in the protocol itself.

Oh and of course the open source go library https://github.com/o3ma/o3

Bought threema a few years ago. I got only two people that actually use it and I really prefer signal, but I like some design decisions threema made :) (for instance the verification+verificatiin indication)

Oh yeah and openmittsu was ok, but last time I tried it I could only use this or my phone, so not really useful....
https://github.com/blizzard4591/openMittsu
Or maybe they are just trying to separate their content selling business from their hardware businesses? They could get additional revenue from users using iTunes to rent movies or TV shows even if they don’t buy their hardware.
The best advice I can give on this subject is to see your life as a series of well-executed five-year plans.

First, I am doubtful that we have the capacity to imagine what the world will be like at the end of your life. If you were asking this question in 1907, you wouldn't be able to anticipate the disruptive transformation and opportunity of automobiles. Cory Doctorow always says that good science fiction doesn't predict the future so much as it anticipates the present. That said, there is strong anecdotal evidence that the gadgets you see on today's Star Trek will be real things people aren't impressed by in 50 years. Maybe get working on food replicators. ;)

The second thing about five-year plans is that five years is a perfect amount of time for a chapter of your life where you really focus on something that excites you. I could be learning a skill, building a company, having a child. (Yes, apparently a child takes longer than five years, but the first five are the most involved.) The result is that you will be what others describe as an interesting person with broad, colorful experiences that give you lots to talk about with your friends and life partners. Incidentally, the #1 complaint of unhappily married women is that their husbands are too predictable.

Ultimately, nobody ever gets to the end of their life and things, "man... I wish I had made fewer interesting decisions!"

The likelihood of you being able to decide today what will be the most productive and exciting use of your entire life is extremely small. The key is to make sure that the next five years is as interesting as possible. Rinse and repeat.
... for now. Apple has the resources to do that if they want to.

Google search actually kind of sucks. It just sucks less than the competitors. Its not just privacy but the lack of truly advanced features that I know Google has the plumbing for internally.
> The crazy thing though? Holy shit did it scale. We're doing event processing for an application that is processing nearly 100m events per week. At times, it needs to process 1500 per second. These events need to check the DB multiple times, fan out to multiple services, and make discreet HTTP calls of their own to external servers.

Frameworks make a huge difference here rather than language. Phoenix and Ecto have done a really great job with performance.

Ruby will deliver the same performance on a similarly light framework like Sinatra/Roda + Sequel but definitely not Rails.

Once you get a high performance service running on Phoenix + Ecto or Sinatra + Sequel, the gains from moving to compiled languages are a lot smaller unless you invest a huge amount of time in optimisation.
Agreed, but even with the above issues, Dialyzer still gives you, let's say, more than 50% of what you'd be getting with an ML-like type system.
It really isn’t. It comes down to the fact that if you’re a high-paid tech worker you can outbid basically anyone else for your rent. If an area doesn’t build housing for tech workers and other such high-paid young people, you force them into the existing apartments, forcing out anyone who was living there previously.

It’s less “trickle down economics” and more “build housing for me or I will outbid you for your own apartment”.
Right. But the overhead difference between 48 and 64 for large-packet data is only about 2%, so data people were OK with 48.

32 would have been a bad choice for data, as a large fraction of all internet data packets are 40-byte TCP ACKs.
'netizen' seems to mostly be applied to mainlanders these days
You’re the one who wrote:

“Beyond some hand-wavy nebulous conjecture, there is a limit to what the device can do.”

And you are the only person taking about infinite timelines.
I make $70k a year, I have a credit score of 814 the bank won't give me a loan for more than $175k. The cheapest housing in my metro area is about $300k. It doesn't matter that a the cost per ft^2 is stable or that a $300k loan is @ 4% when I can't get a $300k loan.
Learning where you are looking at (in the browser)
I grew up in Rainier Valley and Beacon Hill. Your tl;dr omits an important point: the city sold development rights to gentrify the area. Poor residents were relocated to outlying areas such as Skyway, which is significantly underdeveloped in term of infrastructure and social services. The housing projects were replaced by "mixed-income" neighborhoods; where a small portion of the homes were reserved for low-income residents and the remainder were sold at market value. The area, once diverse and full of immigrant/refugee communities, is now whiter, richer, and the NIMBY attitude is growing. Prices have come down a little recently, but enough to counter this displacement.
I guess it takes a lot of people to listen to the accumulated recordings from all of those people's living rooms!
Can I just ask: what you're doing sounds essentially like stuff that's better for the customer but costing you more money (or earning less income) than traditional banks. What's the plan to offset that loss?

Robinhood of course comes to mind, and then deposit insurance ofc pops up as well. Whats your plan on that?

Are you doing debit and credit cards only for the launch? Do you already have open credit lines for interbank loans, or will you need to limit credit issued based on deposits made or other assets? When you're pre-investment, how do you even have enough assets to meet liquidity requirements? What are the toughest requirements and the biggest bottlenecks before you guys can start opening accounts?

In general, you guys should have an FAQ page full of info. And you should probably do an AMA somewhere, I'm sure many people would find the experience of trying to start a bank pretty fascinating.
> Generally unhappier women in general

Sounds dubious. Data source for that one?
Start with WebGL, Shadertoy.com, and jsfiddle.net.

No other tooling needed until you've got the basics of vertex buffers and shaders down.

(20 year graphics veteran here who's boostrapped some coworkers)
Clap: A Full Featured, Fast Command Line Argument Parser for Rust
Yes most lock free thread safe paterns require the use of some atomic instructions.

In the context of embeded real time systems you are generally targeting specific hardware, so you can make gurantees about the atomicity of specific instructions.
They're there already: https://archive.org/search.php?query=subject%3A%22vx+heaven%...
I have some project ideas for people that build on this project:

1. Easy one is adding multiple forms of automated, test generation for CakeML. Then, an unverified-but-tested interpreter for it. So, one gets a Smalltalk-like development flow with safe-by-default language, easy testing, and certified compilation.

https://cs.stanford.edu/people/saswat/research/ASTJSS.pdf

2. Moderately difficult to hard might be to extract the Stacklang and Wordlang parts as their own compiler targets. Right now, many target CompCert, which is proprietary. It would be better if they targeted totally-open, low-level languages.

3. Hard one might be to do a verified translator to LLVM intermediate code integrated with ALIVE checker or target QBE backend formalizing it in ALIVE fashion. QBE is designed to balance simplicity against optimization with an 80/20 rule for what optimizations are chosen.

https://c9x.me/compile/

4. Port affine types and/or a separation logic (esp with a solver) to CakeML to eliminate need for garbage collector. If not CakeML, then do it on low-level languages with ability to integrate them as trusted code into CakeML programs.

5. Port some kind of safe, concurrency model to it like Eiffel's SCOOP, Rust's, or Pony's.

6. Another easy project might be a CakeML to Ada, C, or Rust compiler like Tolmach's work doing the same for SML. Try K Framework if you want it easy with built-in tools. Runtime Verification Inc built a C semantics and static analyzer already. Gives something to work with. In any case, compiling to C lets you benefit from its optimizing compilers and verification tooling to simultaneously improve tuning/testing productivity and cost-effective bug hunting.

https://web.cecs.pdx.edu/~apt/jfp98.ps

7. Hard, obvious project: extend CakeML itself with more features in ML-based or non-ML languages that will improve safety, productivity, maintainability, or performance (in that order or close to it).

8. Hard, obvious project: port more optimizations for functional programming from MLton, Haskell, or whatever projects might have useful ideas. Formally verify and empirically test them for correctness.

http://www.mlton.org/References.attachments/060916-mlton.pdf
I really hope they won’t kill the AppleTV. Yes the device is expensive (it’s an Apple product after all...) but it’s so refreshing to use a TV OS that is performant, responsive, and doesn’t have ads in it. And I personally love the trackpad remote. Apple’s stance (and track record) on privacy also gives me peace of mind that it’s not sending back unwanted data.
Is there any public info on the numbers for Google and Apple?
It is a really easy decision for most consumers these days since many TV's have built in media players. Why buy a TV and a media player when you can just connect the TV to the internet and have a media player integrated?
I think that was his point- Apple Music on Android doesn't mean Apple is discontinuing the iPhone, and similarly, putting Apple Movies on the Samsung TV doesn't mean they are discontinuing the AppleTV
I doubt that VB6 is actually the only justification for COM's apartment threading model. If that were the case, then I don't think WinRT would still have ASTA (application single-threaded apartments). I think the real rationale is that making sure certain code runs on the UI thread is something that applications have to do all the time, even today, even on non-Windows platforms.
Thanks, you are doing God’s work here.
E&M is simple in the sense that the equations that govern the relationship between the charge distribution and the electromagnetic field are quite simple. And the equations governing how charges move in an electromagnetic field are quite simple. I think this is what Dyson has in mind. Understanding the implications and limitations of those equations is not simple at all.

An even more blatant difficulty with E&M, related to your third point, is that it is schizophrenic. Given the trajectories of charges it will tell you what the electromagnetic field will be, and given the electromagnetic field it will tell you how charges will move. Unfortunately, these two parts of the theory seem to be incompatible, and the theory will not tell you how fields + charges will evolve in time.
Keras is quite popular as well. My point is, these courses have the cognitive load that's quite high even without having to deal with an unfamiliar framework.

Don't get me wrong, it seems like a great course and anyone interested in the field will certainly get a lot of mileage out of it. But by choosing a rather obscure framework it kind of shoots itself in the foot compared to e.g. Fast.ai course, which is jam packed with practical advice and uses PyTorch. Like it or not, there are two dominant frameworks right now: TF and PyTorch, the latter is my personal favorite by far. A more practical (and fairly low-effort) approach, therefore, would be to duplicate code samples in PyTorch.

That said, Fast.ai shoots itself in the foot a little too, by requiring Python 3.6 and up, which a lot of people don't have out of the box. I understand why they do it (type annotations), but still. They also hide PyTorch behind a rather large ball of Python with cognitive loads of its own.
I've heard good things about Andrew Ng's Coursera machine learning class, and it's free:

https://www.coursera.org/learn/machine-learning

There is a free intro to data science class on Udacity as well:

https://www.udacity.com/course/intro-to-data-science--ud359

Lastly, there's always Kaggle, which has plenty of resources to learn from, and competitions as well:

https://www.kaggle.com/
It's certainly preferable to not have to double up bedrooms, but we have to remember that our parents did it just fine. I grew up in a family of 6 in a 1600 sq ft house. It worked just fine, but we'd look at that today and consider it unacceptably cramped.

Demand for space per occupant has risen. It doesn't make sense to expect our parents' price tags when we're demanding larger properties.
And for the love of deity, don't start with Vulkan/Metal/DX12.
I'm in the same boat, I've been toying with kaggle recently. They have some guided tutorials done via notebooks with some data that seems to be heading towards playing with the data myself. I recommend it as it's interesting, has me playing with data, and is consumable le, but I don't have enough experience to give an informed opinion on it.
W/o Paywall: https://outline.com/vqmqwg

This org could be it's own company (like many other Amazon orgs)! For context, number of employees at:

Motorola (2014): 40,000
Nvidia: 11,528
AMD: 8,900
It was a real joy when I was a student doing extensive reading on topic(s), treating tabs as a reading list, since I didn't have enough stuff to do back then. Nowadays I find opening more than 10 tabs too counter-productive and distracting. What I'll do when it happens is using something like onetab to snapshot them all (with the hope of looking into it later, which never happens) and start fresh with the ONE thing I was supposed to focus at the time.
The ending (during the credits) seems to allude to Noah's Ark, but I'm grasping at straws trying to make the rest of it work toward the Story of The Great Flood.

Maybe Noah, in his search for two of each creature, sets this up to find a mate for his Box Creature, as well as for himself?
The Top 12 Posts Tumblr Didn’t Like
> Floating point numbers are the optimal minimum message length method of representing reals with an improper Jeffery's prior distribution.

Do you have a link to a proof or discussion of this? I haven't heard this before and I would love to have this statement unpacked a little more.
You misunderstood my comment.
> Issue 250 took 13 hours to be fixed. That's pretty great turnaround!

Haha, Issue 259 just fixed![0] ;)

And it took only 1 (one!) hour to be fixed!!! :P

@krispbyte, GET latest nightly build of Olive with "search shortcuts" feature while it hot![1]

[0] https://github.com/olive-editor/olive/commit/d46252b823fb40e...

[1] https://github.com/olive-editor/olive/releases/tag/continuou...
If people think that China's is still a science backwater think again. China actually ranks 2nd on many science research areas by the number of articles published in prestigious journals (e.g. Nature), so China is one of leaders in the 2nd tier. The 1st consists of US only and the 2nd tier consists of contenders like Germany, Japan, UK, France, Italy, Switzerland, South Korea and Spain (just) if I remember correctly. I need to dig up the figures, but it was compiled by a reputable publication.
How does this relate? Having a product that requires little attention and brings in cash doesn’t diatract from innovation, it enables it.