Finstruments introductory article: https://kyleloomis.com/articles/financial-instrument-library
I'd have to use it first to comment on it, but thanks so far. Article makes a good impression.
Readit Newsjk4930 commented on One Plus One Equals Two (2006) blog.plover.com/math/PM.h... · Posted by u/lemper
In the same spirit, why 2 + 2 = 4.
jk4930 commented on Writing Linux Modules in Ada (2016) nihamkin.com/2016/10/23/w... · Posted by u/slondr
I always recommend this book, "Building High Integrity Applications with SPARK" as an introduction to how SPARK can be used for high-integrity, safe programs for mission-critical applications. SPARK has a legacy of large, high-integrity applications over the past two decades. This puts it ahead of Rust in real-world usage for such applications. SPARK2014 the latest, is a formally verified PL along with verification tools/ecosystem made for these type of uses.
I am trying to write show control software in SPARK2014 at the moment. Show control are critical since it is used to power lifts and stage machinery as well as performer flying systems where safety and high-integrity software is critical. I like Rust, but I feel it is not quite there yet especially in terms of the number of real-world systems in this niche. I also find SPARK2014 easier to write and read. I have been programming since 1978, and although I gravitate towards terse, functional languages like Haskell, APL/BQN/J, I experience a lot of friction whenever I dive back into Rust. SPARK2014 is very verbose and Pascal-like, but this is tedium vs. confusion or confidence in what I am writing. I know AdaCore is working with Ferrous Systems to bring Rust more up to the features of Ada/SPARK2014, but for now I needed to make a pragmatic choice based on real-world usage and ease of use and understanding.
Just want to add that I prefer Ada over C++ despite it having less mind share, tools, and libraries because its productivity is so high. (Not saying that I dislike C++.)
And, speculating here, with the encroachment of AI into programming/software engineering, I assume that it's convenient to use languages that are declarative (e.g. Haskell) and/or designed for verification/formal methods (e.g. Ada/SPARK) to integrate AIs of various kinds.
jk4930 commented on Launch HN: Epsilon3 (YC S21) – Software for spacecraft and complex operations · Posted by u/llcrabtree
First, congrats on launching.
Second, "AWS GovCloud for ITAR compliance," can the USG access my data (EU company) then?
jk4930 commented on Doctors Say Shortage of Protective Gear Is Dire nytimes.com/2020/03/19/he... · Posted by u/undefined1
I do China sourcing and have decent access to 3-ply surgical masks and limited access to N95 masks.
It's really hard to sell either of those to government bodies, even near cost. Already talked to the Red Cross, wholesale pharmacies and different ministries. They generally insist on payment on delivery, which we can't do for larger orders, as factories sell to whoever has the cash at the factory gate.
Some also want EU certifications (FFP2), while many factories in China only have the local Chinese standard (KN95). And some refuse to pay to a company outside Europa, while wanting to buy stuff from China.
So while I'd love to ship some of this stuff to Europe, currently people there are still blocking themselves. Hoping to work something out soon.
Euro here. Would you send me an email (in profile)?
jk4930 commented on Berlin Builds Ideas to Stage a Housing Revolution citylab.com/equity/2019/0... · Posted by u/vector_spaces
Yeah, apartments is one part of it all. I'm trying to find a place in a kindergarten and it's hell. In Berlin kindergartens are free for some time and there are no free places. My wife today tried to find a place in a private kindergarten, no luck even in one for 800 EUR/month.
If we knew German language and customs better maybe it would be easier. But then I would probably just think about creating our own.
We're getting desperate. If anyone knows about a place in a kita in Berlin for a 2 year old, please let me know! Private or whatever, or some kind of coop.
Sent you an email (from my sometimes blocked alumnus account, if it doesn't appear, let me know).
jk4930 commented on How the Brain Creates a Timeline of the Past quantamagazine.org/how-th... · Posted by u/chmaynard
Are there any research groups who are actively investigating how insights into the human mind may be applied to artificial intelligence methods? If that's even applicable?
Edit 0: I should clarify that I am well aware that neuron architecture already has influenced modern AI methods, I was leaning more towards non-neuron based methodologies.
"Biologically Inspired Cognitive Architectures" and they have some overlap with the AGI (AI at human level and beyond) folks as well.
Financial uncertainties, publish or parish culture and inappropriate performance metrics seem like the perfect cocktail for depression and anxiety. Probably why the rate of mental health issues for academics surges. I just finished my masters in physics and while I like the romantic idea of dedicating the next portion of my life to research and aim for a PhD, when I think about it I also see all the sad, tired and stressed out faces of PhD students and postdocs in my institute, most of them working well beyond 60hr/week, many of them having mental health issues and somehow everyone is just accepting it. The companies I worked at part time during my studies, while also putting some pressure on the workforce, have not shown this level of dispair. I don't really know what to do and feel a little lost on the subject. I just wish things were better in academia.
It depends on the specific professor. There are stressful and relaxed ones. It trickles down from the professors to their assistants to their PhD students. Here's my ad-hoc list of bad signs. Avoid those.
Professors
* don't have time for feedback
* have no interest in their PhD students' work
* are known to steal results (and put their names on it)
* are ideologically/religiously driven and judge you and everybody else accordingly
* don't open their network to their PhD students
* jump from one hot/trendy topic to the next and burn their PhD students on it
* blame others/circumstances for anything bad
Faculty
* members pride themselves for devoting their lives to the cause
* members do long work days, have little sleep
* has little budget it spends on its PhD students
* feels toxic (Sayre's Law: "Academic politics is the most vicious and bitter form of politics, because the stakes are so low.")
PhD students
* do overtime
* rarely/never publish
* publish in irrelevant magazines
* publish with their names on the nth position (after doing all the work)
* don't or rarely attend conferences
* don't or rarely work on what they signed up for
* take long to finish (or don't finish at all)
* blame others/circumstances for their bad situation
Talk to PhD students, ask on the net, listen to speeches and lectures the professors gave.
A lot of advice given at HN about whether to join a startup applies to academia as well. Unnecessary work, little pay, vague promises, inconsistent management, insider circles. I wonder what academia's equivalent of stock options is. Aiming for tenureship perhaps?
https://blog.rongarret.info/2023/01/lisping-at-jpl-revisited...
And, as always, AMA.