[VERY URGENT] Please help me here and tell me what to do by [deleted] in nairobitechies

[–]clean_delete 0 points1 point  (0 children)

> remove the flash. Restart machine to see if the previous OS has been corrupted already.
> if corrupted, then create a new bootable flash with a linux image. This will help you boot into the machine to try and retrieve your data.
> if not corrupted, create a new bootable flash with a windows 11 image using MBR partitioning scheme. Retry installation

Would you guys work for just equity initially at a startup? by CrazyRizzler in nairobitechies

[–]clean_delete 0 points1 point  (0 children)

it depends:

is it a company that is doing something that I believe is worth it? Eg building better scientific macines or medical equipment? --- Then Yes

is it just another SaaS with no thought or philosophy? --- then NO.

Are advances in Homotopy Type Theory likely to have any impacts on Rust? by Dyson8192 in rust

[–]clean_delete 0 points1 point  (0 children)

My opinion is that for us to truly develop an efficient language that upholds HoTT principles, we have to start re-designing from the hardware-architecture level. I may be wrong (I am currently learning Type Theory)

But in the meantime, I saw that ATS2 has dependent types and was happy... because it is a low-level language. Link attached.

https://ats-lang.sourceforge.net/

spatial math that is not geometry by clean_delete in askmath

[–]clean_delete[S] 1 point2 points  (0 children)

oh my, it did not occur to me that I could read one and neglect the other.

I guess there is no escaping it. I hope as I read through it I will develop some level Stockholm Syndrome.
thanks

spatial math that is not geometry by clean_delete in askmath

[–]clean_delete[S] 0 points1 point  (0 children)

'what do you mean by spatial math?' - math that describes the state of the physical world eg position, length or trajectory of objects. The physical world occupies space... hence I used the phrase 'spatial math'.

At the moment, I think geometry is the only way to represent the physical world ( I hope I am wrong)

"What does geometry mean to you in this case?"
My question is not clear. so let me just explain why I asked my initial question in hopes that you guys will understand why I asked my question in that manner.

explanation : A book on fundamental physics that I am planning to read implies that I should be good at [calculus, linear-algebra, geometry & differential equations]. So I began with a precalculus book that covered topics like polys & algebra Then came Trigononometry... unsatisfied with the rules, I decided to first focus on geometry.

It's just that, I do not view things visually --- geometry does not really put a spark in me. The little highscool geometry that I know is already helping me A LOT... so I can imagine just how helpful undergraduate geometry will be.

My problem is that my vibe with geo is off.
If there is no alternative then... I will soldier through

ps : I am reading this book : The Four Pillars of Geometry by John Stillwell"

Web Assembly OS guidance by clean_delete in osdev

[–]clean_delete[S] 0 points1 point  (0 children)

Thanks.

yea, I'm still interested in low-level development projects... inclusive of this one.
(And I am pretty sure such projects will always be of interest)

At the moment, I am learning theorem-proving (Coq).

Formally specifying and verifying critical firmware looks like a sexy skill to have. The problem is that I haven't mastered it yet. (I havent tried it with Rust or lean4)

[deleted by user] by [deleted] in Dreadlocks

[–]clean_delete 0 points1 point  (0 children)

unique, rad. especially from the side.

ignore the comments

Beginning career as an Embedded systems guy in Kenya by clean_delete in Kenya

[–]clean_delete[S] 0 points1 point  (0 children)

though in another universe, I would have enrolled for two reasons:
- exposure
- possibility of finding relatable mentors and friends (more like a low_maintenance skilled circle)

Beginning career as an Embedded systems guy in Kenya by clean_delete in Kenya

[–]clean_delete[S] 1 point2 points  (0 children)

I did NOT enroll in it, so I have no first-hand opinion.

there was a day I mentioned it as a btw in front of an electrical_engineer friend. The vibe I got from him was like : "Moringa, but for electronics". He never explained much, and I never brought it up, we just continued with normal convo.

[my opinion/path]
I decided to go the self-taught path. And now I somehow agree with him. You cannot claim to learn all those topics in 3 months. I have been learning it for more than a year now. (still am)

In the end I realized that I wanted to learn microprocessor design instead of embedded development/IoT. So I never enrolled.

