HNHacker News
TopNewBestAskShowJobs

Davidbrcz

854 karma · joined January 15, 2016

submissionscomments
Davidbrcz··on Stop Using “Real Time” Wrong
You can make network request in real time. You just need the right kind of network (like AFDX )
Davidbrcz··on Ask HN: What tool would you buy to make your life easier?
https://ninja-cookie.com/
Davidbrcz··on Ask HN: What tool would you buy to make your life easier?
So emacs with a distributor like doom-emacs ?
Davidbrcz··on Portal 2 crashes if you have 128 cores, due to 15 year old assumptions
This isn't really black magic.

Just reading a book on the Linux kernel and it's structure should be enough to get you going.

Davidbrcz··on Boards are dangerous to founder/CEOs
It felt like reading a tutorial for handling vassals in crusader kings.
Davidbrcz··on They don't even know the fundamentals
And it rises legal issues in several countries
Davidbrcz··on Ask HN: What are some examples of backward compatibility preventing innovation?
The C programming language
Davidbrcz··on The historical accuracy of medieval city-builder video games
Ck2 was released roughly 10 years ago amd had tons of extensions.

I played recently ck3 and, even if the vanilla gamw is better than ck2, i got the same dull - boredom after 20 hours than i had when i played vanilla ck2 for thr first time. Give it some time :~)

Davidbrcz··on Nobody designs for small iPhone devices anymore
Now you can imagine my pain as someone who is visually impaired and who had to increase all the sizes to the max to be able to read anything....
Davidbrcz··on My tutorial and take on C++20 coroutines
C++ coroutines as they are in the standard are not really intended to the everyday programmer (1), but rather for library implementers who will use and abstract them into higher level features.

1: like most of C++ one would way

Davidbrcz··on Ask HN: What are the best websites that the Anglosphere doesn't know about?
Check https://zestedesavoir.com

Made by former staff of Sdz, high quality, can't recommend enough.

Davidbrcz··on CAPTCHAs don’t prove you’re human – they prove you’re American (2017)
Is there a way I could contact you privetly ?
Davidbrcz··on Standard ML in 2020
OCaml's design was influenced by Standard ML
Davidbrcz··on Toward a “modern” Emacs
It's not multiple packages managers, but different sources for packages.

And elpa is enabled out of the box ;-)

Davidbrcz··on Toward a “modern” Emacs
Because it's not core emacs. Core emacs uses ELPA, which has fewer packages.
Davidbrcz··on Toward a “modern” Emacs
As of today, there are 4 721 packages for Emacs on MELPA (https://melpa.org/#/). The setup to use it are a couple of lines in the config file.
Davidbrcz··on Ask HN: Are there any search engines domain-specific to programming?
Hoogle for haskell
Davidbrcz··on Turning the IDE Inside Out with Datalog
This idea of turning a program into a database and using prolog/dalalog on it is not new.

The most successful example is Semmle (bought by Github), which has been doing it for years now, with a SQL-like syntax for requests (named ".QL").

Davidbrcz··on Ask HN: What scientific phenomenon do you wish someone would explain better?
Spring had made "Understanding Cryptography" available for free https://link.springer.com/book/10.1007/978-3-642-04101-3
Davidbrcz··on Ask HN: What scientific phenomenon do you wish someone would explain better?
Agile is a short-lived V cycle repeated for ever.

Legacy V-cycles (needs - spec - code - test - integration - product) were such that everything was written down and planned in advance for months/years. So, if the customer had made an error, his/her needs had changed... you were basically screwed.

Agile advocates for Short V cycles while getting often user feedback. But it's a V cycle.

- PO speaks to the customer = get needs - PO writes tickets, UX design something = specification - And then it follows the classical cycle : develop, test, integrate, deliver.

What's remain around agile (ceremonies & co) feel much more like bullshit to me, and people follow it religiously without understanding the core idea of agile as they think V cycle is an insult.

Davidbrcz··on Show HN: Interview Questions to Ask Your Interviewer on Software Interviews
keyvalues.com has a really nice bunch of topic and ideas that are worth asking during an interview
Davidbrcz··on Math Symbols Explained with Python
Im always in awe when such basic maths makes the front page of Hacker news.
Davidbrcz··on Major Mode for Reading EPUBs in Emacs
What's this read aloud package ?
Davidbrcz··on Super Mario Bros. game was just 31 Kilobytes. How's that possible?
I know that some hub/station on which remote sensors to monitor cows' temperature communicate with a web server with a 2G technology as they were designed many years ago.

And it's an issue as operators phase out 2D...

Davidbrcz··on Ballerina, a language with structural type system
Disclaimer: Huge personal hunch, might be down-voted to hell for writing this...

I think that languages like this don't go mainstream because people like/want to write code, and anything that does not help to actually write code is seen as an hindrance. The main feedback I've heard about this kind of tool is "it's clunky, it's a pain to write code with". Guess what ? It's a good thing IMO.

For this to go mainstream, the whole software industry would have to go through a major revolution by shifting its focus from "writing code" to "deliver a working product". We should acknowledge that "writing code" is one tool among others, and may be not even the primary one (I personally think that specification engineering is the most important one).

In the field of critical embedded software, this has happened that's why it took off.

Another clue of that is for instance the Event-B/Atelier B that is intensively used in the railway/metro world (Paris line 14 was made with it, 2 bugs found in 15 years). While doing B, you get a broad specification you refine along the way into smaller problems. Writing code is actually the last step you do, when you are sure that all pieces fit together.

Davidbrcz··on Ballerina, a language with structural type system
SCADE provides textual and graphical views that are synchronized and it's widely used in industrial critical embedded software such as airplane in airbus.
Davidbrcz··on Philosophy of Computer Science [pdf]
I was expecting this without looking at the website : https://plato.stanford.edu/entries/computer-science/

Seems to be more relevant.

Davidbrcz··on Languages I want to write
In this piece of code, the return type is explicitly dependent of the type of the argument (it's path related template

  #include <iostream>
  #include <string>
  
  struct A {using ret = std::string;};
  struct B {using ret = int;};
  
  
  template <class T>
  auto f(T t) -> typename T::ret
  {
    return {};
  }
  
  int main(int argc, char *argv[])
  {
    auto s = f(A{});
    std::cout << s.size() << "\n";
    auto i = f(B{});
    std::cout << i+1 << "\n";
    return 0;
  }
There is also stuff like this where the return type is defined as the return type of builder.makeObject(), builder which is the argument:

  template <typename Builder>
  auto
  makeAndProcessObject (const Builder& builder) -> decltype(builder.makeObject() )
  {
      auto val = builder.makeObject();
      // do stuff with val
      return val;
  }
Davidbrcz··on What is it like working at a company after releasing a negatively-received game?
How the F* can this be legal ?
Davidbrcz··on A meta approach to implementing programming languages (2018)
No sorry, I thought it was a compiler but it's "only" an interpreter.
← PreviousPage 4 of 9Next →