🤯 Today I discovered a programming language I never knew existed…
One of my friends mentioned Idris in a discussion.
I got curious, did a bit of research — and wow… it’s amazing.
🧠 Idris lets you:
Catch serious bugs at compile time
Write programs where types prove correctness
Eliminate many runtime errors before the code even runs
It’s not mainstream, but it’s powerful and mind-blowing for CS students and devs who love correctness.
Ever heard of Idris before today? 👀
Or am I discovering it late too? 🙄 put your thought 👇
https://t.me/code_journall
One of my friends mentioned Idris in a discussion.
I got curious, did a bit of research — and wow… it’s amazing.
🧠 Idris lets you:
Catch serious bugs at compile time
Write programs where types prove correctness
Eliminate many runtime errors before the code even runs
It’s not mainstream, but it’s powerful and mind-blowing for CS students and devs who love correctness.
Ever heard of Idris before today? 👀
Or am I discovering it late too? 🙄 put your thought 👇
https://t.me/code_journall
Forwarded from Frectonz
We are back with another Devtopia episode. This one is with Mike the CTO of Afriwork. We talked about the startup world in depth.
It's a great episode check it out.
[Devtopia - E05 - Mike]
It's a great episode check it out.
[Devtopia - E05 - Mike]
YouTube
Devtopia - E05 - Mike (CTO at Afriwork, Entrepreneurship, Startups)
In this episode, we sit down with Mikiyas Atskemariam, the CTO of Afriwork, for a deep dive into the realities of building a tech startup in Ethiopia.
From his early days selling batteries and experimenting with MVPs to leading technology at one of Ethiopia's…
From his early days selling batteries and experimenting with MVPs to leading technology at one of Ethiopia's…
Forwarded from The Software Guy
🚀 Introducing: Codecast App
Codecast is now a full app built for tech-focused podcasts from our community and beyond.
What you can do with Codecast:
🎙 Listen to tech podcasts in one place
👥 Browse podcasts by guest (since one guest may appear on multiple shows)
🎧 Filter episodes by host
🔍 Search episodes easily
⬇️ Download episodes for offline listening
▶️ Supports background play, so you can listen while doing other things
This app was built to solve a real community need, not hype, not noise, just value.
Codecast is now a full app built for tech-focused podcasts from our community and beyond.
What you can do with Codecast:
🎙 Listen to tech podcasts in one place
👥 Browse podcasts by guest (since one guest may appear on multiple shows)
🎧 Filter episodes by host
🔍 Search episodes easily
⬇️ Download episodes for offline listening
▶️ Supports background play, so you can listen while doing other things
This app was built to solve a real community need, not hype, not noise, just value.
Forwarded from JavaScript
⚠️ 🔵 Denial of Service and Source Code Exposure in React Server Components
Security researchers have found and disclosed two additional vulnerabilities in React Server Components while attempting to exploit the patches in last week’s critical vulnerability.
If you already updated for the Critical Security Vulnerability last week, you will need to update again.
If you updated to 19.0.2, 19.1.3, and 19.2.2, these are incomplete and you will need to update again.
December 11, 2025 by The React Team
Security researchers have found and disclosed two additional vulnerabilities in React Server Components while attempting to exploit the patches in last week’s critical vulnerability.
If you already updated for the Critical Security Vulnerability last week, you will need to update again.
If you updated to 19.0.2, 19.1.3, and 19.2.2, these are incomplete and you will need to update again.
December 11, 2025 by The React Team
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from HUCISA - Haramaya University Computing and Informatics Students' Association (Musab✨️)
🔔 IMPORTANT ANNOUNCEMENT — DDU CODE NIGHT SCREENING EXAM 🔔
Dear registered participants,
This is to inform you that the screening exam for the DDU Code Night Competition will be conducted as follows:
🕔 Time: Tomorrow at 5:00 Local Time (11:00 AM)
📍 Venue: Maths Department Hall
💻 Requirement: Bringing your own PC/Laptop is mandatory
🧠 IMPORTANT PREPARATION HINT (Read Carefully 👇)
Participants are strongly advised to expect tasks that involve:
✔️ Turning ideas into clear, logical step-by-step solutions
✔️Finding and fixing hidden mistakes in logic or code
✔️Completing half-written solutions the right way
✔️Understanding patterns from given results and deciding which approach fits the problem
⏰ Please arrive early, ensure your laptop is fully charged, and be ready on time.
⚠️ Important Note:
This is a screening stage. Those who pass will move on to the main competition, which will be held very soon.
🔥 Best of luck to all participants!
Let’s show a strong HUCISA presence at DDU Code Night 🚀
Dear registered participants,
This is to inform you that the screening exam for the DDU Code Night Competition will be conducted as follows:
🕔 Time: Tomorrow at 5:00 Local Time (11:00 AM)
📍 Venue: Maths Department Hall
💻 Requirement: Bringing your own PC/Laptop is mandatory
🧠 IMPORTANT PREPARATION HINT (Read Carefully 👇)
Participants are strongly advised to expect tasks that involve:
✔️ Turning ideas into clear, logical step-by-step solutions
✔️Finding and fixing hidden mistakes in logic or code
✔️Completing half-written solutions the right way
✔️Understanding patterns from given results and deciding which approach fits the problem
⏰ Please arrive early, ensure your laptop is fully charged, and be ready on time.
⚠️ Important Note:
This is a screening stage. Those who pass will move on to the main competition, which will be held very soon.
🔥 Best of luck to all participants!
Let’s show a strong HUCISA presence at DDU Code Night 🚀
Forwarded from Solo codes (Brook Solomon)
Introducing Totals.
All your transactions in one place
Totals is a mobile app that automatically tracks your bank transactions by parsing SMS messages from Ethiopian banks. It gives you real-time balance updates, detailed transaction history, smart analytics, and clear financial insights, all stored securely on your device.
We built it to stop ourselves from going broke 💸
Multi-Bank Support
Commercial Bank of Ethiopia (CBE)
Awash Bank
Bank of Abyssinia (BOA)
Dashen Bank
Telebirr
more coming soon....
download here
And its open source,
please drop a star or contribute
Github
shoutout to @abelwondafrash for coming up with the initial concept and design
By detached
@interested_imbecile
@ye_we
All your transactions in one place
Totals is a mobile app that automatically tracks your bank transactions by parsing SMS messages from Ethiopian banks. It gives you real-time balance updates, detailed transaction history, smart analytics, and clear financial insights, all stored securely on your device.
We built it to stop ourselves from going broke 💸
Multi-Bank Support
Commercial Bank of Ethiopia (CBE)
Awash Bank
Bank of Abyssinia (BOA)
Dashen Bank
Telebirr
more coming soon....
download here
And its open source,
please drop a star or contribute
Github
shoutout to @abelwondafrash for coming up with the initial concept and design
By detached
@interested_imbecile
@ye_we
❤1
Forwarded from HUCISA - Haramaya University Computing and Informatics Students' Association (Musab✨️)
⏰ LAST CHANCE TO APPLY! ⏰
Tomorrow is the final day to submit your application for HUCISA’s Social Media and Content Creation team!
🚨 We’re looking for:
📸 Photographers
🎨 Graphic Designers
🎬 Video Editors
✍️ Script Writers
If you’ve got the skill, passion, and creativity — this is YOUR moment 💥
Real roles. Real impact.
👉 Apply NOW before time runs out!
📝 Google Form:
🔗 https://forms.gle/4Q4HvYZCWjanpR916
🕒 Deadline: Tomorrow (Wed, Dec 17) at 12:00 AM
Don’t miss your chance to help shape HUCISA’s voice and visual identity!
🚀✨
Tomorrow is the final day to submit your application for HUCISA’s Social Media and Content Creation team!
🚨 We’re looking for:
📸 Photographers
🎨 Graphic Designers
🎬 Video Editors
✍️ Script Writers
If you’ve got the skill, passion, and creativity — this is YOUR moment 💥
Real roles. Real impact.
👉 Apply NOW before time runs out!
📝 Google Form:
🔗 https://forms.gle/4Q4HvYZCWjanpR916
🕒 Deadline: Tomorrow (Wed, Dec 17) at 12:00 AM
Don’t miss your chance to help shape HUCISA’s voice and visual identity!
🚀✨
Forwarded from KiNFiSH Farms