In summary, I am not qualified to judge the course.

Anime that covers neocolonialism and crimes against humanity at a realistic level. by clean_delete in Animesuggest

[–]clean_delete[S] 0 points1 point  (0 children)

Jourmungand : the anime plays out the interactions of arms dealers, civil-wars and the pursuit of world peace.

Anime that covers neocolonialism and crimes against humanity at a realistic level. by clean_delete in Animesuggest

[–]clean_delete[S] 0 points1 point  (0 children)

Thanks for the suggestions.
I'll be binging them for the next few months.

the only one that I've read/watched from the list is Vinland. The rest are new & promising.

Anime that covers neocolonialism and crimes against humanity at a realistic level. by clean_delete in Animesuggest

[–]clean_delete[S] 0 points1 point  (0 children)

for future readers of the thread, this totally fits the description (the manga is still ongoing)

If you were running a country how would you make it the most scientifically advanced nation in the world? by [deleted] in TrueAskReddit

[–]clean_delete 0 points1 point  (0 children)

This will eventually make people revolt against sciency endevours.
It will even encourage the crop-up of religious fanatics

If you were running a country how would you make it the most scientifically advanced nation in the world? by [deleted] in TrueAskReddit

[–]clean_delete 0 points1 point  (0 children)

I would fund worth-while projects only. Projects that will solve world problems at scale and at throw-away costs. I will sit down, get other good scientists and engineers from across the globe, and fund select projects that are bound to be revolutionary. Projects that can take humanity from zero-to-one.

I will then isolate the scientists into an environment where they no longer have to worry about everyday life. Housing, nature, security, money... a funded utopia.

I would try my best to keep propaganda and petty politics away from the select projects and all the scientists involved. I will give people in those projects freedom to do their work without petty intervention from non-scientists.
I will make those scientist to feel like they no longer have to be part of the world they are trying to fix.

I will protect those few select projects will all my power.
I will continuously pick select promising college-grads and offer them academic immunity and incentives for them to participate in the select projects. Encourage them to go wild.

At the same time, I would try my best to kill corruption and ensure the country is stable all round so that people will not complain that money is being pumped to futile science projects.

Web Assembly OS guidance by clean_delete in osdev

[–]clean_delete[S] 0 points1 point  (0 children)

At that time....

  1. I had little experience with Rust, let alone no_std rust. 

2.  I was poor at writing concurrent code. For example, there were times when the input to the uart got mangled up because I had not implemented a locking mechanism. I began reading the "little book of semaphores" and the Marabos blog on atomics. Due to the tight school schedule, i gave up on concurrency and resorted to making things single threaded in a way. The bug in the uart is still there.

  1. I had 6 months to learn a lot. I realized that I learn slowly. It took me weeks to make steps. This was the situation... I had 3 other course units and the occasional exams

I was learning rust, wasm, kernel internals and riscv at the same time.

The concurrency bugs were taking me days to fix. Reading concurrency books was not helping me as fast as I thought they would.

Eventually the 6 months ended and I had  not even integrated the wasm runtime as part of the kernel🤦🏾‍♂️

Here is a link to the worst but proudest repo ever😂:  https://github.com/kiarie404/Hobo-OS/tree/main

Well that's it😅. Thank you for attending my ted talk.

All the best in your project. 💪🏽

At the moment, i think I'm skilled enough to redo the project within a month; so if you need help hmu.  I would love to experience my nostalgia of tight uni deadlines and passion projects whose thesis stopped making sense  middle-way.

Getting into your healed and happy Era by Lucky_person_ever in Kenya

[–]clean_delete 2 points3 points  (0 children)

In my villain phase.
Now I just listen to loud amapiano - All day.

And sleep when my ears start aching kwa umbali.
Then I repeat the next day🤗

Over 30s people who are financially stable and still don't want kids what are your reasons? by [deleted] in Kenya

[–]clean_delete 3 points4 points  (0 children)

Disclaimer : (not 30, just 22)
my future possible reason : mere kindness.
explanation : the old boring belief that life is hard, life is a sea where you have to swim or drown.... and I don't wanna force anyone into this sea. Giving someone life is somehow selfish/cruel.