Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
logic
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
From logical reasoning to code in C and PHP
Igor Gomes
Igor Gomes
Igor Gomes
Follow
Jan 21
From logical reasoning to code in C and PHP
#
programação
#
technology
#
logic
#
c
Comments
Add Comment
1 min read
Do raciocínio lógico ao código em C e PHP
Igor Gomes
Igor Gomes
Igor Gomes
Follow
Jan 21
Do raciocínio lógico ao código em C e PHP
#
programação
#
technology
#
logic
#
c
Comments
Add Comment
1 min read
Foolproof AI: Guaranteeing Plan Execution Before Deployment
Arvind SundaraRajan
Arvind SundaraRajan
Arvind SundaraRajan
Follow
Nov 13 '25
Foolproof AI: Guaranteeing Plan Execution Before Deployment
#
ai
#
programming
#
logic
#
algorithms
Comments
Add Comment
2 min read
AI's Achilles Heel: Can We *Prove* Plans Before They Execute?
Arvind SundaraRajan
Arvind SundaraRajan
Arvind SundaraRajan
Follow
Nov 12 '25
AI's Achilles Heel: Can We *Prove* Plans Before They Execute?
#
ai
#
programming
#
research
#
logic
Comments
Add Comment
2 min read
Reasoning Under a Cloud: Making Smarter AI Decisions with Fragmented Knowledge by Arvind Sundararajan
Arvind SundaraRajan
Arvind SundaraRajan
Arvind SundaraRajan
Follow
Oct 23 '25
Reasoning Under a Cloud: Making Smarter AI Decisions with Fragmented Knowledge by Arvind Sundararajan
#
ai
#
machinelearning
#
datascience
#
logic
Comments
Add Comment
2 min read
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
Arvind Sundara Rajan
Arvind Sundara Rajan
Arvind Sundara Rajan
Follow
Sep 15 '25
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
#
logic
#
compsci
#
programming
#
math
1
reaction
Comments
Add Comment
2 min read
Unlocking Logic's Secrets: The Power of State Algebra
Arvind Sundara Rajan
Arvind Sundara Rajan
Arvind Sundara Rajan
Follow
Sep 15 '25
Unlocking Logic's Secrets: The Power of State Algebra
#
logic
#
algebra
#
computerscience
#
programming
1
reaction
Comments
Add Comment
2 min read
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
Arvind Sundara Rajan
Arvind Sundara Rajan
Arvind Sundara Rajan
Follow
Sep 15 '25
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
#
logic
#
programming
#
math
#
computerscience
1
reaction
Comments
Add Comment
2 min read
Should problems be easy to understand and difficult to solve?
Adebiyi Itunuayo
Adebiyi Itunuayo
Adebiyi Itunuayo
Follow
Sep 12 '25
Should problems be easy to understand and difficult to solve?
#
ydkjs
#
programming
#
logic
#
learning
Comments
Add Comment
5 min read
Beyond True/False: Level Up Your Logic with Contextual Decisions by Arvind Sundararajan
Arvind SundaraRajan
Arvind SundaraRajan
Arvind SundaraRajan
Follow
Oct 7 '25
Beyond True/False: Level Up Your Logic with Contextual Decisions by Arvind Sundararajan
#
programming
#
logic
#
algorithms
#
ai
Comments
Add Comment
2 min read
🧠Tabela verdade é isso:
Laila Hamorym
Laila Hamorym
Laila Hamorym
Follow
May 15 '25
🧠Tabela verdade é isso:
#
programming
#
logic
#
learning
#
tutorial
1
reaction
Comments
Add Comment
1 min read
Numeric comparison in CSS (for conditional logic)
George Adamson
George Adamson
George Adamson
Follow
May 23 '25
Numeric comparison in CSS (for conditional logic)
#
css
#
conditional
#
logic
#
compare
Comments
1
comment
2 min read
Turning Sequences of Numbers into Arithmetic Progressions
Ben Bavar
Ben Bavar
Ben Bavar
Follow
Feb 18 '25
Turning Sequences of Numbers into Arithmetic Progressions
#
mathematics
#
logic
Comments
Add Comment
16 min read
Building JSONLogic in Rust with Github Copilot: A 5-Hour Journey
Harishankar Narayanan
Harishankar Narayanan
Harishankar Narayanan
Follow
Nov 20 '24
Building JSONLogic in Rust with Github Copilot: A 5-Hour Journey
#
rust
#
json
#
ai
#
logic
1
reaction
Comments
Add Comment
2 min read
Tackling fundamental logic: A very hard automated deduction challenge (free for all)
xamidi
xamidi
xamidi
Follow
Dec 19 '24
Tackling fundamental logic: A very hard automated deduction challenge (free for all)
#
challenge
#
logic
#
computerscience
#
algorithms
3
reactions
Comments
1
comment
5 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account